dblp.uni-trier.dewww.uni-trier.de

Andrzej Tarlecki Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
79EEAlexander 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
78EELars Arge, Christian Cachin, Andrzej Tarlecki: Preface. Theor. Comput. Sci. 410(18): 1617 (2009)
2008
77EEMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
76EEDonald Sannella, Andrzej Tarlecki: Observability Concepts in Abstract Data Type Specification, 30 Years Later. Concurrency, Graphs and Models 2008: 593-617
75EEMichel 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
73EEAndrzej Tarlecki: Toward Specifications for Reconfigurable Component Systems. ICATPN 2007: 24-28
2006
72EEDonald 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
70EELutz 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
68EETill Mossakowski, Donald Sannella, Andrzej Tarlecki: A Simple Refinement Language for Casl. WADT 2004: 162-185
67EEAndrzej 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)
65EEJosé Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki: Foreword. Inf. Process. Lett. 88(1-2): 1-2 (2003)
2002
64EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Global Development via Local Observational Construction Steps. MFCS 2002: 1-24
63EEMichel Bidoit, Donald Sannella, Andrzej Tarlecki: Toward Component-Oriented Formal Software Development: An Algebraic Approach. RISSEF 2002: 75-90
62EELuis 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
61EEMichel 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
59EELutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. FASE 2001: 253-268
58EELutz Schröder, Till Mossakowski, Andrzej Tarlecki: Amalgamation in CASL via Enriched Signatures. ICALP 2001: 993-1004
57EEBartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for C ASL Architectural Specifications. MFCS 2001: 451-463
2000
56EEFurio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki: Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS 2000: 161-176
55EEGrazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki: First-Order Specifications of Programmable Data Types. SIAM J. Comput. 30(6): 2084-2096 (2000)
1999
54EEDonald Sannella, Andrzej Tarlecki: Algebraic Methods for Specification and Formal Development of Programs. ACM Comput. Surv. 31(3es): 10 (1999)
1998
53EEMichel 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)
48EEStefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173(2): 445-484 (1997)
1996
47EEMichel Bidoit, Andrzej Tarlecki: Behavioural Satisfaction and Equivalence in Concrete Model Categories. CAAP 1996: 241-256
46EEDonald 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
40EEAndrzej Tarlecki: Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. ESOP 1992: 451-472
39EEDonald 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
31EEAndrzej 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
27EEDonald 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
25EEBernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
24EEBeata 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
18EEDonald 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
8EEDonald 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
3EEAndrzej 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

Coauthor Index

1Luis Filipe Andrade [62]
2Lars Arge [74] [78]
3Egidio Astesiano [45] [60]
4Paolo Baldan [62]
5Hubert Baumeister [62]
6Michel Bidoit [47] [53] [60] [61] [63] [64] [75]
7Andrzej Blikle [1] [24] [35] [36]
8Manfred Broy [7]
9Roberto Bruni [62]
10Rod M. Burstall [34]
11Christian Cachin [74] [78]
12María Victoria Cengarle [77]
13Andrea Corradini [62]
14Nachum Dershowitz [21]
15José Luiz Fiadeiro [62] [65]
16John Fitzgerald [71]
17Fabio Gadducci [62]
18Stefania Gnesi [62]
19Joseph A. Goguen [34]
20Robert Harper [28] [29] [42]
21Anne Elisabeth Haxthausen [66]
22Ian J. Hayes [71]
23Piotr Hoffman [57] [59] [62] [70]
24Furio Honsell [56]
25Tomasz Jurdzinski [74]
26Stefan Kahrs [41] [43] [48]
27Hélène Kirchner [60]
28Bartek Klin [57] [59] [70]
29Alexander Knapp [77]
30Nora Koch [62]
31Beata Konikowska [24] [36]
32Piotr Kosiuczenko [62]
33Bernd Krieg-Brückner [60]
34Alexander Kurz [79]
35Alessandro Lapadula [62]
36Diego Latella [62]
37Marina Lenisa [79]
38John Longley [56]
39Antónia Lopes [62]
40Michele Loreti [62]
41Jan Madey [49] [65]
42Jerzy Marcinkowski [69]
43Leo Marcus [21]
44Mieke Massink [62]
45Franco Mazzanti [62]
46Grazyna Mirkowska [55]
47Bernhard Möller [19] [25]
48Ugo Montanari [62]
49Till Mossakowski [51] [52] [57] [58] [59] [66] [68] [70]
50Peter D. Mosses [60]
51Rocco De Nicola [62]
52Cristóvão Oliveira [62]
53Wieslaw Pawlowski [51] [52]
54Rosario Pugliese [62]
55Gianna Reggio [45]
56Andrzej Salwicki [55]
57Donald Sannella [2] [4] [8] [9] [11] [15] [17] [18] [20] [22] [23] [26] [27] [28] [29] [30] [32] [33] [38] [39] [41] [42] [43] [46] [48] [50] [53] [54] [56] [60] [61] [63] [64] [66] [68] [72] [75] [76]
58Lutz Schröder [57] [58] [59] [70]
59Stefan Sokolowski [38]
60Marian Srebrny [55]
61Mikkel Thorup [35]
62Wladyslaw M. Turski [49]
63Michel Wermelinger [62]
64Morten Wieth [31]
65Martin Wirsing [10] [19] [25] [62] [77]
66Artur Zawlocki [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)