Primary tabs
Most recent publications
Selected publications
Available Master's topics
Status
Departments
Publication type
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
2011
Proceedings, refereed
In ACM/IEEE International Conference on Software Engineering. ACM New York, NY, USA, 2011.
Status: Published
In Proc. 5th Int'l Symp.Empirical Software Engineering and Measurement (ESEM). IEEE Computer Society, 2011.
Status: Published
In Proceedings of SE-CSE11, 2011.
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