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

Andrzej Tarlecki (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441

Selection of 5 from 84 records - Andrzej Tarlecki has 72 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page