Till Mossakowski
发表
Hartmut Ehrig,
Kathrin Hoffmann,
Till Mossakowski,
2005,
ICATPN.
Till Mossakowski,
Florian Rabe,
Mihai Codescu,
2016,
WADT.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013,
WoMO.
Till Mossakowski,
Fabian Neuhaus,
T. Mossakowski,
2016,
ArXiv.
Till Mossakowski,
Mihai Codescu,
2011,
CALCO.
Till Mossakowski,
Michael Kohlhase,
Florian Rabe,
2010,
WADT.
Christian A. Mueller,
Michael Beetz,
Max Pfingsthorn,
2020,
SAC.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2014,
ICCC.
Christoph Lange,
Till Mossakowski,
Oliver Kutz,
2012,
FOIS.
Till Mossakowski,
Serge Autexier,
2002,
FroCoS.
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2001,
MFCS.
Till Mossakowski,
Reinhard Moratz,
Dominik Lücke,
2009,
ArXiv.
Joseph A. Goguen,
Till Mossakowski,
Andrzej Tarlecki,
2007
.
Dieter Hutter,
Axel Schairer,
Till Mossakowski,
2002,
AMAST.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Donald Sannella,
2003,
Comput. Artif. Intell..
Till Mossakowski,
André van Delden,
2013,
KI.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2014,
OM.
Till Mossakowski,
Christoph Lüth,
Lutz Schröder,
2004,
WADT.
Till Mossakowski,
Andrzej Tarlecki,
Donald Sannella,
2015,
Logic, Rewriting, and Concurrency.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2002,
J. Log. Algebraic Methods Program..
Till Mossakowski,
Lutz Schröder,
Daniel Hausmann,
2006,
Theor. Comput. Sci..
Till Mossakowski,
Lutz Schröder,
2002,
AMAST.
Till Mossakowski,
Fabian Neuhaus,
T. Mossakowski,
2018,
ArXiv.
Hans-Jörg Kreowski,
Till Mossakowski,
2010
.
Markus Roggenbach,
Till Mossakowski,
T. Mossakowski,
2006,
WADT.
Christoph Lange,
Till Mossakowski,
Oliver Kutz,
2012,
WoMO.
Till Mossakowski,
2000,
TACAS.
Till Mossakowski,
1997,
WADT.
Till Mossakowski,
2004
.
Markus Roggenbach,
Till Mossakowski,
1999
.
Till Mossakowski,
2016,
WADT.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2014
.
Till Mossakowski,
Bartek Klin,
2001,
WADT.
Till Mossakowski,
Alexander Knapp,
2018,
Graph Transformation, Specifications, and Nets.
Till Mossakowski,
Reinhard Moratz,
R. Moratz,
2012,
Artif. Intell..
Till Mossakowski,
Oliver Kutz,
2007,
WoMO.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2010,
Verification, Induction, Termination Analysis.
Till Mossakowski,
Razvan Diaconescu,
Martin Glauer,
2019,
FLAP.
Till Mossakowski,
2002,
MFCS.
Till Mossakowski,
1998,
WADT.
Till Mossakowski,
Michael Kohlhase,
Florian Rabe,
2010,
WADT.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2012,
Terra Cognita@ISWC.
Till Mossakowski,
T. Mossakowski,
1993,
AMAST.
Till Mossakowski,
Eugen Kuksa,
T. Mossakowski,
2016,
PAAR@IJCAR.
Till Mossakowski,
Bernd Krieg-Brückner,
Kolyang,
1997,
WADT.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2003,
FASE.
Till Mossakowski,
2006,
Essays Dedicated to Joseph A. Goguen.
Colin Rowat,
Christoph Lange,
Till Mossakowski,
2013,
MKM/Calculemus/DML.
Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski,
1997,
Category Theory and Computer Science.
Michael Grüninger,
Christoph Lange,
Christian Galinski,
2012,
ArXiv.
Till Mossakowski,
Oliver Kutz,
Dominik Lücke,
2008,
OWLED.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2006,
J. Log. Algebraic Methods Program..
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2000
.
Till Mossakowski,
T. Mossakowski,
1996,
ICALP.
Nora Szasz,
Till Mossakowski,
Daniel Calegari,
2016,
Sci. Comput. Program..
Till Mossakowski,
John A. Bateman,
Oliver Kutz,
2010,
AIMSA.
Till Mossakowski,
1996
.
Till Mossakowski,
Razvan Diaconescu,
Andrzej Tarlecki,
2009,
Logica Universalis.
Till Mossakowski,
T. Mossakowski,
Till Mossakowski,
2004
.
Till Mossakowski,
2003
.
Till Mossakowski,
Klaus Lüttich,
Christian Maeder,
2007,
VERIFY.
Till Mossakowski,
Andrzej Tarlecki,
2008,
WADT.
Magne Haveraaen,
Ugo Montanari,
Till Mossakowski,
2007,
CALCO.
Till Mossakowski,
Martin Glauer,
T. Mossakowski,
2018,
WADT.
Till Mossakowski,
Mihai Codescu,
Bernd Krieg-Brückner,
2019,
JOWO.
Karsten Sohr,
Michael Drouineaud,
Till Mossakowski,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2011,
GeoS.
Ulf Krumnack,
Till Mossakowski,
T. S. E. Maibaum,
2014,
WADT.
Till Mossakowski,
Sergey Goncharov,
Lutz Schröder,
2009,
CALCO.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2017,
Appl. Ontology.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2004,
AMAST.
Till Mossakowski,
1999,
WADT.
Till Mossakowski,
Oliver Kutz,
2011,
WoMO.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2003,
CMCS.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Bernd Krieg-Brückner,
1998
.
Till Mossakowski,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Till Mossakowski,
Bernd Krieg-Brückner,
Klaus Lüttich,
2004,
WADT.
Till Mossakowski,
Geraldo Romanelli,
Christian Maeder,
2003
.
Till Mossakowski,
Oliver Kutz,
Fabian Neuhaus,
2018,
Concept Invention.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2014,
FASE.
Christoph Lange,
Till Mossakowski,
Oliver Kutz,
2012,
WADT.
Till Mossakowski,
Bernd Krieg-Brückner,
2017,
WOP@ISWC.
Till Mossakowski,
Donald Sannella,
Mihai Codescu,
2017,
Sci. Comput. Program..
Till Mossakowski,
T. Mossakowski,
2016,
WADT.
Till Mossakowski,
Mihai Codescu,
Bruno Langenstein,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2008,
2008 IEEE International Conference on Software Testing Verification and Validation Workshop.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
1999,
WADT.
Hans-Jörg Kreowski,
Till Mossakowski,
2010,
Lecture Notes in Computer Science.
Magne Haveraaen,
Ugo Montanari,
Till Mossakowski,
2007
.
Till Mossakowski,
Mihai Codescu,
Christian Maeder,
2013
.
Till Mossakowski,
2002,
FoSSaCS.
Till Mossakowski,
Andrzej Tarlecki,
2014,
FoSSaCS.
Till Mossakowski,
Bernd Krieg-Brückner,
2018,
Theor. Comput. Sci..
Till Mossakowski,
Stefan Wölfl,
S. Wölfl,
2005,
COSIT.
Till Mossakowski,
Dominik Lücke,
2010,
STAIRS.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2006,
WADT.
Till Mossakowski,
Oliver Kutz,
2008,
ECAI.
Till Mossakowski,
2002,
Theor. Comput. Sci..
Till Mossakowski,
T. Mossakowski,
2002,
WADT.
Andreas Nürnberger,
Till Mossakowski,
Fabian Neuhaus,
2017,
CHIIR.
Till Mossakowski,
Sergey Goncharov,
Lutz Schröder,
2006,
MFCS.
Till Mossakowski,
L Klaus,
Bernd Krieg-Br,
2004
.
Till Mossakowski,
Lutz Schröder,
2015,
Int. J. Softw. Informatics.
Till Mossakowski,
Alexander Knapp,
T. Mossakowski,
2016,
ArXiv.
Till Mossakowski,
Frank Dylla,
Diedrich Wolter,
2013,
COSIT.
Till Mossakowski,
Mihai Codescu,
Bruno Langenstein,
2009,
ICFEM.
Alexander García Castro,
Till Mossakowski,
Janna Hastings,
2011,
ICBO.
Till Mossakowski,
Sergey Goncharov,
Lutz Schröder,
2008,
FASE.
Till Mossakowski,
Klaus Lüttich,
2006,
WADT.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2008,
WoMO.
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes
pdf
Gabriel M. Kuper,
Luciano Serafini,
Till Mossakowski,
2014,
Semantic Web.
Till Mossakowski,
2005,
Semantic Interoperability and Integration.
Till Mossakowski,
Diedrich Wolter,
Dominik Lücke,
2008,
Spatial Cognition.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2001,
FASE.
Till Mossakowski,
Mihai Codescu,
Bernd Krieg-Brückner,
2020,
WOP.
Till Mossakowski,
Eugen Kuksa,
T. Mossakowski,
2016,
JOWO@FOIS.
Till Mossakowski,
Reinhard Moratz,
2010,
ArXiv.
Till Mossakowski,
Clemens Lautemann,
Frank Drewes,
1991,
RAIRO Theor. Informatics Appl..
Till Mossakowski,
Alexander Knapp,
2017,
CALCO.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2017,
Journal on Data Semantics.
Till Mossakowski,
Robert J. Ross,
Udo Frese,
2004,
Spatial Cognition.
Till Mossakowski,
Donald Sannella,
Andrzej Tarlecki,
2004,
WADT.
Till Mossakowski,
Lutz Schröder,
2009,
Theor. Comput. Sci..
Till Mossakowski,
Fabian Neuhaus,
Bernd Krieg-Brückner,
2019,
JOWO.
Till Mossakowski,
Florian Rabe,
Mihai Codescu,
2012,
WADT.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Bernd Krieg-Brückner,
1999,
WADT.
Till Mossakowski,
Reinhard Moratz,
Dominik Lücke,
2011,
Artif. Intell..
Till Mossakowski,
Andrzej Tarlecki,
Lutz Schröder,
2001,
ICALP.
Cristina Sernadas,
Till Mossakowski,
Carlos Caleiro,
2000
.
Valeria de Paiva,
Joseph A. Goguen,
Till Mossakowski,
2007,
Int. J. Softw. Informatics.
Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski,
1997,
WADT.
Till Mossakowski,
Lutz Schröder,
Daniel Hausmann,
2005,
CALCO.
Dieter Hutter,
Till Mossakowski,
Serge Autexier,
2006,
J. Log. Algebraic Methods Program..
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -
pdf
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2015,
Software, Services, and Systems.
Till Mossakowski,
Janna Hastings,
Oliver Kutz,
2012,
AIMSA.
Till Mossakowski,
Mihai Codescu,
Christian Maeder,
2013,
CALCO.
Till Mossakowski,
Sergey Goncharov,
Lutz Schröder,
2010,
Formal Aspects of Computing.
Till Mossakowski,
Ramya Dirsumilli,
T. Mossakowski,
2016,
DATA.
Till Mossakowski,
Maura Cerioli,
Horst Reichel,
1999,
Algebraic Foundations of Systems Specification.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Bernd Krieg-Brückner,
1997,
AMAST.
Markus Roggenbach,
Till Mossakowski,
Lutz Schröder,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Till Mossakowski,
Oliver Kutz,
Dominik Lücke,
2010,
Logica Universalis.
Till Mossakowski,
1994,
COMPASS/ADT.
Adrián Riesco,
Till Mossakowski,
Mihai Codescu,
2010,
AMAST.
Nora Szasz,
Till Mossakowski,
Daniel Calegari,
2014,
SBMF.
Francesco Parisi-Presicce,
Kathrin Hoffmann,
Till Mossakowski,
2005,
PNGT@ICGT.
Till Mossakowski,
T. Mossakowski,
1995,
CSL.
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2004,
J. Log. Comput..
Till Mossakowski,
Lutz Schröder,
Lutz Schröder,
2002,
WADT.
Till Mossakowski,
Stefan Wölfl,
Lutz Schröder,
2007,
FLAIRS.
Tiago Oliveira,
Till Mossakowski,
Loris Bozzato,
2018
.
Kathrin Hoffmann,
Till Mossakowski,
T. Mossakowski,
2002,
WADT.
Stefano Borgo,
Till Mossakowski,
John A. Bateman,
2007,
Spatial Cogn. Comput..
Till Mossakowski,
Razvan Diaconescu,
Andrzej Tarlecki,
2014,
Logica Universalis.
Dirk Walther,
Till Mossakowski,
Oliver Kutz,
2010,
OM.
Hans-Jörg Kreowski,
Till Mossakowski,
T. Mossakowski,
1995,
Mathematical Structures in Computer Science.
Till Mossakowski,
Lutz Schröder,
Daniel Hausmann,
2005,
FASE.
Till Mossakowski,
Reinhard Moratz,
2017,
IJCAI.
Till Mossakowski,
Michael Kohlhase,
Florian Rabe,
2011,
Calculemus/MKM.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2016,
ArXiv.
Till Mossakowski,
T. Mossakowski,
1995,
COMPASS/ADT.
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2005,
Theor. Comput. Sci..
Till Mossakowski,
Lutz Schröder,
Dennis Walter,
2005,
CALCO.
Till Mossakowski,
Fabian Neuhaus,
Oliver Kutz,
2017,
AI*IA.
Michael Grüninger,
Christoph Lange,
Till Mossakowski,
2014,
ARQNL@IJCAR.
Till Mossakowski,
Oliver Kutz,
2011,
AAAI.
Till Mossakowski,
Donald Sannella,
Andrzej Tarlecki,
2014,
Specification, Algebra, and Software.
Anne Elisabeth Haxthausen,
Till Mossakowski,
Donald Sannella,
2008
.
Michael Grüninger,
Christoph Lange,
Till Mossakowski,
2012,
AISC/MKM/Calculemus.
Markus Roggenbach,
Till Mossakowski,
Liam O'Reilly,
2010,
WADT.
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
2001,
FASE.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2012,
WADT.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2016,
Description Logics.
Till Mossakowski,
Bernd Krieg-Brückner,
Klaus Lüttich,
2005
.
Jae Hee Lee,
Till Mossakowski,
Frank Dylla,
2016,
ACM Comput. Surv..
Till Mossakowski,
2006,
AMAST.
Till Mossakowski,
Reinhard Moratz,
2015,
J. Artif. Intell. Res..
Till Mossakowski,
Fabian Neuhaus,
Janna Hastings,
2021,
Journal of Cheminformatics.
Till Mossakowski,
Martin Robinius,
Fabian Neuhaus,
2021
.
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain
pdf
Till Mossakowski,
Fabian Neuhaus,
Janna Hastings,
2021,
DAO-XAI.
Till Mossakowski,
Mihai Codescu,
Bernd Krieg-Brückner,
2021
.
Till Mossakowski,
Lutz Schröder,
Stefan Wölfl,
2006
.
Till Mossakowski,
Janna Hastings,
Oliver Kutz,
2011
.
Christoph Lange,
Till Mossakowski,
Oliver Kutz,
2011
.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2011
.
Till Mossakowski,
Florian Rabe,
Lutz Schröder,
2022
.
Christoph Lange,
Till Mossakowski,
Mihai Codescu,
2013
.
Till Mossakowski,
Mihai Codescu,
T. Mossakowski,
2014
.
Till Mossakowski,
T. Mossakowski,
2004
.
Jae Hee Lee,
Till Mossakowski,
Arne Kreutzmann,
2011
.
Markus Roggenbach,
Till Mossakowski,
Liam O’Reilly,
2011
.
Till Mossakowski,
Mihai Codescu,
Oliver Kutz,
2008
.
Till Mossakowski,
Fabian Neuhaus,
Mihai Codescu,
2014
.
Till Mossakowski,
Klaus Lüttich,
2004
.