![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Andrzej Tarlecki
Person information
- affiliation: University of Warsaw, Poland
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c54]Andrzej Tarlecki
:
Interpolation Is (Not Always) Easy to Spoil. CALCO 2023: 8:1-8:19
2010 – 2019
- 2018
- [c53]Donald Sannella
, Andrzej Tarlecki
:
On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets 2018: 266-284 - 2017
- [j37]Mihai Codescu
, Till Mossakowski
, Donald Sannella
, Andrzej Tarlecki
:
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144: 1-49 (2017) - 2015
- [j36]Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki:
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. Int. J. Softw. Informatics 9(2): 117-139 (2015) - [c52]Donald Sannella
, Andrzej Tarlecki:
The Foundational Legacy of ASL. Software, Services, and Systems 2015: 253-272 - [c51]Yazmín Angélica Ibáñez-García, Till Mossakowski
, Donald Sannella
, Andrzej Tarlecki
:
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency 2015: 361-379 - 2014
- [j35]Andrzej Tarlecki
:
Władysław Marek Turski (1938-2013). Formal Aspects Comput. 26(5): 863-864 (2014) - [j34]Andrzej Tarlecki:
Władysław Marek Turski (1938-2013). Inf. Process. Lett. 114(8): 397-398 (2014) - [j33]Razvan Diaconescu, Till Mossakowski
, Andrzej Tarlecki
:
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8(3-4): 393-406 (2014) - [j32]Donald Sannella
, Andrzej Tarlecki
:
Property-oriented semantics of structured specifications. Math. Struct. Comput. Sci. 24(2) (2014) - [j31]Andrzej Tarlecki:
Răzvan Diaconescu, Institution-independent Model Theory. Stud Logica 102(1): 225-229 (2014) - [c50]Till Mossakowski
, Wieslaw Pawlowski
, Donald Sannella
, Andrzej Tarlecki
:
Parchments for CafeOBJ Logics. Specification, Algebra, and Software 2014: 66-91 - [c49]Till Mossakowski
, Andrzej Tarlecki
:
A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS 2014: 441-456 - 2012
- [b1]Donald Sannella, Andrzej Tarlecki
:
Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-17335-6, pp. I-XVI, 1-581 - [c48]Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
:
Testing of Evolving Protocols. ICST 2012: 901-906 - 2011
- [j30]Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm:
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011) - [j29]Andrzej Tarlecki:
Some Nuances of Many-sorted Universal Algebra: A Review. Bull. EATCS 104: 89-111 (2011)
2000 – 2009
- 2009
- [j28]Till Mossakowski
, Razvan Diaconescu, Andrzej Tarlecki
:
What is a Logic Translation? Logica Universalis 3(1): 95-124 (2009) - [j27]Lars Arge, Christian Cachin, Andrzej Tarlecki
:
Preface. Theor. Comput. Sci. 410(18): 1617 (2009) - [e7]Alexander Kurz, Marina Lenisa, Andrzej Tarlecki:
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science 5728, Springer 2009, ISBN 978-3-642-03740-5 [contents] - 2008
- [j26]Michel Bidoit, Donald Sannella
, Andrzej Tarlecki
:
Observational interpretation of Casl specifications. Math. Struct. Comput. Sci. 18(2): 325-371 (2008) - [c47]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki
, Martin Wirsing:
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402 - [c46]Donald Sannella
, Andrzej Tarlecki
:
Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617 - [c45]Till Mossakowski
, Andrzej Tarlecki
:
Heterogeneous Logical Environments for Distributed Specifications. WADT 2008: 266-289 - 2007
- [c44]Andrzej Tarlecki:
Toward Specifications for Reconfigurable Component Systems. ICATPN 2007: 24-28 - [e6]Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki:
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings. Lecture Notes in Computer Science 4596, Springer 2007, ISBN 978-3-540-73419-2 [contents] - 2006
- [c43]Donald Sannella
, Andrzej Tarlecki:
Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen 2006: 296-316 - 2005
- [j25]Lutz Schröder
, Till Mossakowski
, Andrzej Tarlecki
, Bartek Klin
, Piotr Hoffman:
Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331(1): 215-247 (2005) - [e5]John S. Fitzgerald, Ian J. Hayes
, Andrzej Tarlecki:
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582, Springer 2005, ISBN 3-540-27882-6 [contents] - 2004
- [j24]Andrzej Tarlecki
:
Editorial. Inf. Process. Lett. 90(1): 1-2 (2004) - [c42]Till Mossakowski
, Donald Sannella
, Andrzej Tarlecki:
A Simple Refinement Language for Casl. WADT 2004: 162-185 - [e4]Jerzy Marcinkowski, Andrzej Tarlecki:
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210, Springer 2004, ISBN 3-540-23024-6 [contents] - 2003
- [j23]Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki:
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Artif. Intell. 22(3-4): 285-321 (2003) - [j22]José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
:
Foreword. Inf. Process. Lett. 88(1-2): 1-2 (2003) - 2002
- [j21]Michel Bidoit, Donald Sannella
, Andrzej Tarlecki
:
Architectural Specifications in CASL. Formal Aspects Comput. 13(3-5): 252-273 (2002) - [j20]Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses
, Donald Sannella
, Andrzej Tarlecki
:
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286(2): 153-196 (2002) - [c41]Michel Bidoit, Donald Sannella
, Andrzej Tarlecki:
Global Development via Local Observational Construction Steps. MFCS 2002: 1-24 - [c40]Michel Bidoit, Donald Sannella
, Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90 - [c39]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- [c38]Lutz Schröder
, Till Mossakowski
, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. FASE 2001: 253-268 - [c37]Lutz Schröder
, Till Mossakowski
, Andrzej Tarlecki:
Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004 - [c36]Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder
, Till Mossakowski
:
Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463 - 2000
- [j19]Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki:
First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30(6): 2084-2096 (2000) - [c35]Furio Honsell, John Longley, Donald Sannella
, Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176
1990 – 1999
- 1999
- [j18]Donald Sannella
, Andrzej Tarlecki
:
Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999) - [p3]Donald Sannella, Andrzej Tarlecki:
Algebraic Preliminaries. Algebraic Foundations of Systems Specification 1999: 13-30 - [p2]Andrzej Tarlecki:
Institutions: An Abstract Framework for Formal Specifications. Algebraic Foundations of Systems Specification 1999: 105-130 - 1998
- [c34]Michel Bidoit, Donald Sannella
, Andrzej Tarlecki
:
Architectural Specifications in CASL. AMAST 1998: 341-357 - [c33]Andrzej Tarlecki:
Towards Heterogeneous Specifications. FroCoS 1998: 337-360 - 1997
- [j17]Donald Sannella
, Andrzej Tarlecki
:
Essential Concepts of Algebraic Specification and Program Development. Formal Aspects Comput. 9(3): 229-269 (1997) - [j16]Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski:
Foreword. Sci. Comput. Program. 28(2-3): 91 (1997) - [j15]Stefan Kahrs, Donald Sannella
, Andrzej Tarlecki
:
The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997) - [c32]Till Mossakowski
, Andrzej Tarlecki, Wieslaw Pawlowski
:
Combining and Representing Logical Systems. Category Theory and Computer Science 1997: 177-196 - [c31]Till Mossakowski
, Andrzej Tarlecki
, Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments. WADT 1997: 349-364 - 1996
- [c30]Michel Bidoit, Andrzej Tarlecki:
Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP 1996: 241-256 - [c29]Donald Sannella
, Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS 1996: 114-134 - 1995
- [c28]Andrzej Tarlecki
:
Moving Between Logical Systems. COMPASS/ADT 1995: 478-502 - [e3]Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki:
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. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X [contents] - 1994
- [j14]Robert Harper, Donald Sannella
, Andrzej Tarlecki
:
Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Log. 67(1-3): 113-160 (1994) - [c27]Stefan Kahrs, Donald Sannella
, Andrzej Tarlecki
:
Interfaces and Extended ML. Workshop on Interface Definition Languages 1994: 111-118 - 1993
- [c26]Stefan Kahrs, Donald Sannella, Andrzej Tarlecki:
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages 1993: 186-215 - [p1]Donald Sannella, Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems? Current Trends in Theoretical Computer Science 1993: 115-120 - 1992
- [j13]Donald Sannella
, Stefan Sokolowski, Andrzej Tarlecki
:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica 29(8): 689-736 (1992) - [c25]Andrzej Tarlecki:
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. ESOP 1992: 451-472 - [c24]Donald Sannella
, Andrzej Tarlecki
:
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP 1992: 656-671 - 1991
- [j12]Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle:
A three-valued logic for software specification and validation. Fundam. Informaticae 14(4): 411-453 (1991) - [j11]Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup:
On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90(1): 209-233 (1991) - [j10]Andrzej Tarlecki
, Rod M. Burstall, Joseph A. Goguen:
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91(2): 239-264 (1991) - [e2]Andrzej Tarlecki:
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Lecture Notes in Computer Science 520, Springer 1991, ISBN 3-540-54345-7 [contents] - 1990
- [j9]Donald Sannella, Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems? Bull. EATCS 41: 134-138 (1990) - [c23]Donald Sannella
, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. ADT 1990: 274-296 - [c22]Donald Sannella
, Andrzej Tarlecki:
Extended ML: Past, Present, and Future. ADT 1990: 297-322 - [c21]Andrzej Tarlecki
, Morten Wieth:
A Naive Domain Universe for VDM. VDM Europe 1990: 552-579
1980 – 1989
- 1989
- [c20]Robert Harper, Donald Sannella
, Andrzej Tarlecki
:
Logic Representation in LF. Category Theory and Computer Science 1989: 250-272 - [c19]Robert Harper, Donald Sannella, Andrzej Tarlecki:
Structure and Representation in LF. LICS 1989: 226-237 - [c18]Donald Sannella
, Andrzej Tarlecki
:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 1989: 375-389 - 1988
- [j8]Donald Sannella
, Andrzej Tarlecki
:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica 25(3): 233-281 (1988) - [j7]Donald Sannella
, Andrzej Tarlecki
:
Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3): 165-210 (1988) - [j6]Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
:
Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17(4): 629-639 (1988) - [c17]Donald Sannella, Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects. ADT 1988 - [c16]Bernhard Möller, Andrzej Tarlecki
, Martin Wirsing:
Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148 - [c15]Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle:
A Three-Valued Logic for Software Specification and Validation. VDM Europe 1988: 218-242 - 1987
- [j5]Donald Sannella
, Andrzej Tarlecki
:
On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34(2/3): 150-178 (1987) - [c14]Bernhard Möller, Andrzej Tarlecki
, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169 - [c13]Donald Sannella
, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 1987: 96-110 - [e1]Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987 [contents] - 1986
- [j4]Andrzej Tarlecki
:
Quasi-varieties in Abstract Algebraic Institutions. J. Comput. Syst. Sci. 33(3): 333-360 (1986) - [c12]Donald Sannella, Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development. ADT 1986 - [c11]Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions. ADT 1986 - [c10]Andrzej Tarlecki:
Programming in the Large with Algebraic Module Specifications - Response. IFIP Congress 1986: 685-688 - 1985
- [j3]Manfred Broy, Andrzej Tarlecki:
Algebraic specification of the abstract data type "Continuum". Bull. EATCS 26: 32-35 (1985) - [j2]Andrzej Tarlecki
:
A Language of Specified Programs. Sci. Comput. Program. 5(1): 59-81 (1985) - [j1]Andrzej Tarlecki
:
On the Existence of Free Models in Abstract Algebraic Institutuons. Theor. Comput. Sci. 37: 269-304 (1985) - [c9]Andrzej Tarlecki
:
Bits and Pieces of the Theory of Institutions. CTCS 1985: 334-365 - [c8]Donald Sannella
, Andrzej Tarlecki
:
Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS 1985: 364-389 - [c7]Andrzej Tarlecki
, Martin Wirsing:
Continuous abstract data types: basic machinery and results. FCT 1985: 431-441 - [c6]Donald Sannella
, Andrzej Tarlecki:
Program Specification and Development in Standard ML. POPL 1985: 67-77 - [c5]Donald Sannella
, Andrzej Tarlecki
:
On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 1985: 308-322 - 1984
- [c4]Donald Sannella, Andrzej Tarlecki:
Some Thoughts on Algebraic Specification. ADT 1984: 31-38 - [c3]Andrzej Tarlecki
:
Free Constructions in Algebraic Institutions. MFCS 1984: 526-534 - [c2]Donald Sannella
, Andrzej Tarlecki
:
Building Specifications in an Arbitrary Institution. Semantics of Data Types 1984: 337-356 - 1983
- [c1]Andrzej Blikle, Andrzej Tarlecki:
Naive Denotational Semantics. IFIP Congress 1983: 345-355
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint