Dimitris Vekris

According to our database1, Dimitris Vekris
  • authored at least 6 papers between 2009 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Verification of EB3 specifications using CADP.
Formal Asp. Comput., 2016

A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption.
EAI Endorsed Trans. Energy Web, 2016

XBorne 2016: A Brief Introduction.
Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016

2013
Verification of EB3 Specifications Using CADP.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Efficient Operational Semantics for for Verification of Temporal Properties.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2009
Linked Data for the masses - using open source infrastructure and the inbound/outbound Linked Data approach to bring added value to end user applications.
Proceedings of the 5th International Conference on Semantic Systems, 2009


  Loading...