Primary tabs

Most recent publications

In MSG-159 Symposium on Multinational Interoperability. STO, 2018.
Proceedings, refereed
2018
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Proceedings, refereed
2012

Selected publications

Find publication

Status

Departments

Export 7 results:
2018

Proceedings, refereed

In MSG-159 Symposium on Multinational Interoperability. STO, 2018.
Status: Published
2015

Proceedings, refereed

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2012

Proceedings, refereed

In Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012). New York, NY, USA: ACM, 2012.
Status: Published
2003

Proceedings, refereed

In Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
In Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published