Anastasia Mavridou
发表
Anastasia Mavridou,
Anastasia Mavridou,
2016
.
Athanasios Manitsaris,
Anastasia Mavridou,
Tania Kerkiri,
2007,
Second International Workshop on Semantic Media Adaptation and Personalization (SMAP 2007).
Antonios Gouglidis,
Christos Grompanopoulos,
Anastasia Mavridou,
2018,
MeTRiD@ETAPS.
Aron Laszka,
Anastasia Mavridou,
Aron Laszka,
2018,
POST.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2019
.
Aron Laszka,
Xenofon Koutsoukos,
Carlos Barreto,
2020,
Computer.
Anastasia Mavridou,
T. Kerkiri,
A. Manitsaris,
2007
.
Joseph Sifakis,
Panagiotis Katsaros,
Simon Bliudze,
2018,
J. Syst. Softw..
Peter J. Hawrylak,
Mauricio Papa,
James C. Johnson,
2013
.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2017,
Softw. Pract. Exp..
Mauricio Papa,
Anastasia Mavridou,
M. Papa,
2011,
ICGS3/e-Democracy.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2018
.
Alceste Scalas,
Julien Lange,
Anastasia Mavridou,
2020
.
Johann Schumann,
Pierre-Loïc Garoche,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Alceste Scalas,
Ludovic Henrio,
Massimo Bartoletti,
2019,
ICE.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2017,
J. Log. Algebraic Methods Program..
Johann Schumann,
Pierre-Loic Garoche,
Anastasia Mavridou,
2020,
2020 IEEE 28th International Requirements Engineering Conference (RE).
Susmit Jha,
Anastasia Mavridou,
Dimitra Giannakopoulou,
2020,
NFM.
Janos Sztipanovits,
Tamás Kecskés,
Qishen Zhang,
2018,
MoDELS.
Joseph Sifakis,
Janos Sztipanovits,
Anastasia Mavridou,
2018,
ArXiv.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2016,
ICE.
Abhishek Dubey,
Aron Laszka,
Scott Eisele,
2018,
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).
Aron Laszka,
Anastasia Mavridou,
Andreas Veneris,
2020,
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).
Abhishek Dubey,
Aron Laszka,
Emmanouela Stachtiari,
2019,
Financial Cryptography.
Aron Laszka,
Anastasia Mavridou,
Aron Laszka,
2017,
Financial Cryptography.
Johann Schumann,
Julian Rhein,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2014,
MiSE 2014.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2013
.
Anastasia Mavridou,
Swee Balachandran,
Dimitra Giannakopoulou,
2020,
FMAS.
Mauricio Papa,
Anastasia Mavridou,
Jerald Dawkins,
2012,
Int. J. Electron. Secur. Digit. Forensics.
Joseph Sifakis,
Panagiotis Katsaros,
Simon Bliudze,
2016,
FACS.
Susmit Jha,
Anastasia Mavridou,
Dimitra Giannakopoulou,
2020,
NASA Formal Methods.
Simon Bliudze,
Anastasia Mavridou,
Radoslaw Szymanek,
2013
.
Simon Bliudze,
Anastasia Mavridou,
Valentin Rutz,
2017,
FACS.
Johann Schumann,
Anastasia Mavridou,
Dimitra Giannakopoulou,
2020,
REFSQ.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2015,
FACS.
Dimitra Giannakopoulou,
Michael W. Whalen,
Anastasia Mavridou,
2021,
FM.
Marie Farrell,
Michael Fisher,
Guillaume Brat,
2021,
NFM.
Alceste Scalas,
Julien Lange,
Anastasia Mavridou,
2021,
Electronic Proceedings in Theoretical Computer Science.
Dimitra Giannakopoulou,
Anastasia Mavridou,
Thomas Pressburger,
2021,
Inf. Softw. Technol..