Edit Profile (opens in new tab) Mossakowski, Till Co-Author Distance Author ID: mossakowski.till Published as: Mossakowski, Till; Mossakowski, T. External Links: MGP Documents Indexed: 89 Publications since 1991 2 Contributions as Editor Co-Authors: 62 Co-Authors with 81 Joint Publications 1,155 Co-Co-Authors all top 5 Co-Authors 10 single-authored 23 Schröder, Lutz 16 Tarlecki, Andrzej 8 Codescu, Mihai 8 Roggenbach, Markus 5 Diaconescu, Răzvan 5 Rabe, Florian 4 Autexier, Serge 4 Horozal, Fulya 4 Klin, Bartek 4 Knapp, Alexander 4 Krieg-Brückner, Bernd 4 Kutz, Oliver 4 Sannella, Donald T. 3 Goncharov, Sergeĭ Savost’yanovich 3 Hausmann, Daniel 3 Haxthausen, Anne Elisabeth 3 Hoffman, Piotr 3 Hoffmann, Kathrin 3 Hutter, Dieter 3 Kohlhase, Michael 3 Lange, Christoph 3 Lücke, Dominik 3 Moratz, Reinhard 3 Pawłowski, Wiesław 3 Reichel, Horst 2 Cerioli, Maura 2 Glauer, Martin 2 Goguen, Joseph Amadee 2 Kreowski, Hans-Jörg 2 Lüttich, Klaus 1 Buntrock, Gerhard 1 Calegari, Daniel 1 Caleiro, Carlos 1 Caminati, Marco Bright 1 Drewes, Frank 1 Ehrig, Hartmut 1 Gruninger, Michael 1 Haveraaen, Magne 1 Herrlich, Horst 1 Ibañez, Yazmin Angelica 1 Jakubauskas, Aivaras 1 James, Phillip 1 Kerber, Manfred 1 Krumnack, Ulf 1 Lautemann, Clemens 1 Lüth, Christoph 1 Maeder, Christian 1 Maibaum, Thomas Stephen Edward 1 Montanari, Ugo G. 1 Neuhaus, Fabian 1 O’Reilly, Liam 1 Parisi-Presicce, Francesco 1 Riesco, Adrián 1 Rowat, Colin 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Sojakova, Kristina 1 Strecker, George E. 1 Szasz, Nora 1 Walter, Dennis 1 Wenzel, Makarius 1 Windsteiger, Wolfgang all top 5 Serials 5 Theoretical Computer Science 3 Logica Universalis 2 Artificial Intelligence 2 The Journal of Logic and Algebraic Programming 2 Lecture Notes in Computer Science 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 RAIRO. Informatique Théorique et Applications 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computing and Informatics 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 84 Computer science (68-XX) 32 Mathematical logic and foundations (03-XX) 13 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 71 Publications have been cited 329 times in 178 Documents Cited by ▼ Year ▼ Relating CASL with other specification languages: the institution level. Zbl 1061.68106 Mossakowski, Till 19 2002 Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 What is a logic translation? Zbl 1255.03023 Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 Comorphism-based Grothendieck logics. Zbl 1014.68098 Mossakowski, Till 12 2002 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 Development graphs – proof management for structured specifications. Zbl 1088.68114 Mossakowski, Till; Autexier, Serge; Hutter, Dieter 11 2006 High-level nets with nets and rules as tokens. Zbl 1128.68063 Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 9 2005 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284 Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver 8 2015 Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153 Kutz, Oliver; Mossakowski, Till; Lücke, Dominik 8 2010 Structured CSP – a process algebra as an institution. Zbl 1196.68159 Mossakowski, Till; Roggenbach, Markus 7 2007 Foundations of heterogeneous specification. Zbl 1278.68208 Mossakowski, Till 7 2003 Monad-independent dynamic logic in HasCasl. Zbl 1064.03022 Schröder, Lutz; Mossakowski, Till 7 2004 HasCasl: integrated higher-order specification and program development. Zbl 1172.68040 Schröder, Lutz; Mossakowski, Till 7 2009 Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229 Mossakowski, Till; Moratz, Reinhard 6 2012 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365 Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 6 2003 Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379 Mossakowski, Till; Kutz, Oliver; Lange, Christoph 6 2013 HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054 Schröder, Lutz; Mossakowski, Till 5 2002 From total equational to partial first-order logic. Zbl 0949.03028 Cerioli, Maura; Mossakowski, Till; Reichel, Horst 5 1999 Colimits of order-sorted specifications. Zbl 0902.18002 Mossakowski, Till 5 1998 Specifications in an arbitrary instituion with symbols. Zbl 0966.68136 Mossakowski, Till 5 2000 CASL: From semantics to tools. Zbl 0971.68589 Mossakowski, Till 5 2000 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231 Mossakowski, Till; Tarlecki, Andrzej 5 2009 Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678 Autexier, Serge; Mossakowski, Till 5 2002 Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115 Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst 5 2006 Amalgamation in the semantics of CASL. Zbl 1070.68094 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 5 2005 Combining and representing logical systems. Zbl 0881.03044 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 5 1997 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577 Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 5 2013 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370 Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz 4 2005 Permissive subsorted partial logic in CASL. Zbl 0886.03022 Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till 4 1997 Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209 Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz 4 2003 Extending development graphs with hiding. Zbl 0977.68657 Mossakowski, Till; Autexier, Serge; Hutter, Dieter 4 2001 Different types of arrow between logical frameworks. Zbl 1046.68509 Mossakowski, Till 4 1996 A simple refinement language for Casl. Zbl 1118.68560 Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 Type class polymorphism in an institutional framework. Zbl 1118.68562 Schröder, Lutz; Mossakowski, Till; Lüth, Christoph 4 2005 Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024 Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 4 2009 Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146 O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus 4 2012 What Is a derived signature morphism? Zbl 1472.68097 Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom 4 2015 Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239 James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus 4 2013 Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080 Kreowski, Hans-Jörg; Mossakowski, Till 3 1995 Generic exception handling and the Java monad. Zbl 1108.68411 Schröder, Lutz; Mossakowski, Till 3 2004 Multi-view consistency in UML: a survey. Zbl 1383.68024 Knapp, Alexander; Mossakowski, Till 3 2018 Specifying real numbers in CASL. Zbl 0966.68137 Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till 3 2000 Semantics of architectural specifications in CASL. Zbl 0977.68744 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 3 2001 Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609 Mossakowski, Till 3 2002 A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088 Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz 3 2006 Completeness of global evaluation logic. Zbl 1132.68328 Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 2 2006 Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488 Mossakowski, Till 2 2006 Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147 Lüttich, Klaus; Mossakowski, Till 2 2007 A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084 Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey 2 2010 Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138 Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd 2 2000 Amalgamation in CASL via enriched signatures. Zbl 0986.68015 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej 2 2001 A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278 Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till 2 2011 Relations between spatial calculi about directions and orientations. Zbl 1343.68227 Mossakowski, Till; Moratz, Reinhard 2 2015 Monad-independent Hoare logic in HasCasl. Zbl 1032.03029 Schröder, Lutz; Mossakowski, Till 2 2003 Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107 Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus 2 2015 UML interactions meet state machines – an institutional approach. Zbl 1433.68097 Knapp, Alexander; Mossakowski, Till 2 2017 A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193 Mossakowski, Till; Tarlecki, Andrzej 2 2014 Integrating Maude into Hets. Zbl 1308.68075 Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian 1 2011 Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215 Hoffmann, Kathrin; Mossakowski, Till 1 2003 Monad-independent dynamic logic in HasCasl. Zbl 1278.68061 Schröder, Lutz; Mossakowski, Till 1 2003 Parametrized exceptions. Zbl 1151.68379 Walter, Dennis; Schröder, Lutz; Mossakowski, Till 1 2005 Algebra \(\cup\) Topology. Zbl 0748.18002 Herrlich, Horst; Mossakowski, T.; Strecker, George E. 1 1991 Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007 1 2007 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 The institution-theoretic scope of logic theorems. Zbl 1338.03073 Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej 1 2014 Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506 Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till 1 2001 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Multi-view consistency in UML: a survey. Zbl 1383.68024 Knapp, Alexander; Mossakowski, Till 3 2018 UML interactions meet state machines – an institutional approach. Zbl 1433.68097 Knapp, Alexander; Mossakowski, Till 2 2017 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284 Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver 8 2015 What Is a derived signature morphism? Zbl 1472.68097 Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom 4 2015 Relations between spatial calculi about directions and orientations. Zbl 1343.68227 Mossakowski, Till; Moratz, Reinhard 2 2015 Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107 Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus 2 2015 A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193 Mossakowski, Till; Tarlecki, Andrzej 2 2014 The institution-theoretic scope of logic theorems. Zbl 1338.03073 Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej 1 2014 Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379 Mossakowski, Till; Kutz, Oliver; Lange, Christoph 6 2013 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577 Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 5 2013 Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239 James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus 4 2013 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229 Mossakowski, Till; Moratz, Reinhard 6 2012 Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146 O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus 4 2012 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278 Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till 2 2011 Integrating Maude into Hets. Zbl 1308.68075 Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian 1 2011 Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153 Kutz, Oliver; Mossakowski, Till; Lücke, Dominik 8 2010 A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084 Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey 2 2010 What is a logic translation? Zbl 1255.03023 Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 HasCasl: integrated higher-order specification and program development. Zbl 1172.68040 Schröder, Lutz; Mossakowski, Till 7 2009 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231 Mossakowski, Till; Tarlecki, Andrzej 5 2009 Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024 Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 4 2009 Structured CSP – a process algebra as an institution. Zbl 1196.68159 Mossakowski, Till; Roggenbach, Markus 7 2007 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147 Lüttich, Klaus; Mossakowski, Till 2 2007 Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007 1 2007 Development graphs – proof management for structured specifications. Zbl 1088.68114 Mossakowski, Till; Autexier, Serge; Hutter, Dieter 11 2006 Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115 Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst 5 2006 A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088 Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz 3 2006 Completeness of global evaluation logic. Zbl 1132.68328 Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till 2 2006 Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488 Mossakowski, Till 2 2006 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 High-level nets with nets and rules as tokens. Zbl 1128.68063 Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till 9 2005 Amalgamation in the semantics of CASL. Zbl 1070.68094 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 5 2005 Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370 Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz 4 2005 A simple refinement language for Casl. Zbl 1118.68560 Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 Type class polymorphism in an institutional framework. Zbl 1118.68562 Schröder, Lutz; Mossakowski, Till; Lüth, Christoph 4 2005 Parametrized exceptions. Zbl 1151.68379 Walter, Dennis; Schröder, Lutz; Mossakowski, Till 1 2005 Monad-independent dynamic logic in HasCasl. Zbl 1064.03022 Schröder, Lutz; Mossakowski, Till 7 2004 Generic exception handling and the Java monad. Zbl 1108.68411 Schröder, Lutz; Mossakowski, Till 3 2004 Foundations of heterogeneous specification. Zbl 1278.68208 Mossakowski, Till 7 2003 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365 Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 6 2003 Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209 Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz 4 2003 Monad-independent Hoare logic in HasCasl. Zbl 1032.03029 Schröder, Lutz; Mossakowski, Till 2 2003 Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215 Hoffmann, Kathrin; Mossakowski, Till 1 2003 Monad-independent dynamic logic in HasCasl. Zbl 1278.68061 Schröder, Lutz; Mossakowski, Till 1 2003 Relating CASL with other specification languages: the institution level. Zbl 1061.68106 Mossakowski, Till 19 2002 Comorphism-based Grothendieck logics. Zbl 1014.68098 Mossakowski, Till 12 2002 HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054 Schröder, Lutz; Mossakowski, Till 5 2002 Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678 Autexier, Serge; Mossakowski, Till 5 2002 Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609 Mossakowski, Till 3 2002 Extending development graphs with hiding. Zbl 0977.68657 Mossakowski, Till; Autexier, Serge; Hutter, Dieter 4 2001 Semantics of architectural specifications in CASL. Zbl 0977.68744 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 3 2001 Amalgamation in CASL via enriched signatures. Zbl 0986.68015 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej 2 2001 Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506 Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till 1 2001 Specifications in an arbitrary instituion with symbols. Zbl 0966.68136 Mossakowski, Till 5 2000 CASL: From semantics to tools. Zbl 0971.68589 Mossakowski, Till 5 2000 Specifying real numbers in CASL. Zbl 0966.68137 Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till 3 2000 Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138 Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd 2 2000 From total equational to partial first-order logic. Zbl 0949.03028 Cerioli, Maura; Mossakowski, Till; Reichel, Horst 5 1999 Colimits of order-sorted specifications. Zbl 0902.18002 Mossakowski, Till 5 1998 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 Combining and representing logical systems. Zbl 0881.03044 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 5 1997 Permissive subsorted partial logic in CASL. Zbl 0886.03022 Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till 4 1997 Different types of arrow between logical frameworks. Zbl 1046.68509 Mossakowski, Till 4 1996 Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080 Kreowski, Hans-Jörg; Mossakowski, Till 3 1995 Algebra \(\cup\) Topology. Zbl 0748.18002 Herrlich, Horst; Mossakowski, T.; Strecker, George E. 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 211 Authors 25 Mossakowski, Till 18 Diaconescu, Răzvan 17 Rabe, Florian 13 Kohlhase, Michael 13 Schröder, Lutz 9 Roggenbach, Markus 9 Tarlecki, Andrzej 8 Codescu, Mihai 7 Madeira, Alexandre 7 Martins, Manuel António 6 Barbosa, Luís Soares 6 Kutz, Oliver 6 Roşu, Grigore 6 Sannella, Donald T. 5 Autexier, Serge 5 Hennicker, Rolf 5 Horozal, Fulya 4 Goncharov, Sergeĭ Savost’yanovich 4 Hutter, Dieter 4 Knapp, Alexander 3 Aiguier, Marc 3 Bidoit, Michel 3 Capra, Lorenzo 3 Confalonieri, Roberto 3 Gaĭnă, Daniel 3 Iancu, Mihnea 3 Köhler-Bußmeier, Michael 3 König, Harald 3 Krieg-Brückner, Bernd 3 Lucanu, Dorel 3 Meseguer Guaita, José 2 Bloch, Isabelle 2 Botoeva, Elena 2 Eppe, Manfred 2 Kerber, Manfred 2 Lamo, Yngve 2 Lange, Christoph 2 Lomazova, Irina A. 2 Lutz, Carsten 2 Maclean, Ewen 2 Maibaum, Thomas Stephen Edward 2 Martins Moreira, Anamaria 2 Moratz, Reinhard 2 Müller, Dennis 2 Ojeda-Aciego, Manuel 2 O’Reilly, Liam 2 Peleska, Jan 2 Petria, Marius 2 Plaza, Enric 2 Popescu, Andrei 2 Prange, Ulrike 2 Riesco, Adrián 2 Rowat, Colin 2 Rutle, Adrian 2 Ryzhikov, Vladislav 2 Schorlemmer, Marco 2 Stünkel, Patrick 2 Ţuţu, Ionuţ 2 Wolter, Frank 2 Zakharyaschev, Michael Viktorovich 1 Abou-Saleh, Faris 1 Abramsky, Samson 1 Aguirre, Nazareno M. 1 Ait-Ameur, Yamine 1 Astesiano, Egidio 1 Atif, Jamal 1 Aucher, Guillaume 1 Babenyshev, Sergey 1 Batsakis, Sotiris 1 Baumeister, Hubert 1 Bensalem, Saddek 1 Benzmüller, Christoph Ewald 1 Bergstra, Jan A. 1 Bettaz, Mohamed 1 Beyersdorff, Olaf 1 Bishara, Anriette Michel Fouad 1 Bonchi, Filippo 1 Boronat, Artur 1 Brenton, Christopher 1 Burrieza, Alfredo 1 Cabrera, Inma P. 1 Calegari, Daniel 1 Camilli, Matteo 1 Caminati, Marco Bright 1 Caselles Costa, Vicent 1 Castro, Pablo F. 1 Cheney, James 1 Chentsov, Alekseĭ Aleksandrovich 1 Chiriţă, Claudia Elena 1 Cordero, Pablo 1 Corradini, Andrea 1 Déharbe, David 1 Dietrich, Dominik 1 Diskin, Zinovy 1 Duval, Dominique 1 Dworzański, Leonid W. 1 Dzierzon, Christian 1 Ehrig, Hartmut 1 Faber, Wolfgang 1 Falomir, Zoe ...and 111 more Authors all top 5 Cited in 31 Serials 19 Theoretical Computer Science 8 Formal Aspects of Computing 8 Logica Universalis 7 The Journal of Logic and Algebraic Programming 6 Information Processing Letters 4 Artificial Intelligence 4 Studia Logica 4 Journal of Automated Reasoning 4 MSCS. Mathematical Structures in Computer Science 3 Annals of Mathematics and Artificial Intelligence 3 Journal of Applied Logic 3 Mathematics in Computer Science 2 Fuzzy Sets and Systems 2 Information and Computation 2 Applied Categorical Structures 2 The Review of Symbolic Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Mathematical Biosciences 1 Information Sciences 1 Journal of Mathematical Economics 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Topology and its Applications 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Soft Computing 1 ACM Transactions on Computational Logic 1 New Mathematics and Natural Computation all top 5 Cited in 15 Fields 158 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 16 Category theory; homological algebra (18-XX) 3 General algebraic systems (08-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year