Konstantinos Triantafyllou

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Learner Centered

Symbolic Execution

Atrial Fibrillation

Top Venues

Proc. ACM Program. Lang.

Empir. Softw. Eng.

Publications

Agoritsa Gogoulou, Konstantinos Triantafyllou, Maria Grigoriadou, Aphrodite Tsalgatidou
Structuring Collaborative Setting in the Learner Centered Learning Environment. TECH-EDU (2022)
Joseph Hejderup, Moritz Beller, Konstantinos Triantafyllou, Georgios Gousios
Präzi: from package-based to call-based dependency networks. Empir. Softw. Eng. 27 (5) (2022)
Charalampos Lazaridis, Constantinos Bakogiannis, Dimitrios Mouselimis, Anastasios Tsarouchas, Antonios P. Antoniadis, Konstantinos Triantafyllou, Nikolaos Fragakis, Vassilios P. Vassilikos
The usability and effect of an mHealth disease management platform on the quality of life of patients with paroxysmal atrial fibrillation - The emPOWERD-AF study. Health Informatics J. 28 (4) (2022)
Joseph Hejderup, Moritz Beller, Konstantinos Triantafyllou, Georgios Gousios
Präzi: From Package-based to Call-based Dependency Networks. CoRR (2021)
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. SOAP@PLDI (2017)