 | 2009 |
|---|
| 79 |       | Alexander Kurz,
Marina Lenisa,
Andrzej Tarlecki:
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Springer 2009 |
| 78 | | Lars Arge,
Christian Cachin,
Andrzej Tarlecki:
Preface.
Theor. Comput. Sci. 410(18): 1617 (2009) |
| 2008 |
|---|
| 77 | | María Victoria Cengarle,
Alexander Knapp,
Andrzej Tarlecki,
Martin Wirsing:
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models 2008: 383-402 |
| 76 | | Donald Sannella,
Andrzej Tarlecki:
Observability Concepts in Abstract Data Type Specification, 30 Years Later.
Concurrency, Graphs and Models 2008: 593-617 |
| 75 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Observational interpretation of Casl specifications.
Mathematical Structures in Computer Science 18(2): 325-371 (2008) |
| 2007 |
|---|
| 74 |  | Lars Arge,
Christian Cachin,
Tomasz Jurdzinski,
Andrzej Tarlecki:
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
Springer 2007 |
| 73 | | Andrzej Tarlecki:
Toward Specifications for Reconfigurable Component Systems.
ICATPN 2007: 24-28 |
| 2006 |
|---|
| 72 | | Donald Sannella,
Andrzej Tarlecki:
Horizontal Composability Revisited.
Essays Dedicated to Joseph A. Goguen 2006: 296-316 |
| 2005 |
|---|
| 71 | | John Fitzgerald,
Ian J. Hayes,
Andrzej Tarlecki:
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Springer 2005 |
| 70 | | 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) |
| 2004 |
|---|
| 69 | | 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
Springer 2004 |
| 68 | | Till Mossakowski,
Donald Sannella,
Andrzej Tarlecki:
A Simple Refinement Language for Casl.
WADT 2004: 162-185 |
| 67 | | Andrzej Tarlecki:
Editorial.
Inf. Process. Lett. 90(1): 1-2 (2004) |
| 2003 |
|---|
| 66 | | Till Mossakowski,
Anne Elisabeth Haxthausen,
Donald Sannella,
Andrzej Tarlecki:
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Computers and Artificial Intelligence 22(3): (2003) |
| 65 | | José Luiz Fiadeiro,
Jan Madey,
Andrzej Tarlecki:
Foreword.
Inf. Process. Lett. 88(1-2): 1-2 (2003) |
| 2002 |
|---|
| 64 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Global Development via Local Observational Construction Steps.
MFCS 2002: 1-24 |
| 63 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach.
RISSEF 2002: 75-90 |
| 62 | | 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: 1-33 |
| 61 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
Formal Asp. Comput. 13(3-5): 252-273 (2002) |
| 60 | | 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) |
| 2001 |
|---|
| 59 | | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
Piotr Hoffman:
Semantics of Architectural Specifications in CASL.
FASE 2001: 253-268 |
| 58 | | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki:
Amalgamation in CASL via Enriched Signatures.
ICALP 2001: 993-1004 |
| 57 | | Bartek Klin,
Piotr Hoffman,
Andrzej Tarlecki,
Lutz Schröder,
Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications.
MFCS 2001: 451-463 |
| 2000 |
|---|
| 56 | | Furio Honsell,
John Longley,
Donald Sannella,
Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus.
FoSSaCS 2000: 161-176 |
| 55 | | Grazyna Mirkowska,
Andrzej Salwicki,
Marian Srebrny,
Andrzej Tarlecki:
First-Order Specifications of Programmable Data Types.
SIAM J. Comput. 30(6): 2084-2096 (2000) |
| 1999 |
|---|
| 54 | | Donald Sannella,
Andrzej Tarlecki:
Algebraic Methods for Specification and Formal Development of Programs.
ACM Comput. Surv. 31(3es): 10 (1999) |
| 1998 |
|---|
| 53 | | Michel Bidoit,
Donald Sannella,
Andrzej Tarlecki:
Architectural Specifications in CASL.
AMAST 1998: 341-357 |
| 1997 |
|---|
| 52 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and Representing Logical Systems.
Category Theory and Computer Science 1997: 177-196 |
| 51 | | Till Mossakowski,
Andrzej Tarlecki,
Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments.
WADT 1997: 349-364 |
| 50 | | Donald Sannella,
Andrzej Tarlecki:
Essential Concepts of Algebraic Specification and Program Development.
Formal Asp. Comput. 9(3): 229-269 (1997) |
| 49 | | Jan Madey,
Andrzej Tarlecki,
Wladyslaw M. Turski:
Foreword.
Sci. Comput. Program. 28(2-3): 91 (1997) |
| 48 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci. 173(2): 445-484 (1997) |
| 1996 |
|---|
| 47 | | Michel Bidoit,
Andrzej Tarlecki:
Behavioural Satisfaction and Equivalence in Concrete Model Categories.
CAAP 1996: 241-256 |
| 46 | | Donald Sannella,
Andrzej Tarlecki:
Mind the Gap! Abstract Versus Concrete Models of Specifications.
MFCS 1996: 114-134 |
| 1995 |
|---|
| 45 | | 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
Springer 1995 |
| 44 | | Andrzej Tarlecki:
Moving Between Logical Systems.
COMPASS/ADT 1995: 478-502 |
| 1994 |
|---|
| 43 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
Interfaces and Extended ML.
Workshop on Interface Definition Languages 1994: 111-118 |
| 42 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Structured Theory Presentations and Logic Representations.
Ann. Pure Appl. Logic 67(1-3): 113-160 (1994) |
| 1993 |
|---|
| 41 | | Stefan Kahrs,
Donald Sannella,
Andrzej Tarlecki:
The Semantics of Extended ML: A Gentle Introduction.
Semantics of Specification Languages 1993: 186-215 |
| 1992 |
|---|
| 40 | | Andrzej Tarlecki:
Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft.
ESOP 1992: 451-472 |
| 39 | | Donald Sannella,
Andrzej Tarlecki:
Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
ICALP 1992: 656-671 |
| 38 | | Donald Sannella,
Stefan Sokolowski,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Inf. 29(8): 689-736 (1992) |
| 1991 |
|---|
| 37 | | Andrzej Tarlecki:
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
Springer 1991 |
| 36 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A three-valued logic for software specification and validation.
Fundam. Inform. 14(4): 411-453 (1991) |
| 35 | | Andrzej Blikle,
Andrzej Tarlecki,
Mikkel Thorup:
On Conservative Extensions of Syntax in System Development.
Theor. Comput. Sci. 90(1): 209-233 (1991) |
| 34 | | 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) |
| 1990 |
|---|
| 33 | | Donald Sannella,
Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization.
ADT 1990: 274-296 |
| 32 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: Past, Present, and Future.
ADT 1990: 297-322 |
| 31 | | Andrzej Tarlecki,
Morten Wieth:
A Naive Domain Universe for VDM.
VDM Europe 1990: 552-579 |
| 30 | | Donald Sannella,
Andrzej Tarlecki:
Algebraic specification and formal methods for program development: what are the real problems?
Bulletin of the EATCS 41: 134-138 (1990) |
| 1989 |
|---|
| 29 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Logic Representation in LF.
Category Theory and Computer Science 1989: 250-272 |
| 28 | | Robert Harper,
Donald Sannella,
Andrzej Tarlecki:
Structure and Representation in LF
LICS 1989: 226-237 |
| 27 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).
TAPSOFT, Vol.2 1989: 375-389 |
| 1988 |
|---|
| 26 | | Donald Sannella,
Andrzej Tarlecki:
Formal Development of ML Programs: Methodological Aspects.
ADT 1988 |
| 25 | | Bernhard Möller,
Andrzej Tarlecki,
Martin Wirsing:
Algebraic Specification with Built-in Domain Constructions.
CAAP 1988: 132-148 |
| 24 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A Three-Valued Logic for Software Specification and Validation.
VDM Europe 1988: 218-242 |
| 23 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Acta Inf. 25(3): 233-281 (1988) |
| 22 | | Donald Sannella,
Andrzej Tarlecki:
Specifications in an Arbitrary Institution
Inf. Comput. 76(2/3): 165-210 (1988) |
| 21 | | Nachum Dershowitz,
Leo Marcus,
Andrzej Tarlecki:
Existence, Uniqueness, and Construction of Rewrite Systems.
SIAM J. Comput. 17(4): 629-639 (1988) |
| 1987 |
|---|
| 20 | | Donald Sannella,
Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers
Springer 1987 |
| 19 | | Bernhard Möller,
Andrzej Tarlecki,
Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras.
ADT 1987: 154-169 |
| 18 | | Donald Sannella,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
TAPSOFT, Vol.1 1987: 96-110 |
| 17 | | Donald Sannella,
Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification.
J. Comput. Syst. Sci. 34(2/3): 150-178 (1987) |
| 1986 |
|---|
| 16 | | Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions.
ADT 1986 |
| 15 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: An Institution-Independent Framework for Formal Program Development.
ADT 1986 |
| 14 | | Andrzej Tarlecki:
Programming in the Large with Algebraic Module Specifications - Response.
IFIP Congress 1986: 685-688 |
| 13 | | Andrzej Tarlecki:
Quasi-varieties in Abstract Algebraic Institutions.
J. Comput. Syst. Sci. 33(3): 333-360 (1986) |
| 1985 |
|---|
| 12 | | Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions.
CTCS 1985: 334-365 |
| 11 | | Donald Sannella,
Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development.
CTCS 1985: 364-389 |
| 10 | | Andrzej Tarlecki,
Martin Wirsing:
Continuous abstract data types: basic machinery and results.
FCT 1985: 431-441 |
| 9 | | Donald Sannella,
Andrzej Tarlecki:
Program Specification and Development in Standard ML.
POPL 1985: 67-77 |
| 8 | | Donald Sannella,
Andrzej Tarlecki:
On Observational Equivalence and Algebraic Specification.
TAPSOFT, Vol.1 1985: 308-322 |
| 7 | | Manfred Broy,
Andrzej Tarlecki:
Algebraic specification of the abstract data type "Continuum".
Bulletin of the EATCS 26: 32-35 (1985) |
| 6 | | Andrzej Tarlecki:
A Language of Specified Programs.
Sci. Comput. Program. 5(1): 59-81 (1985) |
| 5 | | Andrzej Tarlecki:
On the Existence of Free Models in Abstract Algebraic Institutuons.
Theor. Comput. Sci. 37: 269-304 (1985) |
| 1984 |
|---|
| 4 | | Donald Sannella,
Andrzej Tarlecki:
Some Thoughts on Algebraic Specification.
ADT 1984: 31-38 |
| 3 | | Andrzej Tarlecki:
Free Constructions in Algebraic Institutions.
MFCS 1984: 526-534 |
| 2 | | Donald Sannella,
Andrzej Tarlecki:
Building Specifications in an Arbritrary Institution.
Semantics of Data Types 1984: 337-356 |
| 1983 |
|---|
| 1 | | Andrzej Blikle,
Andrzej Tarlecki:
Naive Denotational Semantics.
IFIP Congress 1983: 345-355 |
