Edit Profile (opens in new tab) Tarlecki, Andrzej Co-Author Distance Author ID: tarlecki.andrzej Published as: Tarlecki, Andrzej; Tarlecki, A. External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 68 Publications since 1983, including 2 Books 9 Contributions as Editor Co-Authors: 47 Co-Authors with 66 Joint Publications 1,111 Co-Co-Authors all top 5 Co-Authors 11 single-authored 33 Sannella, Donald T. 16 Mossakowski, Till 5 Bidoit, Michel 5 Wirsing, Martin 4 Diaconescu, Răzvan 4 Schröder, Lutz 3 Blikle, Andrzej Jacek 3 Goguen, Joseph Amadee 3 Harper, Robert 3 Hoffman, Piotr 3 Klin, Bartek 3 Pawłowski, Wiesław 2 Arge, Lars 2 Astesiano, Egidio 2 Cachin, Christian 2 Kahrs, Stefan Michael 2 Möller, Bernhard 1 Adámek, Jiří 1 Burstall, Rod M. 1 Cengarle, María Victoria 1 Dershowitz, Nachum 1 Haxthausen, Anne Elisabeth 1 Hayes, Ian J. 1 Honsell, Furio 1 Ibañez, Yazmin Angelica 1 Jung, Achim 1 Jurdziński, Tomasz 1 Kirchner, Hélène 1 Knapp, Alexander 1 Konikowska, Beata 1 Krieg-Brückner, Bernd 1 Kurz, Alexander 1 Lenisa, Marina 1 Longley, John R. 1 Madey, Jan 1 Marcinkowski, Jerzy 1 Marcus, Leo 1 Mirkowska, Grazyna 1 Mosses, Peter D. 1 Nelson, Evelyn M. 1 Reggio, Gianna 1 Salwicki, Andrzej 1 Sannelly, Donald 1 Sokołowski, Stefan 1 Srebrny, Marian 1 Thorup, Mikkel 1 Turski, Władysław Marek all top 5 Serials 7 Theoretical Computer Science 7 Lecture Notes in Computer Science 3 Formal Aspects of Computing 2 Acta Informatica 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Annales Societatis Mathematicae Polonae. Series IV 2 Science of Computer Programming 2 MSCS. Mathematical Structures in Computer Science 2 Logica Universalis 1 Information Processing Letters 1 Commentationes Mathematicae Universitatis Carolinae 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Computing and Informatics 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Fields 68 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 9 General and overarching topics; collections (00-XX) 7 Category theory; homological algebra (18-XX) 6 General algebraic systems (08-XX) 2 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 65 Publications have been cited 636 times in 307 Documents Cited by ▼ Year ▼ Specifications in an arbitrary institution. Zbl 0654.68017 Sannella, Donald; Tarlecki, Andrzej 75 1988 Foundations of algebraic specification and formal software development. Zbl 1237.68129 Sannella, Donald; Tarlecki, Andrzej 62 2012 CASL: the Common Algebraic Specification Language. Zbl 1061.68103 Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej 42 2002 Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004 Sannella, Donald; Tarlecki, Andrzej 35 1988 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004 Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 31 1991 On the existence of free models in abstract algebraic institutions. Zbl 0608.68014 Tarlecki, Andrzej 30 1985 On observational equivalence and algebraic specification. Zbl 0619.68028 Sannella, Donald; Tarlecki, Andrzej 30 1987 Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033 Tarlecki, Andrzej 26 1986 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077 Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 24 1992 Bits and pieces of the theory of institutions. Zbl 0636.68029 Tarlecki, Andrzej 17 1986 Structured theory presentations and logic representations. Zbl 0809.03019 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 17 1994 Towards heterogeneous specifications. Zbl 0988.03056 Tarlecki, Andrzej 15 2000 What is a logic translation? Zbl 1255.03023 Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 Essential concepts of algebraic specification and program development. Zbl 0887.68070 Sannella, Donald; Tarlecki, Andrzej 13 1997 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029 Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej 9 1988 Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027 Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 9 1988 A heterogeneous approach to UML semantics. Zbl 1143.68373 Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin 9 2008 Architectural specifications in CASL. Zbl 1001.68078 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 9 2002 The definition of Extended ML: A gentle introduction. Zbl 0901.68024 Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 8 1997 Building specifications in an arbitrary institution. Zbl 0552.68015 Sannella, Donald; Tarlecki, Andrzej 7 1984 A three-valued logic for software specification and validation. Zbl 0771.68087 Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej 7 1991 Algebraic preliminaries. Zbl 0945.68129 Sannella, Donald; Tarlecki, Andrzej 6 1999 A language of specified programs. Zbl 0559.68023 Tarlecki, Andrzej 6 1985 Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013 Sannella, Donald; Tarlecki, Andrzej 6 1987 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365 Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 6 2003 Structure and representation in LF. Zbl 0716.68078 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 6 1989 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088 Tarlecki, Andrzej 6 2011 Observational interpretation CASL specifications. Zbl 1141.68026 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 5 2008 On observational equivalence and algebraic specification. Zbl 0563.68017 Sannella, Donald; Tarlecki, Andrzej 5 1985 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231 Mossakowski, Till; Tarlecki, Andrzej 5 2009 Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015 Sannelly, Donald; Tarlecki, Andrzej 5 1986 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 Comparison of subset systems. Zbl 0657.06009 Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A. 4 1988 Naive denotational semantics. Zbl 0514.68021 Blikle, Andrzej; Tarlecki, Andrzej 4 1983 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 A simple refinement language for Casl. Zbl 1118.68560 Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 Continuous abstract data types. Zbl 0624.68024 Tarlecki, Andrzej; Wirsing, Martin 4 1986 Institutions: An abstract framework for formal specifications. Zbl 0945.68130 Tarlecki, Andrzej 3 1999 Semantics of architectural specifications in CASL. Zbl 0977.68744 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 3 2001 Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Zbl 1175.68014 3 2009 Continuous abstract data types: basic machinery and results. Zbl 0571.68014 Tarlecki, Andrzej; Wirsing, Martin 3 1985 The semantics of extended ML: A gentle introduction. Zbl 0813.68132 Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 3 1994 Logic representation in LF. Report on work in progress. Zbl 1496.03055 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 3 1989 Algebraic specification with built-in domain constructions. Zbl 0645.68027 Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 2 1988 Constructive data refinement in typed lambda calculus. Zbl 0965.68012 Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej 2 2000 Amalgamation in CASL via enriched signatures. Zbl 0986.68015 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej 2 2001 Global development via local observational construction steps. Zbl 1014.68099 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 2 2002 Toward formal development of programs from algebraic specifications: model-theoretic foundations. Zbl 1425.68082 Sannella, Donald; Tarlecki, Andrzej 2 1992 Behavioural satisfaction and equivalence in concrete model categories. Zbl 1508.68207 Bidoit, Michel; Tarlecki, Andrzej 2 1996 A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193 Mossakowski, Till; Tarlecki, Andrzej 2 2014 Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers. Zbl 0653.00015 1 1988 Horizontal composability revisited. Zbl 1132.68340 Sannella, Donald; Tarlecki, Andrzej 1 2006 Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Zbl 1119.68002 1 2007 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-June 3, 1994. Selected papers. Zbl 1154.68304 1 1995 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005 1 2005 Some thoughts on algebraic specification. Zbl 0584.68036 Sannella, Donald; Tarlecki, Andrzej 1 1985 Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Zbl 1060.68004 1 2004 Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102 Sannella, Donald; Tarlecki, Andrzej 1 1990 Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030 1 1991 The institution-theoretic scope of logic theorems. Zbl 1338.03073 Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej 1 2014 Property-oriented semantics of structured specifications. Zbl 1342.68218 Sannella, Donald; 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 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 Property-oriented semantics of structured specifications. Zbl 1342.68218 Sannella, Donald; Tarlecki, Andrzej 1 2014 Foundations of algebraic specification and formal software development. Zbl 1237.68129 Sannella, Donald; Tarlecki, Andrzej 62 2012 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088 Tarlecki, Andrzej 6 2011 What is a logic translation? Zbl 1255.03023 Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej 15 2009 Heterogeneous logical environments for distributed specifications. Zbl 1253.68231 Mossakowski, Till; Tarlecki, Andrzej 5 2009 Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Zbl 1175.68014 3 2009 A heterogeneous approach to UML semantics. Zbl 1143.68373 Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin 9 2008 Observational interpretation CASL specifications. Zbl 1141.68026 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 5 2008 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 Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Zbl 1119.68002 1 2007 Horizontal composability revisited. Zbl 1132.68340 Sannella, Donald; Tarlecki, Andrzej 1 2006 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 Amalgamation in the semantics of CASL. Zbl 1070.68094 Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr 5 2005 A simple refinement language for Casl. Zbl 1118.68560 Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej 4 2005 FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005 1 2005 Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Zbl 1060.68004 1 2004 CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365 Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej 6 2003 CASL: the Common Algebraic Specification Language. Zbl 1061.68103 Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej 42 2002 Architectural specifications in CASL. Zbl 1001.68078 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 9 2002 Global development via local observational construction steps. Zbl 1014.68099 Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej 2 2002 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 Towards heterogeneous specifications. Zbl 0988.03056 Tarlecki, Andrzej 15 2000 Constructive data refinement in typed lambda calculus. Zbl 0965.68012 Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej 2 2000 Algebraic preliminaries. Zbl 0945.68129 Sannella, Donald; Tarlecki, Andrzej 6 1999 Institutions: An abstract framework for formal specifications. Zbl 0945.68130 Tarlecki, Andrzej 3 1999 Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 4 1998 Essential concepts of algebraic specification and program development. Zbl 0887.68070 Sannella, Donald; Tarlecki, Andrzej 13 1997 The definition of Extended ML: A gentle introduction. Zbl 0901.68024 Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 8 1997 Combining and representing logical systems. Zbl 0881.03044 Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław 5 1997 Behavioural satisfaction and equivalence in concrete model categories. Zbl 1508.68207 Bidoit, Michel; Tarlecki, Andrzej 2 1996 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-June 3, 1994. Selected papers. Zbl 1154.68304 1 1995 Structured theory presentations and logic representations. Zbl 0809.03019 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 17 1994 The semantics of extended ML: A gentle introduction. Zbl 0813.68132 Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej 3 1994 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077 Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 24 1992 Toward formal development of programs from algebraic specifications: model-theoretic foundations. Zbl 1425.68082 Sannella, Donald; Tarlecki, Andrzej 2 1992 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004 Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 31 1991 A three-valued logic for software specification and validation. Zbl 0771.68087 Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej 7 1991 Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030 1 1991 Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102 Sannella, Donald; Tarlecki, Andrzej 1 1990 Structure and representation in LF. Zbl 0716.68078 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 6 1989 Logic representation in LF. Report on work in progress. Zbl 1496.03055 Harper, Robert; Sannella, Donald; Tarlecki, Andrzej 3 1989 Specifications in an arbitrary institution. Zbl 0654.68017 Sannella, Donald; Tarlecki, Andrzej 75 1988 Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004 Sannella, Donald; Tarlecki, Andrzej 35 1988 Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029 Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej 9 1988 Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027 Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 9 1988 Comparison of subset systems. Zbl 0657.06009 Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A. 4 1988 Algebraic specification with built-in domain constructions. Zbl 0645.68027 Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin 2 1988 Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers. Zbl 0653.00015 1 1988 On observational equivalence and algebraic specification. Zbl 0619.68028 Sannella, Donald; Tarlecki, Andrzej 30 1987 Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013 Sannella, Donald; Tarlecki, Andrzej 6 1987 Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033 Tarlecki, Andrzej 26 1986 Bits and pieces of the theory of institutions. Zbl 0636.68029 Tarlecki, Andrzej 17 1986 Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015 Sannelly, Donald; Tarlecki, Andrzej 5 1986 Continuous abstract data types. Zbl 0624.68024 Tarlecki, Andrzej; Wirsing, Martin 4 1986 On the existence of free models in abstract algebraic institutions. Zbl 0608.68014 Tarlecki, Andrzej 30 1985 A language of specified programs. Zbl 0559.68023 Tarlecki, Andrzej 6 1985 On observational equivalence and algebraic specification. Zbl 0563.68017 Sannella, Donald; Tarlecki, Andrzej 5 1985 Continuous abstract data types: basic machinery and results. Zbl 0571.68014 Tarlecki, Andrzej; Wirsing, Martin 3 1985 Some thoughts on algebraic specification. Zbl 0584.68036 Sannella, Donald; Tarlecki, Andrzej 1 1985 Building specifications in an arbitrary institution. Zbl 0552.68015 Sannella, Donald; Tarlecki, Andrzej 7 1984 Naive denotational semantics. Zbl 0514.68021 Blikle, Andrzej; Tarlecki, Andrzej 4 1983 all cited Publications top 5 cited Publications all top 5 Cited by 316 Authors 31 Diaconescu, Răzvan 23 Tarlecki, Andrzej 21 Hennicker, Rolf 21 Mossakowski, Till 18 Sannella, Donald T. 11 Bidoit, Michel 11 Madeira, Alexandre 11 Rabe, Florian 8 Gaĭnă, Daniel 8 Knapp, Alexander 7 Bergstra, Jan A. 7 Martins, Manuel António 7 Middelburg, Cornelis A. 7 Roggenbach, Markus 7 Wirsing, Martin 6 Barbosa, Luís Soares 6 Mosses, Peter D. 6 Orejas, Fernando 5 Dershowitz, Nachum 5 Horozal, Fulya 5 Meseguer Guaita, José 5 Oriat, Catherine 5 Schröder, Lutz 4 Aiguier, Marc 4 Astesiano, Egidio 4 Codescu, Mihai 4 Ehrig, Hartmut 4 Futatsugi, Kokichi 4 Kirchner, Hélène 4 Kutz, Oliver 4 Maibaum, Thomas Stephen Edward 4 Navarro, Marisa 4 Ogata, Kazuhiro 4 Struth, Georg 4 Ţuţu, Ionuţ 3 Autexier, Serge 3 Cengarle, María Victoria 3 Cerioli, Maura 3 Goguen, Joseph Amadee 3 Harper, Robert 3 Kohlhase, Michael 3 Konikowska, Beata 3 Krieg-Brückner, Bernd 3 Petria, Marius 3 Popescu, Andrei 3 Roşu, Grigore 2 Adámek, Jiří 2 Bauer, Sebastian S. 2 Baumeister, Hubert 2 Bernot, Gilles 2 Bian, Jinting 2 Bonacina, Maria Paola 2 Borzyszkowski, Tomasz 2 Boy de la Tour, Thierry 2 Capretta, Venanzio 2 de Boer, Frank S. 2 De Gouw, Stijn 2 Fiadeiro, José Luiz 2 Gaudel, Marie-Claude 2 Große-Rhode, Martin 2 Haveraaen, Magne 2 Haxthausen, Anne Elisabeth 2 Hiep, Hans-Dieter A. 2 Hoare, C. A. R. Tony 2 Hofmann, Martin 2 Hutter, Dieter 2 Jeřábek, Emil 2 Kahrs, Stefan Michael 2 Knapik, Teodor 2 Kurz, Alexander 2 Lambers, Leen 2 Lucanu, Dorel 2 Martins Moreira, Anamaria 2 Meinke, Karl 2 Möller, Bernhard 2 Nikitchenko, Mykola S. 2 Pino, Elvira 2 Reggio, Gianna 2 Schroeder, Andreas 2 Sojakova, Kristina 2 Worytkiewicz, Krzysztof 1 Aameri, Bahar 1 Abrusci, Vito Michele 1 Aguirre, Nazareno M. 1 Ah-kee, Alain 1 Anders, Gerrit 1 Andon, F. I. 1 Andon, P. I. 1 Areces, Carlos 1 Arusoaie, Andrei 1 Aspinall, David 1 Atif, Jamal 1 Aucher, Guillaume 1 Avron, Arnon 1 Babenyshev, Sergey 1 Badia, Guillermo 1 Barbier, Franck 1 Beketov, A. G. 1 Belzner, Lenz 1 Bettaz, Mohamed ...and 216 more Authors all top 5 Cited in 47 Serials 68 Theoretical Computer Science 12 Information Processing Letters 12 MSCS. Mathematical Structures in Computer Science 11 Journal of Logical and Algebraic Methods in Programming 10 Acta Informatica 10 Formal Aspects of Computing 9 The Journal of Logic and Algebraic Programming 9 Logica Universalis 7 Studia Logica 6 Information and Computation 3 Applied Categorical Structures 3 Diagrammes 3 ACM Transactions on Computational Logic 3 Journal of Applied Logic 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 Cybernetics and Systems Analysis 2 Formal Methods in System Design 2 Annals of Mathematics and Artificial Intelligence 2 Theory of Computing Systems 2 RAIRO. Theoretical Informatics and Applications 2 Logical Methods in Computer Science 2 The Review of Symbolic Logic 1 Artificial Intelligence 1 Mathematical Biosciences 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Order 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Computer Science Journal of Moldova 1 Constraints 1 Soft Computing 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Electronic Notes in Theoretical Computer Science 1 Mathematics in Computer Science 1 Tbilisi Mathematical Journal all top 5 Cited in 13 Fields 264 Computer science (68-XX) 109 Mathematical logic and foundations (03-XX) 28 Category theory; homological algebra (18-XX) 12 General algebraic systems (08-XX) 5 History and biography (01-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Group theory and generalizations (20-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.