Learning chemistry - exploring the suitability of machine learning for the task of structure-based chemical ontology classification
In: Journal of cheminformatics - London: BioMed Central . - 2020, insges. 25 S.

Substitute selection for a missing tool using robot-centric conceptual knowledge of objects
In: The 35th Annual ACM Symposium on Applied Computing: Brno, Czech Republic, March 30-April 3, 2020/ Annual ACM Symposium on Applied Computing - New York, NY: Association for Computing Machinery, 2020; Hung, Chih-Cheng . - 2020, S. 972-979

JOWO 2020: the Joint Ontology Workshops - proceedings of the Joint Ontology Workshops, co-located with the Bolzano Summer of Knowledge (BOSK 2020) : virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020
In: [Aachen, Germany]: [RWTH Aachen], 2020, 1 Online-Ressource, Illustrationen - (CEUR workshop proceedings; vol-2708)

Generic ontology design patterns - roles and change over time
In: De.arxiv.org - [S.l.]: Arxiv.org, 2020, article 2011.09353, 23 Seiten

Towards fuzzy neural conceptors
In: Journal of applied logics - IfCoLoG journal of logics and their applications - London: College Publications, 2014, Bd. 6.2019, 4, S. 725-744

Extensions of generic DOL for generic ontology design patterns
In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Volume 2518 (2019), paper WOMOCOE1, insgesamt 12 Seiten

Generic ontology design patterns at work
In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Volume 2518 (2019), paper BOG2, insgesamt 13 Seiten

Institutions for SQL database schemas and datasets
In: Recent Trends in Algebraic Development Techniques - Cham: Springer, 2019; Fiadeiro, José Luiz . - 2019, S. 67-86 - (Lecture Notes in Computer Science; volume 11563)

WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution
In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Bd. 2518.2019

Partial pushout semantics of generics in DOL
In: Theoretical computer science: the journal of the EATCS - Amsterdam [u.a.]: Elsevier, 1975, Bd. 741.2018, S. 58-70

Conceptual blending in DOL - evaluating consistency and conflict resolution
In: Concept Invention: Foundations, Implementation, Social Aspects and Applications - Cham: Springer International Publishing, 2018 . - 2018, S. 99-132

Multi-view consistency in UML - a survey
In: Graph Transformation, Specifications, and Nets: in memory of Hartmut Ehrig - Cham: Springer International Publishing, 2018 . - 2018, S. 37-60 - (Lecture Notes in Computer Science; 10800)

MedRACER+WOMoCoE 2018 - joint proceedings of MedRACER and WOMoCoE 2018 : proceedings of the joint proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) : Tempe, Arizona, USA, October 29th, 2018
In: Aachen, Germany: RWTH Aachen, 2018, 1 Online Ressource, Illustrationen - (CEUR workshop proceedings; vol-2237)

Modular semantics and characteristics for bipolar weighted argumentation graphs
In: De.arxiv.org - [S.l.]: Arxiv.org, 1991 . - 2018

Institutions for database schemas and datasets
In: CALCO Early Ideas 2017$a satellite workshop of CALCO 2017: satellite workshop of CALCO 2017 - Ljubljana, 2017, S. 6:1-6:3

A categorical approach to networks of aligned ontologies
In: Journal on data semantics: JoDS - Berlin: Springer, insges. 43 S., 2017

A survey of qualitative spatial and temporal calculi - algebraic and computational properties
In: ACM computing surveys: CSUR - New York, NY: Association for Computing Machinery, Vol. 50.2017, 1, Art. 7, insgesamt 39 S.

Ontohub - a semantic repository engine for heterogeneous ontologies
In: Applied ontology: an interdisciplinary journal of ontological analysis and conceptual modeling - Amsterdam: IOS Press, Bd. 12.2017, 3/4, S. 275-298

Specification refinements - calculi, tools, and applications
In: Science of computer programming: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 144.2017, S. 1-49

Between contact and support - introducing a logic for image schemas and directed movement
In: AI*IA 2017 Advances in Artificial Intelligence - Cham: Springer, 2017 . - 2017, S. 256-268 - (Lecture Notes in Computer Science; 10640)

Canonical selection of colimits
In: Recent trends in algebraic development techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers - Cham: Springer International Publishing, S. 170-188, 2017 - (Lecture Notes in Computer Science; 10644)

Relations between spatial calculi about directions and orientations
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17): Melbourne, Australia, 19-25 August 2017 - International Joint Conferences on Artificial Intelligence, S. 5040-5044

The Distributed Ontology, Model and Specification Language DOL
In: Recent Trends in Algebraic Development Techniques, Springer International Publishing, 2017, S. 5-10, Lecture Notes in Computer Science

The Distributed Ontology, Model and Specification Language - DOL
In: Recent trends in algebraic development techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers - Cham: Springer International Publishing, S. 5-10, 2017 - (Lecture Notes in Computer Science; 10644)

UML interactions meet state machines - an institutional approach
In: 7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017, June 14-16, 2017, Ljubljana, Slovenia - Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017, S. 15.1-15.15, ingesamt 15 S. - (Leibniz international proceedings in informatics; Vol. 72)

Web-retrieval supported argument space exploration
In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval: Oslo, Norway, March 07 - 11, 2017 - New York, NY: ACM, Association for Computing Machinery, S. 309-312

Heterogeneous verification in the context of model driven engineering
In: Science of computer programming: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 126.2016, S. 3-30

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules : decidable finite extension classes
In: Semantic web - Amsterdam: IOS Press, Bd. 7.2016, 1, S. 25-61

Ontohub - version control, linked data and theorem proving for ontologies
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1660.2016, insges. 5 S.

Ontology patterns with DOWL - the case of blending
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1577.2016, insges. 13 S. ; [Kongress: 29th International Workshop on Description Logics, DL 2016, Cape Town, South Africa, April 22-25, 2016]

Prover-independent axiom selection for automated theorem proving in Ontohub
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1635.2016, S. 56-68

RESTful encapsulation of OWL API
In: DATA 2016 : proceedings of the 5th International Conference on Data Management Technologies and Applications : July 24-26, 2016, Lisbon, Portugal. - [Setúbal] : SCITEPRESS - Science and Technology Publications, Lda., S. 150-157 ; [Kongress: 5th International Conference on Data Management Technologies and Applications, DATA 2016, Lisbon, Portugal, July 24-26, 2016]

JOWO 2016 - the Joint Ontology Workshops : episode 2 - the French summer : CAOS, Onto.Com, NSWO, WOMoCoE, Ontology Competition, Demos, Early Career Symposium : held at the 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 : July 6-9, 2016, Annecy, France
In: Aachen: RWTH Aachen, 2016, 1 Online-Ressource, Illustrationen - (CEUR workshop proceedings; vol-1660) ; Kongress: Joint Ontology Workshops 2 (Annecy, France : 2016.07.06-09) ; [Literaturangaben]

A survey of qualitative spatial and temporal calculi-algebraic and computational properties
In: De.arxiv.org - [S.l.]: Arxiv.org, insges. 55 S., 2016

Bipolar weighted argumentation graphs
In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 22 S., 2016

Multi-view consistency in UML
In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 23 S., 2016

Blending in the hub - towards a collaborative concept invention platform
In: Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014, June 10-13, 2014, Ljubljana, Slovenia/ International Conference on Computational Creativity - Ljubljana, Slovenia: Jožef Stefan Institute, 2014 . - 2014, insges. 9 S.

Relations between spatial calculi about directions and orientations
In: Journal of artificial intelligence research: JAIR : an international electronic and print journal - [S.l.] ]: AI Access Found, Bd. 54.2015, S. 277-308

An institution for simple UML state machines
In: Fundamental approaches to software engineering: 18th international conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings - Berlin [u.a.]: Springer, S. 3-18 - (Lecture Notes in Computer Science; 9033)

E pluribus unum - formalisation, use-cases, and computational support for conceptual blending
In: Computational Creativity Research: Towards Creative Machines - Paris: Atlantis Press, 2015; Besold, Tarek R. . - 2015, S. 167-196 - (Atlantis Thinking Machines; 7)

Model-driven engineering in the heterogeneous tool set
In: Formal methods: foundations and applications: 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014 ; proceedings - Cham [u.a.]: Springer, S. 64-79, 2015 - (Lecture Notes in Computer Science; 8941)

Modularity of ontologies in an arbitrary institution
In: Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday - Cham [u.a.]: Springer, S. 361-379, 2015 - (Lecture notes in computer science; 9200)

The distributed ontology, modeling, and specification language - DOL
In: The Road to Universal Logic - Cham: Birkhäuser, 2015 . - 2015, S. 489-520

Towards an institutional framework for heterogeneous formal development in UML - a position paper
In: Software, services, and systems: essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering - Cham [u.a.]: Springer, S. 215-230, 2015 - (Lecture Notes in Computer Science; 8950)

What is a derived signature morphism?
In: Recent trends in algebraic development techniques - 22nd international workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers: 22nd international workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers/ WADT - [Cham]: Springer, 2015; Codescu, Mihai . - 2015, S. 90-109 - (Lecture notes in computer science; 9463)

Ontohub - a semantic repository for heterogeneous ontologies
In: ICTAC 2014 associated workshop: Theory Day in Computer Science: Buchaest, September 15-16, 2014 - Bucharest

Fabricating monsters is hard - towards the automation of conceptual blending
In: Computational Creativity, Concept Invention, and General Intelligence: 3rd International Workshop, C3GI ECAI 2014, Prague, Czech Republic, August 19, 2014 ; proceedings - Osnabrück: Inst. of Cognitive Science - (Publication of the Institute of Cognitive Science; 1.2014)

Proof support for common logic
In: Automated reasoning in quantified non-classical logics: 1st international Workshop, ARQNL 2014, Vienna, Austria, July 23, 2014 ; proceedings - Vienna, 2014, Paper 5, insgesamt 16 S.

Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
In: Spatial Cognition 2014: poster presentations - Bremen [u.a.]: Univ. [u.a.], S. 13-16

A categorical approach to ontology alignment
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073

A categorical approach to ontology alignment
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1317/2014, S. 1-12

A relatively complete calculus for structured heterogeneous specifications
In: Foundations of software science and computation structures: 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 441-456 - (Lecture notes in computer science; 8412)

Parchments for CafeOBJ logics
In: Specification, algebra, and software: essays dedicated to Kokichi Futatsugi - Berlin [u.a.]: Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)

A qualitative comparison of the suitability of four theorem provers for basic auction theory
In: Intelligent computer mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8 - 12, 2013 ; proceedings - Berlin [u.a.]: Springer, 2013 . - 2013, S. 200-215 - (Lecture notes in computer science; 7961)

Algebraic properties of qualitative spatio-temporal calculi
In: Spatial information theory: 11th international conference, COSIT 2013, Scarborough, UK, September 2 - 6, 2013 ; proceedings - Cham [u.a.]: Springer, 2013 . - 2013, S. 516-536 - (Lecture notes in computer science; 8116)

Checking conservativity with Hets
In: Algebra and coalgebra in computer science: 5th international conference, CALCO 2013, Warsaw, Poland, September 3 - 6, 2013 ; proceedings - Berlin [u.a.]: Springer, 2013 . - 2013, S. 315-321 - (Lecture notes in computer science; 8089)

Compiling logics
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 111-126, ISSN 03029743, 10.1007/978-3-642-37635-1_7

Designing domain specific languages - a craftsman's approach for the railway domain using CASL
In: Recent trends in algebraic development techniques: 21st international workshop, WADT 2012, Salamanca, Spain, June 7 - 10, 2012 ; revised selected papers - Berlin [u.a.]: Springer, 2013 . - 2013, S. 178-194 - (Lecture notes in computer science; 7841)

Mastering left and right-different approaches to a problem that is not straight forward
In: KI 2013: advances in artificial intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16 - 20, 2013 ; proceedings - Berlin [u.a.]: Springer, 2013 . - 2013, S. 248-259 - (Lecture notes in computer science; 8077)

Semantics of the distributed ontology language: Institutes and institutions
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 212-230, ISSN 03029743, 10.1007/978-3-642-37635-1_13

The distributed ontology, modeling and specification language
In: CEUR workshop proceedings - Aachen, Germany: RWTH Aachen, 1995, Bd. 1081.2013, insges. 21 S.

Three semantics for the core of the distributed ontology language
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, Beijing, China, 3 - 9 August 2013 ; Vol. 4 - Palo Alto, Calif.: AAAI Press [u.a.], 2013 . - 2013, S. 3027-3031 ; Kongress: IJCAI 23 (Beijing : 2013.08.03-09)

The Institution-Theoretic Scope of Logic Theorems
In: Logica Universalis, Vol. 8, 2013, Issue 3-4, S. 393-406, ISSN 16618297, 10.1007/s11787-013-0093-x

Lambda Expressions in CASL Architectural Specifications
In: Vol. 7137, 2012, S. 98-117

The {Babel} of the Semantic Web Tongues - In Search of the {Rosetta} Stone of Interoperability
In: 2012

Three Semantics for the Core of the Distributed Ontology Language
In: 2012, S. 337-352

A proof theoretic interpretation of model theoretic hiding
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 118-138, ISSN 03029743, 10.1007/978-3-642-28412-0_9

Compositional modelling and reasoning in an institution for processes and data
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 251-269, ISSN 03029743, 10.1007/978-3-642-28412-0_16

Intuitive and natural interfaces for geospatial data classification
In: CEUR Workshop Proceedings, Vol. 881, 2012, S. 26-32, ISSN 16130073

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. V-VI, ISSN 03029743

LoLa: A modular ontology of logics, languages, and translations
In: CEUR Workshop Proceedings, Vol. 875, 2012, S. 51-60, ISSN 16130073

Modelling highly symmetrical molecules: Linking ontologies and graphs
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7557 LNAI, 2012, S. 103-111, ISSN 03029743, 10.1007/978-3-642-33185-5_11

Ontology-based route planning for OpenStreetMap
In: CEUR Workshop Proceedings, Vol. 901, 2012, S. 62-73, ISSN 16130073

Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010
In: Vol. 7137, 2012

The distributed ontology language (DOL): Ontology integration and interoperability applied to mathematical formalization
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7362 LNAI, 2012, S. 463-467, ISSN 03029743, 10.1007/978-3-642-31374-5_37

The distributed ontology language (DOL): Use cases, syntax, and extensibility
In: Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge Engineering, TKE 2012, 2012, S. 33-48

Towards logical frameworks in the heterogeneous tool set hets
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 139-159, ISSN 03029743, 10.1007/978-3-642-28412-0_10

Qualitative reasoning about relative direction of oriented points
In: Artificial Intelligence, Vol. 180-181, 2012, S. 34-45, ISSN 00043702, 10.1016/j.artint.2011.10.003

A modular consistency proof for DOLCE
In: Proceedings of the National Conference on Artificial Intelligence, Vol. 1, 2011, S. 227-234

DO-ROAM: Activity-oriented search and navigation with OpenStreetMap
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6631 LNCS, 2011, S. 88-107, ISSN 03029743, 10.1007/978-3-642-20630-6_6

Hyperontology for the biomedical ontologist: A sketch and some examples
In: CEUR Workshop Proceedings, Vol. 833, 2011, S. 399-408, ISSN 16130073

Integrating Maude into hets
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6486 LNCS, 2011, S. 60-75, ISSN 03029743, 10.1007/978-3-642-17796-5_4

Project abstract: Logic atlas and integrator (LATIN)
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6824 LNAI, 2011, S. 289-291, ISSN 03029743, 10.1007/978-3-642-22673-1_24

Refinement trees: Calculi, tools, and applications
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6859 LNCS, 2011, S. 145-160, ISSN 03029743, 10.1007/978-3-642-22944-2_11

The onto-logical translation graph
In: Frontiers in Artificial Intelligence and Applications, Vol. 230, 2011, S. 94-109, ISSN 09226389, 10.3233/978-1-60750-799-4-94

A condensed semantics for qualitative spatial reasoning about oriented straight line segments
In: Artificial Intelligence, Vol. 175, 2011, Issue 16-17, S. 2099-2127, ISSN 00043702, 10.1016/j.artint.2011.07.004

A much better polynomial time approximation of consistency in the ℒℛ calculus
In: Frontiers in Artificial Intelligence and Applications, Vol. 222, 2010, S. 175-185, ISSN 09226389, 10.3233/978-1-60750-676-8-175

Change management for heterogeneous development graphs
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6463 LNAI, 2010, S. 54-80, ISSN 03029743, 10.1007/978-3-642-17172-7_4

Chinese whispers and connected alignments
In: CEUR Workshop Proceedings, Vol. 689, 2010, S. 25-36, ISSN 16130073

Towards ontological blending
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6304 LNAI, 2010, S. 263-264, ISSN 03029743, 10.1007/978-3-642-15431-7_28

A generic complete dynamic logic for reasoning about purity and effects
In: Formal Aspects of Computing, Vol. 22, 2010, Issue 3-4, S. 363-384, ISSN 09345043, 10.1007/s00165-010-0153-4

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
In: Logica Universalis, Vol. 4, 2010, Issue 2, S. 255-333, ISSN 16618297, 10.1007/s11787-010-0020-3

Heterogeneous logical environments for distributed specifications
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5486 LNCS, 2009, S. 266-289, ISSN 03029743, 10.1007/978-3-642-03429-9_18

Kleene monads: Handling iteration in a framework of generic effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5728 LNCS, 2009, S. 18-33, ISSN 03029743, 10.1007/978-3-642-03741-2_3

The OWL in the CASL designing ontologies across logics
In: CEUR Workshop Proceedings, Vol. 432, 2009, ISSN 16130073

The VSE refinement method in HETS
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5885 LNCS, 2009, S. 660-678, ISSN 03029743, 10.1007/978-3-642-10373-5_34

HasCasl: Integrated higher-order specification and program development
In: Theoretical Computer Science, Vol. 410, 2009, Issue 12-13, S. 1217-1260, ISSN 03043975, 10.1016/j.tcs.2008.11.020

What is a logic translation?
In: Logica Universalis, Vol. 3, 2009, Issue 1, S. 95-124, ISSN 16618297, 10.1007/s11787-009-0005-2

A generic complete dynamic logic for reasoning about purity and effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4961 LNCS, 2008, S. 199-214, ISSN 03029743, 10.1007/978-3-540-78743-3_15

Heterogeneous colimits
In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW\'08, 2008, S. 131-140, 10.1109/ICSTW.2008.20

Qualitative reasoning about convex relations
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5248 LNAI, 2008, S. 426-440, ISSN 03029743, 10.1007/978-3-540-87601-4_30

Shapes of alignments construction, combination, and computation
In: CEUR Workshop Proceedings, Vol. 348, 2008, S. 30-43, ISSN 16130073

Coalgebraic modal logic in COCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 127-141, ISSN 03029743

Modules in transition conservativity, composition, and colimits
In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073

Qualitative constraint calculi: Heterogeneous verification of composition tables
In: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007, 2007, S. 665-670

Reasoning support for CASL with automated theorem proving systems
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 74-91, ISSN 03029743

Structured CSP - A process algebra as an institution
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 92-110, ISSN 03029743

The heterogeneous tool set
In: CEUR Workshop Proceedings, Vol. 259, 2007, S. 119-135, ISSN 16130073

The heterogeneous tool set, HETS
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4424 LNCS, 2007, S. 519-522, ISSN 03029743

What is a logic?
In: Logica Universalis: Towards a General Theory of Logic, 2007, S. 111-133, 10.1007/978-3-7643-8354-1_7

Ontological modularity and spatial diversity
In: Spatial Cognition and Computation, Vol. 7, 2007, Issue 1, S. 97-128, ISSN 13875868, 10.1080/13875860701337991

Completeness of global evaluation logic
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4162 LNCS, 2006, S. 447-458, ISSN 03029743

Institutional 2-cells and Grothendieck institutions
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4060 LNCS, 2006, S. 124-149, ISSN 03029743

Monad-based logics for computational effects
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4019 LNCS, 2006, S. 3-4, ISSN 03029743

A coalgebraic approach to the semantics of the ambient calculus
In: Theoretical Computer Science, Vol. 366, 2006, Issue 1-2, S. 121-143, ISSN 03043975, 10.1016/j.tcs.2006.07.006

Algebraic-coalgebraic specification in CoCasl
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 146-197, ISSN 15678326, 10.1016/j.jlap.2005.09.006

Development graphs - Proof management for structured specifications
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 114-145, ISSN 15678326, 10.1016/j.jlap.2005.09.005

A simple refinement language for CASL
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743

CASL specifications of qualitative calculi
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3693 LNCS, 2005, S. 200-217, ISSN 03029743

High-Level nets with nets and rules as tokens
In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743

Higher-order nets for mobile policies
In: Electronic Notes in Theoretical Computer Science, Vol. 127, 2005, Issue 2, S. 87-105, ISSN 15710661, 10.1016/j.entcs.2005.02.007

Iterative circular coinduction for CoCASL in Isabelle/HOL
In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743

Ontologies for the semantic Web in CASL
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743

Parametrized exceptions
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743

Specification of an ontology for Route Graphs
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3343, 2005, S. 390-412, ISSN 03029743

Towards a coalgebraic semantics of the ambient calculus
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743

Type class polymorphism in an institutional framework
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743

What is a logic?
In: Logica Universalis: Towards a General Theory of Logic, 2005, S. 113-133, 10.1007/3-7643-7304-0_7

Amalgamation in the semantics of CASL
In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037

Generic exception handling and the java monad
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, 2004, S. 443-459, ISSN 03029743

Monad-independent dynamic logic in HasCASL
In: Journal of Logic and Computation, Vol. 14, 2004, Issue 4, S. 571-619, ISSN 0955792X, 10.1093/logcom/14.4.571

Algebraic-coalgebraic specification in CoCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 376-392, ISSN 03029743

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 253-267, ISSN 03029743

COCASL at work - Modelling process algebra
In: Electronic Notes in Theoretical Computer Science, Vol. 82, 2003, Issue 1, S. 211-225, ISSN 15710661, 10.1016/S1571-0661(04)80640-6

Foundations of Heterogeneous Specification
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 359-375, ISSN 03029743

Monad-independent Hoare logic in HASCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2621, 2003, S. 261-277, ISSN 03029743

Monad-independent dynamic logic in HASCASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 425-441, ISSN 03029743

CASL - The common algebraic specification language: Semantics and proof theory
In: Computing and Informatics, Vol. 22, 2003, Issue 3-4, S. 285-321, ISSN 13359150

Institution independent static analysis for CASL
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2267 LNCS, 2002, S. 221-237, ISSN 03029743

Relating CASL with other specification languages: The institution level
In: Theoretical Computer Science, Vol. 286, 2002, Issue 2, S. 367-475, ISSN 03043975, 10.1016/S0304-3975(01)00369-3

Amalgamation in casl via enriched signatures
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2076 LNCS, 2001, S. 993-1004, ISSN 03029743

CASL: From semantics to tools
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1785 LNCS, 2000, S. 93-108, ISSN 03029743