| Generic Ontology Design Patterns: Roles and Change Over Time. | 0 | 0.34 | 2021 |
| Modelling Episodes with Generic Ontology Design Patterns. | 0 | 0.34 | 2020 |
| Extensions of Generic DOL for Generic Ontology Design Patterns. | 0 | 0.34 | 2019 |
| Specification refinements: Calculi, tools, and applications. | 0 | 0.34 | 2017 |
| Ontohub: A semantic repository engine for heterogeneous ontologies. | 5 | 0.46 | 2017 |
| A Categorical Approach to Networks of Aligned Ontologies. | 1 | 0.36 | 2017 |
| Ontohub: A semantic repository for heterogeneous ontologies. | 0 | 0.34 | 2016 |
| Canonical Selection of Colimits. | 1 | 0.35 | 2016 |
| Ontology Patterns with DOWL: The Case of Blending. | 1 | 0.35 | 2016 |
| Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. | 9 | 0.69 | 2015 |
| Blending in the Hub. | 0 | 0.34 | 2014 |
| Proof Support for Common Logic. | 2 | 0.37 | 2014 |
| A categorical approach to ontology alignment. | 5 | 0.48 | 2014 |
| The VSE Refinement Method in Hets. | 0 | 0.34 | 2013 |
| Towards Ontological Support for Principle Solutions in Mechanical Engineering. | 0 | 0.34 | 2013 |
| Checking Conservativity with Hets. | 1 | 0.35 | 2013 |
| The Distributed Ontology, Modeling and Specification Language. | 0 | 0.34 | 2013 |
| Ontology-based Route Planning for OpenStreetMap. | 0 | 0.34 | 2012 |
| Compiling Logics. | 0 | 0.34 | 2012 |
| DO-ROAM: activity-oriented search and navigation with OpenStreetMap | 6 | 0.52 | 2011 |
| Project abstract: logic atlas and integrator (LATIN) | 19 | 0.98 | 2011 |
| Refinement trees: calculi, tools, and applications | 2 | 0.42 | 2011 |
| Towards logical frameworks in the heterogeneous tool set hets | 13 | 0.65 | 2010 |
| A proof theoretic interpretation of model theoretic hiding | 2 | 0.38 | 2010 |
| Lambda expressions in casl architectural specifications | 2 | 0.39 | 2010 |
| The VSE Refinement Method in Hets | 0 | 0.34 | 2009 |
| Birkhoff Completeness in Institutions | 10 | 0.54 | 2008 |
| Shapes of Alignments - Construction, Combination, and Computation. | 4 | 0.45 | 2008 |
| Heterogeneous colimits | 3 | 0.40 | 2008 |
| Generalized Theoroidal Institution Comorphisms | 3 | 0.40 | 2008 |
