@inproceedings{MossakowskiK01,
  title = {Institution Independent Static Analysis for CASL},
  author = {Till Mossakowski and Bartek Klin},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2267/22670221.htm},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/MossakowskiK01},
  cites = {0},
  citedby = {0},
  pages = {221-237},
  booktitle = {WADT},
}

@inproceedings{Mossakowski95,
  title = {Using Limits of Parchment to Systematically Construct Institutions of partial Algebras},
  author = {Till Mossakowski},
  year = {1995},
  tags = { algebra, systematic-approach},
  researchr = {https://researchr.org/publication/Mossakowski95},
  cites = {0},
  citedby = {0},
  pages = {379-393},
  booktitle = {compass},
}

@inproceedings{SchroderML04,
  title = {Type Class Polymorphism in an Institutional Framework},
  author = {Lutz Schröder and Till Mossakowski and Christoph Lüth},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=234},
  researchr = {https://researchr.org/publication/SchroderML04},
  cites = {0},
  citedby = {0},
  pages = {234-251},
  booktitle = {WADT},
}

@inproceedings{LuttichM06,
  title = {Reasoning Support for Caslwith Automated Theorem Proving Systems},
  author = {Klaus Lüttich and Till Mossakowski},
  year = {2006},
  doi = {10.1007/978-3-540-71998-4_5},
  url = {http://dx.doi.org/10.1007/978-3-540-71998-4_5},
  researchr = {https://researchr.org/publication/LuttichM06},
  cites = {0},
  citedby = {0},
  pages = {74-91},
  booktitle = {WADT},
}

@inproceedings{MossakowskiAH01,
  title = {Extending Development Graphs with Hiding},
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290269.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/MossakowskiAH01},
  cites = {0},
  citedby = {0},
  pages = {269-283},
  booktitle = {FASE},
}

@article{MossakowskiRS03,
  title = {CoCASL at Work -- Modelling Process Algebra},
  author = {Till Mossakowski and Markus Roggenbach and Lutz Schröder},
  year = {2003},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/133/49/show/Products/notes/index.htt#013},
  tags = {process algebra,  algebra, process modeling},
  researchr = {https://researchr.org/publication/MossakowskiRS03},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {82},
  number = {1},
  pages = {206-220},
}

@inproceedings{MossakowskiDS03,
  title = {A temporal-logic extension of role-based access control covering dynamic separation of duties},
  author = {Till Mossakowski and Michael Drouineaud and Karsten Sohr},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120083abs.htm},
  tags = {rule-based, logic, access control, role-based access control},
  researchr = {https://researchr.org/publication/MossakowskiDS03},
  cites = {0},
  citedby = {0},
  pages = {83-90},
  booktitle = {time},
}

@inproceedings{MossakowskiST04,
  title = {A Simple Refinement Language for Casl},
  author = {Till Mossakowski and Donald Sannella and Andrzej Tarlecki},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=162},
  tags = {refinement},
  researchr = {https://researchr.org/publication/MossakowskiST04},
  cites = {0},
  citedby = {0},
  pages = {162-185},
  booktitle = {WADT},
}

@inproceedings{HoffmannM02,
  title = {Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens},
  author = {Kathrin Hoffmann and Till Mossakowski},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=253},
  tags = {graph-rewriting,  algebra, rewriting},
  researchr = {https://researchr.org/publication/HoffmannM02},
  cites = {0},
  citedby = {0},
  pages = {253-267},
  booktitle = {WADT},
}

@inproceedings{SchroderM03,
  title = {Monad-Independent Hoare Logic in HASCASL},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2621/26210261.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/SchroderM03},
  cites = {0},
  citedby = {0},
  pages = {261-277},
  booktitle = {FASE},
}

@inproceedings{MossakowskiTP97,
  title = {Combining and Representing Logical Systems},
  author = {Till Mossakowski and Andrzej Tarlecki and Wieslaw Pawlowski},
  year = {1997},
  researchr = {https://researchr.org/publication/MossakowskiTP97},
  cites = {0},
  citedby = {0},
  pages = {177-196},
  booktitle = {ctcs},
}

@article{MossakowskiSRR06,
  title = {Algebraic-coalgebraic specification in CoCasl},
  author = {Till Mossakowski and Lutz Schröder and Markus Roggenbach and Horst Reichel},
  year = {2006},
  doi = {10.1016/j.jlap.2005.09.006},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.09.006},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/MossakowskiSRR06},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {67},
  number = {1-2},
  pages = {146-197},
}

@inproceedings{Mossakowski02:2,
  title = {Foundations of Heterogeneous Specification},
  author = {Till Mossakowski},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=359},
  researchr = {https://researchr.org/publication/Mossakowski02%3A2},
  cites = {0},
  citedby = {0},
  pages = {359-375},
  booktitle = {WADT},
}

@inproceedings{CerioliHKM97,
  title = {Permissive Subsorted Partial Logic in CASL},
  author = {Maura Cerioli and Anne Elisabeth Haxthausen and Bernd Krieg-Brückner and Till Mossakowski},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/CerioliHKM97},
  cites = {0},
  citedby = {0},
  pages = {91-107},
  booktitle = {amast},
}

@inproceedings{WalterSM05,
  title = {Parametrized Exceptions},
  author = {Dennis Walter and Lutz Schröder and Till Mossakowski},
  year = {2005},
  doi = {10.1007/11548133_27},
  url = {http://dx.doi.org/10.1007/11548133_27},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/WalterSM05},
  cites = {0},
  citedby = {0},
  pages = {424-438},
  booktitle = {calco},
}

@article{SchroderM04:0,
  title = {Monad-independent Dynamic Logic in HasCasl},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2004},
  doi = {10.1093/logcom/14.4.571},
  url = {http://dx.doi.org/10.1093/logcom/14.4.571},
  tags = {logic},
  researchr = {https://researchr.org/publication/SchroderM04%3A0},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {14},
  number = {4},
  pages = {571-619},
}

@inproceedings{Krieg-BrucknerFLMMR04,
  title = {Specification of an Ontology for Route Graphs},
  author = {Bernd Krieg-Brückner and Udo Frese and Klaus Lüttich and Christian Mandel and Till Mossakowski and Robert J. Ross},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3343&spage=390},
  tags = {ontologies, ontology, graph-rewriting, rewriting, routing},
  researchr = {https://researchr.org/publication/Krieg-BrucknerFLMMR04},
  cites = {0},
  citedby = {0},
  pages = {390-412},
  booktitle = {spatialCognition},
}

@inproceedings{Mossakowski93,
  title = {Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods},
  author = {Till Mossakowski},
  year = {1993},
  tags = {classification, systematic-approach},
  researchr = {https://researchr.org/publication/Mossakowski93},
  cites = {0},
  citedby = {0},
  pages = {137-144},
  booktitle = {amast},
}

@inproceedings{MossakowskiML07:0,
  title = {The Heterogeneous Tool Set, Hets},
  author = {Till Mossakowski and Christian Maeder and Klaus Lüttich},
  year = {2007},
  doi = {10.1007/978-3-540-71209-1_40},
  url = {http://dx.doi.org/10.1007/978-3-540-71209-1_40},
  researchr = {https://researchr.org/publication/MossakowskiML07%3A0},
  cites = {0},
  citedby = {0},
  pages = {519-522},
  booktitle = {TACAS},
}

@inproceedings{SchroderM02:1,
  title = {Monad-Independent Dynamic Logic in Has Casl},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=425},
  tags = {logic},
  researchr = {https://researchr.org/publication/SchroderM02%3A1},
  cites = {0},
  citedby = {0},
  pages = {425-441},
  booktitle = {WADT},
}

@inproceedings{MossakowskiR06,
  title = {Structured CSP - A Process Algebra as an Institution},
  author = {Till Mossakowski and Markus Roggenbach},
  year = {2006},
  doi = {10.1007/978-3-540-71998-4_6},
  url = {http://dx.doi.org/10.1007/978-3-540-71998-4_6},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/MossakowskiR06},
  cites = {0},
  citedby = {0},
  pages = {92-110},
  booktitle = {WADT},
}

@inproceedings{SchroderM02,
  title = {HASCASL: Towards Integrated Specification and Development of Functional Programs},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2422/24220099.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/SchroderM02},
  cites = {0},
  citedby = {0},
  pages = {99-116},
  booktitle = {amast},
}

@inproceedings{Mossakowski94,
  title = {A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types},
  author = {Till Mossakowski},
  year = {1994},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Mossakowski94},
  cites = {0},
  citedby = {0},
  pages = {389-405},
  booktitle = {compass},
}

@inproceedings{SchroderM06,
  title = {Coalgebraic Modal Logic in CoCasl},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2006},
  doi = {10.1007/978-3-540-71998-4_8},
  url = {http://dx.doi.org/10.1007/978-3-540-71998-4_8},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/SchroderM06},
  cites = {0},
  citedby = {0},
  pages = {127-141},
  booktitle = {WADT},
}

@inproceedings{HausmannMS05:0,
  title = {Iterative Circular Coinduction for CoCasl in Isabelle/HOL},
  author = {Daniel Hausmann and Till Mossakowski and Lutz Schröder},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=341},
  researchr = {https://researchr.org/publication/HausmannMS05%3A0},
  cites = {0},
  citedby = {0},
  pages = {341-356},
  booktitle = {FASE},
}

@inproceedings{MossakowskiHK99,
  title = {Subsorted Partial Higher-Order Locig as an Extension of CASL},
  author = {Till Mossakowski and Anne Elisabeth Haxthausen and Bernd Krieg-Brückner},
  year = {1999},
  researchr = {https://researchr.org/publication/MossakowskiHK99},
  cites = {0},
  citedby = {0},
  pages = {126-145},
  booktitle = {WADT},
}

@inproceedings{LuttichMK04,
  title = {Ontologies for the Semantic Web in Casl},
  author = {Klaus Lüttich and Till Mossakowski and Bernd Krieg-Brückner},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=106},
  tags = {ontologies, ontology, semantic web},
  researchr = {https://researchr.org/publication/LuttichMK04},
  cites = {0},
  citedby = {0},
  pages = {106-125},
  booktitle = {WADT},
}

@inproceedings{KlinHTSM01,
  title = {Checking Amalgamability Conditions for C ASL Architectural Specifications},
  author = {Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and Lutz Schröder and Till Mossakowski},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2136/21360451.htm},
  tags = {architecture, C++},
  researchr = {https://researchr.org/publication/KlinHTSM01},
  cites = {0},
  citedby = {0},
  pages = {451-463},
  booktitle = {mfcs},
}

@inproceedings{WolflMS05,
  title = {Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables},
  author = {Stefan Wölfl and Till Mossakowski and Lutz Schröder},
  year = {2005},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/979},
  tags = {composition, constraints},
  researchr = {https://researchr.org/publication/WolflMS05},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{HoffmannEM05,
  title = {High-Level Nets with Nets and Rules as Tokens},
  author = {Kathrin Hoffmann and Hartmut Ehrig and Till Mossakowski},
  year = {2005},
  doi = {10.1007/11494744_16},
  url = {http://dx.doi.org/10.1007/11494744_16},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/HoffmannEM05},
  cites = {0},
  citedby = {0},
  pages = {268-288},
  booktitle = {apn},
}

@inproceedings{KutzM07,
  title = {Modules in Transition - Conservativity, Composition, and Colimits},
  author = {Oliver Kutz and Till Mossakowski},
  year = {2007},
  url = {http://ceur-ws.org/Vol-315/paper5.pdf},
  tags = {composition},
  researchr = {https://researchr.org/publication/KutzM07},
  cites = {0},
  citedby = {0},
  booktitle = {kcap},
}

@article{MossakowskiAH06,
  title = {Development graphs - Proof management for structured specifications},
  author = {Till Mossakowski and Serge Autexier and Dieter Hutter},
  year = {2006},
  doi = {10.1016/j.jlap.2005.09.005},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.09.005},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/MossakowskiAH06},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {67},
  number = {1-2},
  pages = {114-145},
}

@inproceedings{Mossakowski96,
  title = {Different Types of Arrow Between Logical Frameworks},
  author = {Till Mossakowski},
  year = {1996},
  researchr = {https://researchr.org/publication/Mossakowski96},
  cites = {0},
  citedby = {0},
  pages = {158-169},
  booktitle = {icalp},
}

@inproceedings{MossakowskiTP97:0,
  title = {Combining and representing logical systems using model-theoretic parchments},
  author = {Till Mossakowski and Andrzej Tarlecki and Wieslaw Pawlowski},
  year = {1997},
  researchr = {https://researchr.org/publication/MossakowskiTP97%3A0},
  cites = {0},
  citedby = {0},
  pages = {349-364},
  booktitle = {WADT},
}

@inproceedings{KutzLMN08,
  title = {The OWL in the CASL - Designing Ontologies Across Logics},
  author = {Oliver Kutz and Dominik Lücke and Till Mossakowski and Immanuel Normann},
  year = {2008},
  url = {http://ceur-ws.org/Vol-432/owled2008eu_submission_27.pdf},
  tags = {ontologies, ontology, logic, OWL},
  researchr = {https://researchr.org/publication/KutzLMN08},
  cites = {0},
  citedby = {0},
  booktitle = {owled},
}

@inproceedings{WolflMS07,
  title = {Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables},
  author = {Stefan Wölfl and Till Mossakowski and Lutz Schröder},
  year = {2007},
  tags = {composition, constraints},
  researchr = {https://researchr.org/publication/WolflMS07},
  cites = {0},
  citedby = {0},
  pages = {665},
  booktitle = {flairs},
}

@inproceedings{SchroderM04,
  title = {Generic Exception Handling and the Java Monad},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=443},
  tags = {Java, exceptions},
  researchr = {https://researchr.org/publication/SchroderM04},
  cites = {0},
  citedby = {0},
  pages = {443-459},
  booktitle = {amast},
}

@inproceedings{WolflM05,
  title = {Casl Specifications of Qualitative Calculi},
  author = {Stefan Wölfl and Till Mossakowski},
  year = {2005},
  doi = {10.1007/11556114_13},
  url = {http://dx.doi.org/10.1007/11556114_13},
  researchr = {https://researchr.org/publication/WolflM05},
  cites = {0},
  citedby = {0},
  pages = {200-217},
  booktitle = {cosit},
}

@inproceedings{HausmannMS05,
  title = {Towards a Coalgebraic Semantics of the Ambient Calculus},
  author = {Daniel Hausmann and Till Mossakowski and Lutz Schröder},
  year = {2005},
  doi = {10.1007/11548133_15},
  url = {http://dx.doi.org/10.1007/11548133_15},
  tags = {semantics},
  researchr = {https://researchr.org/publication/HausmannMS05},
  cites = {0},
  citedby = {0},
  pages = {232-246},
  booktitle = {calco},
}

@inproceedings{Mossakowski98,
  title = {Translationg OBJ3 into CASL: The Institution Level},
  author = {Till Mossakowski},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1589/15890198.htm},
  researchr = {https://researchr.org/publication/Mossakowski98},
  cites = {0},
  citedby = {0},
  pages = {198-215},
  booktitle = {WADT},
}

@inproceedings{Mossakowski99,
  title = {Specifications in an Arbitrary Institution with Symbols},
  author = {Till Mossakowski},
  year = {1999},
  researchr = {https://researchr.org/publication/Mossakowski99},
  cites = {0},
  citedby = {0},
  pages = {252-270},
  booktitle = {WADT},
}

@inproceedings{MossakowskiSG08,
  title = {A Generic Complete Dynamic Logic for Reasoning About Purity and Effects},
  author = {Till Mossakowski and Lutz Schröder and Sergey Goncharov},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_15},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_15},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/MossakowskiSG08},
  cites = {0},
  citedby = {0},
  pages = {199-214},
  booktitle = {FASE},
}

@inproceedings{Mossakowski06,
  title = {Monad-Based Logics for Computational Effects},
  author = {Till Mossakowski},
  year = {2006},
  doi = {10.1007/11784180_3},
  url = {http://dx.doi.org/10.1007/11784180_3},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/Mossakowski06},
  cites = {0},
  citedby = {0},
  pages = {3-4},
  booktitle = {amast},
}

@article{Mossakowski02,
  title = {Relating CASL with other specification languages: the institution level},
  author = {Till Mossakowski},
  year = {2002},
  researchr = {https://researchr.org/publication/Mossakowski02},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {286},
  number = {2},
  pages = {367-475},
}

@article{SchroderM09,
  title = {HasCasl: Integrated higher-order specification and program development},
  author = {Lutz Schröder and Till Mossakowski},
  year = {2009},
  doi = {10.1016/j.tcs.2008.11.020},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.11.020},
  researchr = {https://researchr.org/publication/SchroderM09},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {410},
  number = {12-13},
  pages = {1217-1260},
}

@article{HausmannMS06,
  title = {A coalgebraic approach to the semantics of the ambient calculus},
  author = {Daniel Hausmann and Till Mossakowski and Lutz Schröder},
  year = {2006},
  doi = {10.1016/j.tcs.2006.07.006},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.07.006},
  tags = {semantics, systematic-approach},
  researchr = {https://researchr.org/publication/HausmannMS06},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {366},
  number = {1-2},
  pages = {121-143},
}

@inproceedings{AutexierM02,
  title = {Integrating HOL-CASL into the Development Graph Manager MAYA},
  author = {Serge Autexier and Till Mossakowski},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2309/23090002.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AutexierM02},
  cites = {0},
  citedby = {0},
  pages = {2-17},
  booktitle = {frocos},
}

@inproceedings{SchroderMTKH01,
  title = {Semantics of Architectural Specifications in CASL},
  author = {Lutz Schröder and Till Mossakowski and Andrzej Tarlecki and Bartek Klin and Piotr Hoffman},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290253.htm},
  tags = {semantics, architecture},
  researchr = {https://researchr.org/publication/SchroderMTKH01},
  cites = {0},
  citedby = {0},
  pages = {253-268},
  booktitle = {FASE},
}

@article{HoffmannMP05,
  title = {Higher-Order Nets for Mobile Policies},
  author = {Kathrin Hoffmann and Till Mossakowski and Francesco Parisi-Presicce},
  year = {2005},
  doi = {10.1016/j.entcs.2005.02.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.02.007},
  tags = {mobile},
  researchr = {https://researchr.org/publication/HoffmannMP05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {127},
  number = {2},
  pages = {87-105},
}

@inproceedings{MossakowskiML07,
  title = {The Heterogeneous Tool Set (Hets)},
  author = {Till Mossakowski and Christian Maeder and Klaus Lüttich},
  year = {2007},
  url = {http://ceur-ws.org/Vol-259/paper11.pdf},
  researchr = {https://researchr.org/publication/MossakowskiML07},
  cites = {0},
  citedby = {0},
  booktitle = {cade},
}

@inproceedings{GoncharovSM06,
  title = {Completeness of Global Evaluation Logic},
  author = {Sergey Goncharov and Lutz Schröder and Till Mossakowski},
  year = {2006},
  doi = {10.1007/11821069_39},
  url = {http://dx.doi.org/10.1007/11821069_39},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/GoncharovSM06},
  cites = {0},
  citedby = {0},
  pages = {447-458},
  booktitle = {mfcs},
}

@inproceedings{Mossakoski95,
  title = {Equivalences among Various Logical Frameworks of Partial Algebras},
  author = {Till Mossakowski},
  year = {1995},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Mossakoski95},
  cites = {0},
  citedby = {0},
  pages = {403-433},
  booktitle = {csl},
}

@inproceedings{AutexierHMS02,
  title = {The Development Graph Manager MAYA},
  author = {Serge Autexier and Dieter Hutter and Till Mossakowski and Axel Schairer},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2422/24220495.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AutexierHMS02},
  cites = {0},
  citedby = {0},
  pages = {495-501},
  booktitle = {amast},
}

@inproceedings{RoggenbachSM99,
  title = {Specifying Real Numbers in CASL},
  author = {Markus Roggenbach and Lutz Schröder and Till Mossakowski},
  year = {1999},
  researchr = {https://researchr.org/publication/RoggenbachSM99},
  cites = {0},
  citedby = {0},
  pages = {146-161},
  booktitle = {WADT},
}

@inproceedings{Mossakowski02:1,
  title = {Comorphism-Based Grothendieck Logics},
  author = {Till Mossakowski},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/Mossakowski02%3A1},
  cites = {0},
  citedby = {0},
  pages = {593-604},
  booktitle = {mfcs},
}

@inproceedings{SchroderMT01,
  title = {Amalgamation in CASL via Enriched Signatures},
  author = {Lutz Schröder and Till Mossakowski and Andrzej Tarlecki},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2076/20760993.htm},
  researchr = {https://researchr.org/publication/SchroderMT01},
  cites = {0},
  citedby = {0},
  pages = {993-1004},
  booktitle = {icalp},
}

@inproceedings{Mossakowski02:0,
  title = {Heterogeneous Development Graphs and Heterogeneous Borrowing},
  author = {Till Mossakowski},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2303/23030326.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Mossakowski02%3A0},
  cites = {0},
  citedby = {0},
  pages = {326-341},
  booktitle = {fossacs},
}

@article{MossakowskiHST03,
  title = {Casl - The Common Algebraic Specification Language: Semantics and Proof Theory},
  author = {Till Mossakowski and Anne Elisabeth Haxthausen and Donald Sannella and Andrzej Tarlecki},
  year = {2003},
  tags = {semantics, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/MossakowskiHST03},
  cites = {0},
  citedby = {0},
  journal = {cai},
  volume = {22},
  number = {3},
  pages = {285-321},
}

@inproceedings{KutzM08,
  title = {Conservativity in Structured Ontologies},
  author = {Oliver Kutz and Till Mossakowski},
  year = {2008},
  doi = {10.3233/978-1-58603-891-5-89},
  url = {http://dx.doi.org/10.3233/978-1-58603-891-5-89},
  tags = {ontologies, ontology},
  researchr = {https://researchr.org/publication/KutzM08},
  cites = {0},
  citedby = {0},
  pages = {89-93},
  booktitle = {ecai},
}

@inproceedings{Mossakowski00,
  title = {CASL: From Semantics to Tools},
  author = {Till Mossakowski},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1785/17850093.htm},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Mossakowski00},
  cites = {0},
  citedby = {0},
  pages = {93-108},
  booktitle = {TACAS},
}

@inproceedings{MossakowskiRRS02,
  title = {Algebraic-Coalgebraic Specification in Co Casl},
  author = {Till Mossakowski and Horst Reichel and Markus Roggenbach and Lutz Schröder},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/MossakowskiRRS02},
  cites = {0},
  citedby = {0},
  pages = {376-392},
  booktitle = {WADT},
}

@inproceedings{Mossakowski06:0,
  title = {Institutional 2-cells and Grothendieck Institutions},
  author = {Till Mossakowski},
  year = {2006},
  doi = {10.1007/11780274_7},
  url = {http://dx.doi.org/10.1007/11780274_7},
  researchr = {https://researchr.org/publication/Mossakowski06%3A0},
  cites = {0},
  citedby = {0},
  pages = {124-149},
  booktitle = {BIRTHDAY},
}

@article{SchroderMTKH05,
  title = {Amalgamation in the semantics of CASL},
  author = {Lutz Schröder and Till Mossakowski and Andrzej Tarlecki and Bartek Klin and Piotr Hoffman},
  year = {2005},
  doi = {10.1016/j.tcs.2004.09.037},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.09.037},
  tags = {semantics},
  researchr = {https://researchr.org/publication/SchroderMTKH05},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {331},
  number = {1},
  pages = {215-247},
}

@inproceedings{Mossakowski97,
  title = {Colimits of order-sorted specifications},
  author = {Till Mossakowski},
  year = {1997},
  researchr = {https://researchr.org/publication/Mossakowski97},
  cites = {0},
  citedby = {0},
  pages = {316-332},
  booktitle = {WADT},
}

@inproceedings{Mossakowski05,
  title = {Heterogeneous Theories and the Heterogeneous Tool Set},
  author = {Till Mossakowski},
  year = {2005},
  url = {http://drops.dagstuhl.de/opus/volltexte/2005/43},
  researchr = {https://researchr.org/publication/Mossakowski05},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@article{KreowskiM95,
  title = {Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras},
  author = {Hans-Jörg Kreowski and Till Mossakowski},
  year = {1995},
  tags = {rule-based,  algebra, logic},
  researchr = {https://researchr.org/publication/KreowskiM95},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {5},
  number = {2},
  pages = {189-215},
}
@proceedings{calco:2007,
  title = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  year = {2007},
  tags = {e-science,  algebra},
  researchr = {https://researchr.org/publication/calco%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  conference = {calco},
  editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
  volume = {4624},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73857-2},
}