Konstantinos Triantafyllou
Orcid: 0000-0002-6805-4748
According to our database1,
Konstantinos Triantafyllou
authored at least 5 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
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., 2022
Empir. Softw. Eng., 2022
Proceedings of the Technology and Innovation in Learning, Teaching and Education, 2022
2021
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts.
Proc. ACM Program. Lang., 2021
2017
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017