The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrzej Tarlecki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  69. Observability Concepts in Abstract Data Type Specification, 30 Years Later. [Citation Graph (, )][DBLP]


  70. A Heterogeneous Approach to UML Semantics. [Citation Graph (, )][DBLP]


  71. Heterogeneous Logical Environments for Distributed Specifications. [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.039secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002