Petros Potikas' Publications

PUBLICATIONS:

Aris Pagourtzis, Dora Souliou, Petros Potikas, Katerina Potika: Overlapping Community Detection via Minimum Spanning Tree Computations. BigDataService 2020: 62-65

Monica Golahalli Seenappa, Katerina Potika, Petros Potikas: Short Paper: Graph Classification with Kernels, Embeddings and Convolutional Neural Networks. GC 2019: 88-93

Dora Souliou, Petros Potikas, Katerina Potika, Aris Pagourtzis: Weight assignment on edges towards improved community detection. IDEAS 2019: 3:1-3:5

Isha Pradhan, Katerina Potika, Magdalini Eirinaki, Petros Potikas: Exploratory data analysis and crime prediction for smart cities. IDEAS 2019: 4:1-4:9

Ketki Kulkarni, Aris Pagourtzis, Katerina Potika, Petros Potikas, Dora Souliou: Community Detection via Neighborhood Overlap and Spanning Tree Computations. ALGOCLOUD 2018: 13-24

Petros Potikas, Panos Rondogiannis and Manolis Gergatsoulis, "A Value-Propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs", Fundamenta Informaticae, Vol. 72(4), pages 485-527, 2006.

Petros Potikas, Manolis Gergatsoulis, Panos Rondogiannis, "Using Branching-Time Logic to Optimize an Extended Class of Datalog Queries". In Proceedings of 3rd Hellenic Conference on Artificial Intelligence, SETN'04, Proceedings (Companion Volume), pages 197-206, Samos, Greece, 5-8 May, 2004.

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis "A Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs". In 11th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'2001), Paphos, Cyprus, November 28-30, 2001. Selected papers. A. Pettorossi (editor), Lecture Notes in Computer Science, Vol. 2372, pages 25-45, Springer-Verlag 2002. A preliminary version also appears in the Pre-Proceedings of LOPSTR' 01, pages 1-8.

Thodoris Andronikos, Petros Potikas, Stathis Zachos, "A Distributed Temporal Logic Framework for the Verification and Synthesis of Reactive Systems". In Proceedings of the 8th Hellenic Conference on Informatics, Volume 2, pages 1-9, Nicosia, Cyprus, November 8-10, 2001.

Antonis Kavarnos, Petros Potikas, "On Automated Evaluation for Programming Contests". In Proceedings of the 8th Hellenic Conference on Informatics,Volume 2, pages 414-423, Nicosia, Cyprus, November 8-10, 2001.