M. Codescu
发表
T. Mossakowski,
Christian Maeder,
M. Codescu,
2013
.
T. Mossakowski,
Christian Maeder,
M. Codescu,
2010
.
O. Kutz,
T. Mossakowski,
F. Neuhaus,
2015
.
T. Mossakowski,
M. Codescu,
2018
.
J. Goguen,
R. Diaconescu,
M. Codescu,
2014
.
M. Codescu,
Rǎazvan Diaconescu,
Ionut Tutu,
2022
.
O. Kutz,
T. Mossakowski,
M. Codescu,
2013
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2017,
Appl. Ontology.
T. Mossakowski,
Florian Rabe,
M. Codescu,
2017
.
T. Mossakowski,
Christian Maeder,
M. Codescu,
2010
.
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2014
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2016,
ArXiv.
Mihai Codescu,
Bernd Krieg-Brückner,
B. Krieg-Brückner,
2019,
ROBOT.
Till Mossakowski,
Mihai Codescu,
Bernd Krieg-Brückner,
2020,
WOP.
Mihai Codescu,
Bernd Krieg-Brückner,
Mihai Pomarlan,
2020,
JOWO.
Mihai Codescu,
M. Codescu,
2012
.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2014,
ICCC.
O. Kutz,
T. Mossakowski,
M. Codescu,
2017,
Journal on Data Semantics.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2014,
OM.
Till Mossakowski,
Florian Rabe,
Mihai Codescu,
2016,
WADT.
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013,
WoMO.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2008,
WoMO.
Till Mossakowski,
Mihai Codescu,
Bruno Langenstein,
2009,
ICFEM.
O. Kutz,
M. Codescu,
Till Mossakowski,
2014,
OM.
Michael Grüninger,
Christoph Lange,
Till Mossakowski,
2014,
ARQNL@IJCAR.