Linked Data for the masses - using open source infrastructure and the inbound/outbound Linked Data approach to bring added value to end user applications. - George Anadiotis; Panos Andriopoulos; Dimitris Vekris; Aristotelis Zosakis (I-SEMANTICS, 2009)

Efficient Operational Semantics for for Verification of Temporal Properties. - Dimitris Vekris; Catalin Dima (FSEN, 2013)

XBorne 2016: A Brief Introduction. - Jean-Michel Fourneau; Youssef Ait El Mahjoub; Franck Quessette; Dimitris Vekris (ISCIS, 2016)

A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption. - Marziyeh Bayati; Mohammed Dahmoune; Jean-Michel Fourneau; Nihal Pekergin; Dimitrios Vekris (EAI Endorsed Trans. Energy Web, 2016)

Verification of EB3 specifications using CADP. - Dimitris Vekris; Frédéric Lang; Catalin Dima; Radu Mateescu 001 (Formal Aspects Comput., 2016)