PUBLICATIONS:
-
Austin Anderson, Petros Potikas, Katerina Potika:
CoDiS: Community Detection via Distributed Seed Set Expansion on Graph Streams. Inf. 14(11): 594 (2023)
-
Christos Valouxis, Christos Gogos, Angelos Dimitsas, Petros Potikas, Anastasios Vittas:
A Hybrid Exact-Local Search Approach for One-Machine Scheduling with Time-Dependent Capacity. Algorithms 15(12): 450 (2022)
-
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.
Back to the main
page...