Konstantinos Triantafyllou

Orcid: 0000-0002-6117-2389

According to our database1, Konstantinos Triantafyllou authored at least 5 papers between 2017 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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

Präzi: from package-based to call-based dependency networks.
Empir. Softw. Eng., 2022

Structuring Collaborative Setting in the Learner Centered Learning Environment.
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


  Loading...