Konstantinos Mokos

	2010
5		Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades: Ontology-Based Model Driven Engineering for Safety Verification. EUROMICRO-SEAA 2010: 47-54
	2009
4		Dimitrios Margounakis, Dionysios Politis, Konstantinos Mokos: MEL-IRIS: An Online Tool for Audio Analysis and Music Indexing. Int. J. Digital Multimedia Broadcasting 2009: (2009)
	2008
3		Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin: Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE 2008: 405-414
	2007
2		Leo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298
	2004
1		Dionysios Politis, Dimitrios Margounakis, Konstantinos Mokos: Visualizing the Chromatic Index of Music. WEDELMUSIC 2004: 102-109

Coauthor Index

1	Nick Bassiliades (N. Bassiliades)	[3] [5]
2	Leo Freitas (Leonardo Freitas)	[2]
3	Panagiotis Katsaros	[3] [5]
4	Dimitrios Margounakis	[1] [4]
5	Georgios Meditskos	[5]
6	Maxime Perrotin	[3]
7	Dionysios Politis	[1] [4]
8	Vangelis Vasiliades	[5]
9	Vangelis Vassiliadis	[3]
10	Jim Woodcock (J. C. P. Woodcock)	[2]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page