Till Mossakowski

Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022

2021

Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification.

[BibT_eX]

[DOI]

J. Cheminformatics, 2021

Generic Ontology Design Patterns: Roles and Change Over Time.

[BibT_eX]

[DOI]

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Substitute selection for a missing tool using robot-centric conceptual knowledge of objects.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

Towards Fuzzy Neural Conceptors.

[BibT_eX]

[DOI]

Razvan Diaconescu

Martin Glauer

FLAP, 2019

Generic Ontology Design Patterns at Work.

[BibT_eX]

[DOI]

Fabian Neuhaus

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Extensions of Generic DOL for Generic Ontology Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

2018

Partial pushout semantics of generics in DOL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs.

[BibT_eX]

[DOI]

Fabian Neuhaus

CoRR, 2018

Institutions for SQL Database Schemas and Datasets.

[BibT_eX]

[DOI]

Martin Glauer

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Multi-view Consistency in UML: A Survey.

[BibT_eX]

[DOI]

Danny de Jesús Gómez-Ramírez

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.

[BibT_eX]

[DOI]

Proceedings of the Concept Invention, 2018

2017

Specification refinements: Calculi, tools, and applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

A Categorical Approach to Networks of Aligned Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2017

A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

Ontohub: A semantic repository engine for heterogeneous ontologies.

[BibT_eX]

[DOI]

Appl. Ontology, 2017

Generic Ontologies and Generic Ontology Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Web-Retrieval Supported Argument Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval, 2017

UML Interactions Meet State Machines - An Institutional Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.

[BibT_eX]

[DOI]

Semantic Web, 2016

Heterogeneous verification in the context of model driven engineering.

[BibT_eX]

[DOI]

Daniel Calegari

Nora Szasz

Sci. Comput. Program., 2016

Bipolar Weighted Argumentation Graphs.

[BibT_eX]

[DOI]

Fabian Neuhaus

CoRR, 2016

Multi-view Consistency in UML.

[BibT_eX]

[DOI]

CoRR, 2016

Ontohub: A semantic repository for heterogeneous ontologies.

[BibT_eX]

[DOI]

CoRR, 2016

Canonical Selection of Colimits.

[BibT_eX]

[DOI]

Florian Rabe

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

The Distributed Ontology, Model and Specification Language - DOL.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.

[BibT_eX]

[DOI]

Eugen Kuksa

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

Ontology Patterns with DOWL: The Case of Blending.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

RESTful Encapsulation of OWL API.

[BibT_eX]

[DOI]

Ramya Dirsumilli

Proceedings of the DATA 2016, 2016

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.

[BibT_eX]

[DOI]

Eugen Kuksa

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

Relations Between Spatial Calculi About Directions and Orientations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

On Inconsistency and Unsatisfiability.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2015

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print).

[BibT_eX]

[DOI]

CoRR, 2015

An Institution for Simple UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Software, 2015

Modularity of Ontologies in an Arbitrary Institution.

[BibT_eX]

[DOI]

Donald Sannella

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

The Institution-Theoretic Scope of Logic Theorems.

[BibT_eX]

[DOI]

Razvan Diaconescu

Logica Universalis, 2014

An Institutional Framework for Heterogeneous Formal Development in UML.

[BibT_eX]

[DOI]

CoRR, 2014

What Is a Derived Signature Morphism?

[BibT_eX]

[DOI]

Ulf Krumnack

Tom Maibaum

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A categorical approach to ontology alignment.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Model-Driven Engineering in the Heterogeneous Tool Set.

[BibT_eX]

[DOI]

Daniel Calegari

Nora Szasz

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Blending in the Hub.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Creativity, 2014

A Relatively Complete Calculus for Structured Heterogeneous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Proof Support for Common Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

Parchments for CafeOBJ Logics.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

The VSE Refinement Method in Hets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

The Distributed Ontology, Modeling and Specification Language.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward.

[BibT_eX]

[DOI]

André van Delden

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Algebraic Properties of Qualitative Spatio-temporal Calculi.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

Checking Conservativity with Hets.

[BibT_eX]

[DOI]

Christian Maeder

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

[BibT_eX]

[DOI]

CoRR, 2012

Qualitative reasoning about relative direction of oriented points.

[BibT_eX]

[DOI]

Artif. Intell., 2012

LoLa: A Modular Ontology of Logics, Languages, and Translations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Semantics of the Distributed Ontology Language: Institutes and Institutions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Compiling Logics.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Ontology-based Route Planning for OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the Terra Cognita Workshop on Foundations, 2012

Three Semantics for the Core of the Distributed Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2012

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.

[BibT_eX]

[DOI]

Janna Hastings

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011

A condensed semantics for qualitative spatial reasoning about oriented straight line segments.

[BibT_eX]

[DOI]

Artif. Intell., 2011

The Onto-Logical Translation Graph.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Project Abstract: Logic Atlas and Integrator (LATIN).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples.

[BibT_eX]

[DOI]

Janna Hastings

Alexander García Castro

Aleksandra Sojic

Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the GeoSpatial Semantics - 4th International Conference, 2011

Refinement Trees: Calculi, Tools, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

A Modular Consistency Proof for DOLCE.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design.

[BibT_eX]

[DOI]

Logica Universalis, 2010

A generic complete dynamic logic for reasoning about purity and effects.

[BibT_eX]

[DOI]

Sergey Goncharov

Formal Aspects Comput., 2010

On Teaching Logic and Algebraic Specification.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity

[BibT_eX]

[DOI]

CoRR, 2010

Compositional Modelling and Reasoning in an Institution for Processes and Data.

[BibT_eX]

[DOI]

Liam O'Reilly

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Towards Logical Frameworks in the Heterogeneous Tool Set Hets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Proof Theoretic Interpretation of Model Theoretic Hiding.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A much better polynomial time approximation of consistency in the LR calculus.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2010, 2010

Chinese whispers and connected alignments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Change Management for Heterogeneous Development Graphs.

[BibT_eX]

[DOI]

Dieter Hutter

Proceedings of the Verification, Induction, Termination Analysis, 2010

Integrating Maude into Hets.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

Towards Ontological Blending.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2010

2009

HasCasl: Integrated higher-order specification and program development.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

What is a Logic Translation?

[BibT_eX]

[DOI]

Razvan Diaconescu

Logica Universalis, 2009

Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects

[BibT_eX]

[DOI]

CoRR, 2009

Kleene Monads: Handling Iteration in a Framework of Generic Effects.

[BibT_eX]

[DOI]

Sergey Goncharov

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Shapes of Alignments - Construction, Combination, and Computation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Ontologies: Reasoning and Modularity, 2008

Heterogeneous Logical Environments for Distributed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Qualitative Reasoning about Convex Relations.

[BibT_eX]

[DOI]

Diedrich Wolter

Proceedings of the Spatial Cognition VI. Learning, 2008

The OWL in the CASL - Designing Ontologies Across Logics.

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Heterogeneous colimits.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Conservativity in Structured Ontologies.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Ontological Modularity and Spatial Diversity.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2007

An Institutional View on Categorical Logic.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

The Heterogeneous Tool Set, Hets.

[BibT_eX]

[DOI]

Christian Maeder

Klaus Lüttich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Modules in Transition - Conservativity, Composition, and Colimits.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.

[BibT_eX]

[DOI]

Stefan Wölfl

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

A coalgebraic approach to the semantics of the ambient calculus.

[BibT_eX]

[DOI]

Daniel Hausmann

Theor. Comput. Sci., 2006

Algebraic-coalgebraic specification in CoCasl.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

Development graphs - Proof management for structured specifications.

[BibT_eX]

[DOI]

Dieter Hutter

J. Log. Algebraic Methods Program., 2006

Coalgebraic Modal Logic in CoCasl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Structured CSP - A Process Algebra as an Institution.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Reasoning Support for Caslwith Automated Theorem Proving Systems.

[BibT_eX]

[DOI]

Klaus Lüttich

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Completeness of Global Evaluation Logic.

[BibT_eX]

[DOI]

Sergey Goncharov

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Institutional 2-cells and Grothendieck Institutions.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

Monad-Based Logics for Computational Effects.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Amalgamation in the semantics of CASL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Iterative Circular Coinduction for CoCasl in Isabelle/HOL.

[BibT_eX]

[DOI]

Daniel Hausmann

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Heterogeneous Theories and the Heterogeneous Tool Set.

[BibT_eX]

[DOI]

Proceedings of the Semantic Interoperability and Integration, 2005

Casl Specifications of Qualitative Calculi.

[BibT_eX]

[DOI]

Stefan Wölfl

Proceedings of the Spatial Information Theory, International Conference, 2005

Parametrized Exceptions.

[BibT_eX]

[DOI]

Dennis Walter

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

Towards a Coalgebraic Semantics of the Ambient Calculus.

[BibT_eX]

[DOI]

Daniel Hausmann

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

High-Level Nets with Nets and Rules as Tokens.

[BibT_eX]

[DOI]

Kathrin Hoffmann

Hartmut Ehrig

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Monad-independent Dynamic Logic in HasCasl.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Higher-Order Nets for Mobile Policies.

[BibT_eX]

[DOI]

Kathrin Hoffmann

Francesco Parisi-Presicce

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Type Class Polymorphism in an Institutional Framework.

[BibT_eX]

[DOI]

Christoph Lüth

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

A Simple Refinement Language for Casl.

[BibT_eX]

[DOI]

Donald Sannella

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Ontologies for the Semantic Web in Casl.

[BibT_eX]

[DOI]

Klaus Lüttich

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Specification of an Ontology for Route Graphs.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

Generic Exception Handling and the Java Monad.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

CoCASL at Work -- Modelling Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2003

A temporal-logic extension of role-based access control covering dynamic separation of duties.

[BibT_eX]

[DOI]

Michael Drouineaud

Karsten Sohr

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Monad-Independent Hoare Logic in HASCASL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002

Representations, hierarchies and graphs of institutions.

[BibT_eX]

[DOI]

PhD thesis, 2002

Relating CASL with other specification languages: the institution level.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Monad-Independent Dynamic Logic in Has Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Algebraic-Coalgebraic Specification in Co Casl.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Foundations of Heterogeneous Specification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.

[BibT_eX]

[DOI]

Kathrin Hoffmann

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Comorphism-Based Grothendieck Logics.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

Integrating HOL-CASL into the Development Graph Manager MAYA.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Heterogeneous Development Graphs and Heterogeneous Borrowing.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2002

HASCASL: Towards Integrated Specification and Development of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

The Development Graph Manager MAYA.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Institution Independent Static Analysis for CASL.

[BibT_eX]

[DOI]

Bartek Klin

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Checking Amalgamability Conditions for C ASL Architectural Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Amalgamation in CASL via Enriched Signatures.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Semantics of Architectural Specifications in CASL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Extending Development Graphs with Hiding.

[BibT_eX]

[DOI]

Dieter Hutter

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

CASL: From Semantics to Tools.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

From Total Equational to Partial First-Order Logic.

[BibT_eX]

[DOI]

Maura Cerioli

Horst Reichel

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Specifying Real Numbers in CASL.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Subsorted Partial Higher-Order Locig as an Extension of CASL.

[BibT_eX]

[DOI]

Anne E. Haxthausen

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Specifications in an Arbitrary Institution with Symbols.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

Translationg OBJ3 into CASL: The Institution Level.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Categorial Fibring of Logics with Terms and Binding Operators.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1997

Combining and representing logical systems using model-theoretic parchments.

[BibT_eX]

[DOI]

Wieslaw Pawlowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Static semantic analysis and theorem proving for CASL.

[BibT_eX]

[DOI]

Kolyang

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Colimits of order-sorted specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Combining and Representing Logical Systems.

[BibT_eX]

[DOI]

Wieslaw Pawlowski

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

Permissive Subsorted Partial Logic in CASL.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Different Types of Arrow Between Logical Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995

Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras.

[BibT_eX]

[DOI]

Hans-Jörg Kreowski

Math. Struct. Comput. Sci., 1995

Equivalences among Various Logical Frameworks of Partial Algebras.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

Using Limits of Parchment to Systematically Construct Institutions of partial Algebras.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.

[BibT_eX]