Andrzej Tarlecki

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 3

Top Topics

Prime Implicates

Propositional Dynamic Logic

Database Designer

Logical Language

Top Venues

Software, Services, and Systems

Math. Struct. Comput. Sci.

Publications

Andrzej Tarlecki
Interpolation Is (Not Always) Easy to Spoil. CALCO (2023)
Donald Sannella, Andrzej Tarlecki
On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets (2018)
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144 (2017)
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)
Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. Int. J. Softw. Informatics 9 (2) (2015)
Donald Sannella, Andrzej Tarlecki
The Foundational Legacy of ASL. Software, Services, and Systems (2015)
Andrzej Tarlecki
Władysław Marek Turski (1938-2013). Inf. Process. Lett. 114 (8) (2014)
Andrzej Tarlecki
Răzvan Diaconescu, Institution-independent Model Theory. Stud Logica 102 (1) (2014)
Andrzej Tarlecki
Władysław Marek Turski (1938-2013). Formal Aspects Comput. 26 (5) (2014)
Donald Sannella, Andrzej Tarlecki
Property-oriented semantics of structured specifications. Math. Struct. Comput. Sci. 24 (2) (2014)
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
Parchments for CafeOBJ Logics. Specification, Algebra, and Software (2014)
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8 (3-4) (2014)
Till Mossakowski, Andrzej Tarlecki
A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS (2014)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. ICST (2012)
Andrzej Tarlecki
Some Nuances of Many-sorted Universal Algebra: A Review. Bull. EATCS 104 (2011)
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) (2011)
Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki
What is a Logic Translation? Logica Universalis 3 (1) (2009)
Lars Arge, Christian Cachin, Andrzej Tarlecki
Preface. Theor. Comput. Sci. 410 (18) (2009)
Till Mossakowski, Andrzej Tarlecki
Heterogeneous Logical Environments for Distributed Specifications. WADT (2008)
Donald Sannella, Andrzej Tarlecki
Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models (2008)
María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models (2008)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Observational interpretation of Casl specifications. Math. Struct. Comput. Sci. 18 (2) (2008)
Andrzej Tarlecki
Toward Specifications for Reconfigurable Component Systems. ICATPN (2007)
Donald Sannella, Andrzej Tarlecki
Horizontal Composability Revisited. Essays Dedicated to Joseph A. Goguen (2006)
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
Amalgamation in the semantics of CASL. Theor. Comput. Sci. 331 (1) (2005)
Till Mossakowski, Donald Sannella, Andrzej Tarlecki
A Simple Refinement Language for Casl. WADT (2004)
Andrzej Tarlecki
Editorial. Inf. Process. Lett. 90 (1) (2004)
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) (2003)
José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
Foreword. Inf. Process. Lett. 88 (1-2) (2003)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Architectural Specifications in CASL. Formal Aspects Comput. 13 (3-5) (2002)
Luis Filipe 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)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF (2002)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Global Development via Local Observational Construction Steps. MFCS (2002)
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) (2002)
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
Amalgamation in CASL via Enriched Signatures. ICALP (2001)
Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS (2001)
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
Semantics of Architectural Specifications in CASL. FASE (2001)
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS (2000)
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30 (6) (2000)
Donald Sannella, Andrzej Tarlecki
Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31 (3es) (1999)
Andrzej Tarlecki
Towards Heterogeneous Specifications. FroCoS (1998)
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Architectural Specifications in CASL. AMAST (1998)
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
Combining and representing logical systems using model-theoretic parchments. WADT (1997)
Donald Sannella, Andrzej Tarlecki
Essential Concepts of Algebraic Specification and Program Development. Formal Aspects Comput. 9 (3) (1997)
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
Combining and Representing Logical Systems. Category Theory and Computer Science (1997)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173 (2) (1997)
Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski
Foreword. Sci. Comput. Program. 28 (2-3) (1997)
Michel Bidoit, Andrzej Tarlecki
Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP (1996)
Donald Sannella, Andrzej Tarlecki
Mind the Gap! Abstract Versus Concrete Models of Specifications. MFCS (1996)
Andrzej Tarlecki
Moving Between Logical Systems. COMPASS/ADT (1995)
Robert Harper, Donald Sannella, Andrzej Tarlecki
Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Log. 67 (1-3) (1994)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
Interfaces and Extended ML. Workshop on Interface Definition Languages (1994)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages (1993)
Andrzej Tarlecki
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. ESOP (1992)
Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica 29 (8) (1992)
Donald Sannella, Andrzej Tarlecki
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. ICALP (1992)
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) (1991)
Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90 (1) (1991)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A three-valued logic for software specification and validation. Fundam. Informaticae 14 (4) (1991)
Donald Sannella, Andrzej Tarlecki
Extended ML: Past, Present, and Future. ADT (1990)
Donald Sannella, Andrzej Tarlecki
Algebraic specification and formal methods for program development: what are the real problems? Bull. EATCS 41 (1990)
Donald Sannella, Andrzej Tarlecki
A Kernel Specification Formalism with Higher-Order Parameterization. ADT (1990)
Andrzej Tarlecki, Morten Wieth
A Naive Domain Universe for VDM. VDM Europe (1990)
Robert Harper, Donald Sannella, Andrzej Tarlecki
Structure and Representation in LF LICS (1989)
Robert Harper, Donald Sannella, Andrzej Tarlecki
Logic Representation in LF. Category Theory and Computer Science (1989)
Donald Sannella, Andrzej Tarlecki
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). TAPSOFT, Vol.2 (1989)
Donald Sannella, Andrzej Tarlecki
Formal Development of ML Programs: Methodological Aspects. ADT (1988)
Donald Sannella, Andrzej Tarlecki
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica 25 (3) (1988)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A Three-Valued Logic for Software Specification and Validation. VDM Europe (1988)
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Algebraic Specification with Built-in Domain Constructions. CAAP (1988)
Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki
Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17 (4) (1988)
Donald Sannella, Andrzej Tarlecki
Specifications in an Arbitrary Institution Inf. Comput. 76 (2/3) (1988)
Donald Sannella, Andrzej Tarlecki
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). TAPSOFT, Vol.1 (1987)
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Algebraic Specifications of Reachable Higher-Order Algebras. ADT (1987)
Donald Sannella, Andrzej Tarlecki
On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci. 34 (2/3) (1987)
Andrzej Tarlecki
Bits and Pieces of the Theory of Institutions. ADT (1986)
Donald Sannella, Andrzej Tarlecki
Extended ML: An Institution-Independent Framework for Formal Program Development. ADT (1986)
Andrzej Tarlecki
Quasi-varieties in Abstract Algebraic Institutions. J. Comput. Syst. Sci. 33 (3) (1986)
Andrzej Tarlecki
Programming in the Large with Algebraic Module Specifications - Response. IFIP Congress (1986)
Andrzej Tarlecki
Bits and Pieces of the Theory of Institutions. CTCS (1985)
Donald Sannella, Andrzej Tarlecki
Program Specification and Development in Standard ML. POPL (1985)
Andrzej Tarlecki
A Language of Specified Programs. Sci. Comput. Program. 5 (1) (1985)
Donald Sannella, Andrzej Tarlecki
On Observational Equivalence and Algebraic Specification. TAPSOFT, Vol.1 (1985)
Manfred Broy, Andrzej Tarlecki
Algebraic specification of the abstract data type "Continuum". Bull. EATCS 26 (1985)
Andrzej Tarlecki
On the Existence of Free Models in Abstract Algebraic Institutuons. Theor. Comput. Sci. 37 (1985)
Andrzej Tarlecki, Martin Wirsing
Continuous abstract data types: basic machinery and results. FCT (1985)
Donald Sannella, Andrzej Tarlecki
Extended ML: an Institution - Independent Framework for Formal Program Development. CTCS (1985)
Donald Sannella, Andrzej Tarlecki
Building Specifications in an Arbitrary Institution. Semantics of Data Types (1984)
Donald Sannella, Andrzej Tarlecki
Some Thoughts on Algebraic Specification. ADT (1984)
Andrzej Tarlecki
Free Constructions in Algebraic Institutions. MFCS (1984)
Andrzej Blikle, Andrzej Tarlecki
Naive Denotational Semantics. IFIP Congress (1983)