Till Mossakowski
Till Mossakowski
Professor of Computer Science, University of Magdeburg
Verifierad e-postadress på ovgu.de - Startsida
Titel
Citeras av
Citeras av
År
The Heterogeneous Tool Set, Hets
T Mossakowski, C Maeder, K Lüttich
International Conference on Tools and Algorithms for the Construction and …, 2007
2942007
High-level nets with nets and rules as tokens
K Hoffmann, H Ehrig, T Mossakowski
International Conference on Application and Theory of Petri Nets, 268-288, 2005
1242005
Heterogeneous specification and the heterogeneous tool set
T Mossakowski
Proceedings of CombLog’04, 129, 2005
992005
Relating CASL with other specification languages: the institution level
T Mossakowski
Theoretical Computer Science 286 (2), 367-475, 2002
902002
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
O Kutz, T Mossakowski, D Lücke
Logica Universalis 4 (2), 255-333, 2010
872010
What is a Logic?
T Mossakowski, J Goguen, R Diaconescu, A Tarlecki
Logica universalis, 111-133, 2007
822007
Development graphs—proof management for structured specifications
T Mossakowski, S Autexier, D Hutter
The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006
812006
Qualitative reasoning about relative direction of oriented points
T Mossakowski, R Moratz
Artificial Intelligence 180, 34-45, 2012
762012
Algebraic–coalgebraic specification in CoCasl
T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
76*2006
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology …, 2002
722002
Specification of an ontology for route graphs
B Krieg-Brückner, U Frese, K Lüttich, C Mandel, T Mossakowski, RJ Ross
International Conference on Spatial Cognition, 390-412, 2004
642004
HasCasl: Towards integrated specification and development of functional programs
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2002
642002
Project abstract: logic atlas and integrator (LATIN)
M Codescu, F Horozal, M Kohlhase, T Mossakowski, F Rabe
International Conference on Intelligent Computer Mathematics, 289-291, 2011
622011
CASL the Common Algebraic Specification Language: Semantics and proof theory
T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki
Computing and Informatics 22 (3/4), 285-321, 2003
572003
Comorphism-based Grothendieck logics
T Mossakowski
International Symposium on Mathematical Foundations of Computer Science, 593-604, 2002
562002
Osmonto-an ontology of openstreetmap tags
M Codescu, G Horsinka, O Kutz, T Mossakowski, R Rau
State of the map Europe (SOTM-EU) 2011, 2011
542011
Three semantics for the core of the distributed ontology language
T Mossakowski, C Lange, O Kutz
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
492013
Foundations of heterogeneous specification
T Mossakowski
International Workshop on Algebraic Development Techniques, 359-375, 2002
452002
Casl: From semantics to tools
T Mossakowski
International Conference on Tools and Algorithms for the Construction and …, 2000
452000
What is a logic translation?
T Mossakowski, R Diaconescu, A Tarlecki
Logica Universalis 3 (1), 95-124, 2009
442009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20