×
Compute Distance To:
Author ID: tarlecki.andrzej Recent zbMATH articles by "Tarlecki, Andrzej"
Published as: Tarlecki, Andrzej; Tarlecki, A.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 520 times in 252 Documents Cited by Year
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
65
1988
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
50
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
39
2002
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
31
1988
On the existence of free models in abstract algebraic institutions. Zbl 0608.68014
Tarlecki, Andrzej
28
1985
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
26
1987
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
22
1986
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
19
1992
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
15
1994
Towards heterogeneous specifications. Zbl 0988.03056
Tarlecki, Andrzej
14
2000
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
2009
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
12
1986
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
9
2005
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
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
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
5
1985
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
5
1988
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
4
1985
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
4
2011
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
4
1988
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
4
1989
Naive denotational semantics. Zbl 0514.68021
Blikle, Andrzej; Tarlecki, Andrzej
4
1983
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
2
1994
Institutions: An abstract framework for formal specifications. Zbl 0945.68130
Tarlecki, Andrzej
2
1999
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
2
1984
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
2
1987
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
2
1986
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
1
2005
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
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
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
1
1985
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
50
2012
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
4
2011
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
2009
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
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
4
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
9
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
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
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
39
2002
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
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
14
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
2
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
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
15
1994
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
2
1994
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
19
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
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
4
1989
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
65
1988
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
31
1988
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
5
1988
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
4
1988
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
26
1987
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
2
1987
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
22
1986
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
12
1986
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
2
1986
On the existence of free models in abstract algebraic institutions. Zbl 0608.68014
Tarlecki, Andrzej
28
1985
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
5
1985
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
4
1985
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
1
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
2
1984
Naive denotational semantics. Zbl 0514.68021
Blikle, Andrzej; Tarlecki, Andrzej
4
1983
all top 5

Cited by 263 Authors

28 Diaconescu, Răzvan
21 Tarlecki, Andrzej
18 Mossakowski, Till
16 Sannella, Donald T.
15 Hennicker, Rolf
11 Madeira, Alexandre
11 Rabe, Florian
8 Bidoit, Michel
7 Bergstra, Jan A.
7 Gaĭnă, Daniel
7 Martins, Manuel António
7 Middelburg, Cornelis A.
7 Roggenbach, Markus
6 Barbosa, Luís Soares
6 Knapp, Alexander
5 Horozal, Fulya
5 Meseguer Guaita, José
5 Orejas, Fernando
5 Schröder, Lutz
4 Aiguier, Marc
4 Astesiano, Egidio
4 Futatsugi, Kokichi
4 Maibaum, Thomas Stephen Edward
4 Mosses, Peter D.
4 Navarro, Marisa
4 Ogata, Kazuhiro
4 Oriat, C.
4 Struth, Georg
4 Ţuţu, Ionuţ
4 Wirsing, Martin
3 Autexier, Serge
3 Cerioli, Maura
3 Codescu, Mihai
3 Dershowitz, Nachum
3 Goguen, Joseph Amadee
3 Kirchner, Hélène
3 Kohlhase, Michael
3 Konikowska, Beata
3 Krieg-Brückner, Bernd
3 Kutz, Oliver
3 Petria, Marius
3 Popescu, Andrei
3 Roşu, Grigore
2 Adámek, Jiří
2 Bauer, Sebastian S.
2 Bernot, Gilles
2 Borzyszkowski, Tomasz
2 Boy de la Tour, Thierry
2 Ehrig, Hartmut
2 Fiadeiro, José Luiz
2 Große-Rhode, Martin
2 Harper, Robert
2 Haveraaen, Magne
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 Nikitchenko, Mykola S.
2 Pino, Elvira
2 Reggio, Gianna
2 Sojakova, Kristina
2 Worytkiewicz, Krzysztof
1 Abrusci, Vito Michele
1 Aguirre, Nazareno M.
1 Ah-kee, Alain
1 Anders, Gerrit
1 Andon, F. I.
1 Areces, Carlos
1 Arusoaie, Andrei
1 Aspinall, David
1 Atif, Jamal
1 Avron, Arnon
1 Babenyshev, Sergey
1 Barbier, Franck
1 Baumeister, Hubert
1 Beketov, A. G.
1 Belzner, Lenz
1 Bettaz, Mohamed
1 Beyersdorff, Olaf
1 Bjørner, Dines
1 Blikle, Andrzej Jacek
1 Bloch, Isabelle
1 Boehm, Paul
1 Bonacina, Maria Paola
1 Boronat, Artur
1 Bouhoula, Adel
1 Burstall, Rod M.
1 Busch, Marianne
1 Castro, Pablo F.
1 Cengarle, María Victoria
1 Chentsov, Alexey A.
1 Choppy, Christine
1 Climent Vidal, Juan
1 Compagnoni, Adriana B.
1 Confalonieri, Roberto
1 Corradini, Andrea
...and 163 more Authors
all top 5

Cited in 45 Serials

64 Theoretical Computer Science
12 Information Processing Letters
12 MSCS. Mathematical Structures in Computer Science
10 Acta Informatica
10 Formal Aspects of Computing
10 Journal of Logical and Algebraic Methods in Programming
9 The Journal of Logic and Algebraic Programming
8 Logica Universalis
7 Studia Logica
6 Information and Computation
3 Diagrammes
3 Journal of Applied Logic
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Journal of Computer and System Sciences
2 Journal of Symbolic Computation
2 Applied Categorical Structures
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 RAIRO. Theoretical Informatics and Applications
2 ACM Transactions on Computational Logic
2 The Review of Symbolic Logic
1 Artificial Intelligence
1 Mathematical Biosciences
1 Fuzzy Sets and Systems
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Annals of Pure and Applied Logic
1 Order
1 Journal of Automated Reasoning
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
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 Logical Methods in Computer Science
1 Tbilisi Mathematical Journal

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.