41![All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F ,](https://www.pdfsearch.io/img/569d6b7398a6cb4b40a780b2c7577750.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2010-01-10 16:47:16
|
---|
42![IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL., NO., TACI: Taxonomy-Aware Catalog Integration Panagiotis Papadimitriou, Member, IEEE, Panayiotis Tsaparas, Member, IEEE, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL., NO., TACI: Taxonomy-Aware Catalog Integration Panagiotis Papadimitriou, Member, IEEE, Panayiotis Tsaparas, Member, IEEE,](https://www.pdfsearch.io/img/2351f61342ba68be9a7daa00ae66522f.jpg) | Add to Reading ListSource URL: www.cs.uoi.grLanguage: English - Date: 2012-03-15 07:46:08
|
---|
43![Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri](https://www.pdfsearch.io/img/6a9a1b6ea148fce5d66427c05f0c0180.jpg) | Add to Reading ListSource URL: smartmove-project.euLanguage: English - Date: 2016-06-14 03:10:40
|
---|
44![Investigating the Potential of the Inter-IXP Multigraph for the Provisioning of Guaranteed End-to-End Services Vasileios Kotronis, Rowan Klöti, Panagiotis Georgopoulos, Bernhard Ager Investigating the Potential of the Inter-IXP Multigraph for the Provisioning of Guaranteed End-to-End Services Vasileios Kotronis, Rowan Klöti, Panagiotis Georgopoulos, Bernhard Ager](https://www.pdfsearch.io/img/b9dcbcc2bd2239754b9809dfe81224cf.jpg) | Add to Reading ListSource URL: www.tik.ee.ethz.chLanguage: English - Date: 2015-05-18 12:16:09
|
---|
45![INTERACTIVE ANALYTICAL DISPLAYS FOR SPATIAL DECISION SUPPORT SYSTEMS Marc P. Armstrong Panagiotis Lolonis Department of Geography The University of Iowa INTERACTIVE ANALYTICAL DISPLAYS FOR SPATIAL DECISION SUPPORT SYSTEMS Marc P. Armstrong Panagiotis Lolonis Department of Geography The University of Iowa](https://www.pdfsearch.io/img/88838eba6bbb227ffb0e6b66dfa92a44.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:45:32
|
---|
46![Volume
43
Issue
5
May
2016
Nestor Bibliography of Aegean Prehistory and Related Areas Volume
43
Issue
5
May
2016
Nestor Bibliography of Aegean Prehistory and Related Areas](https://www.pdfsearch.io/img/694f15d0aa464c2cd843350f4e0182eb.jpg) | Add to Reading ListSource URL: classics.uc.eduLanguage: English - Date: 2016-06-21 07:53:54
|
---|
47![Stitching Inter-Domain Paths over IXPs 1 ETH Vasileios Kotronis1 , Rowan Klöti1 , Matthias Rost2 , Panagiotis Georgopoulos1 , Bernhard Ager1 , Stefan Schmid2,3 , Xenofontas Dimitropoulos4,1 Stitching Inter-Domain Paths over IXPs 1 ETH Vasileios Kotronis1 , Rowan Klöti1 , Matthias Rost2 , Panagiotis Georgopoulos1 , Bernhard Ager1 , Stefan Schmid2,3 , Xenofontas Dimitropoulos4,1](https://www.pdfsearch.io/img/5956343684bb794e775d047300ce6597.jpg) | Add to Reading ListSource URL: inspire.edu.grLanguage: English - Date: 2016-04-22 07:03:49
|
---|
48![Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri](https://www.pdfsearch.io/img/c49faeed5d8a25f9b17501aea5040de3.jpg) | Add to Reading ListSource URL: www.smartmove-project.euLanguage: English - Date: 2016-06-14 03:10:40
|
---|
49![Volume
43
Issue
3
March
2016
Nestor Bibliography of Aegean Prehistory and Related Areas Volume
43
Issue
3
March
2016
Nestor Bibliography of Aegean Prehistory and Related Areas](https://www.pdfsearch.io/img/ebd23e989d594124c5bc44e01781c964.jpg) | Add to Reading ListSource URL: classics.uc.eduLanguage: English - Date: 2016-04-12 09:00:59
|
---|
50![Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA](https://www.pdfsearch.io/img/a8cba98b36370209dba0adbdd0dcba39.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2010-11-02 19:29:56
|
---|