Concepedia

Andrzej Tarlecki

AT

Statistics

Publications

29

Citations

1.7K

H-Index

20

Active since

1983

Affiliations

Polish Academy of Sciences(Current)

Institute of Computer Science

University of Edinburgh

University of Warsaw

Aarhus University

Andrzej Tarlecki is an author at Polish Academy of Sciences specializing in computer science, computing, and formal methods.

Publications per year

1983–2009

29

Publications

29

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations

Computing, Computer Science, Formal Methods +10

Toward formal development of programs from algebraic specifications: Implementations revisited

Donald Sannella, Andrzej Tarlecki · Acta Informatica · 1988 · 189 citations

Computing, Computer Engineering, Computer Science +14

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner et al. · Theoretical Computer Science · 2002 · 188 citations

Computing, Computer Science, Algebra +8

On observational equivalence and algebraic specification

Donald Sannella, Andrzej Tarlecki · Journal of Computer and System Sciences · 1987 · 121 citations

Computing, Computer Science, Computer Systems +10

Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

Andrzej Tarlecki, R. M. Burstall, Joseph A. Goguen · Theoretical Computer Science · 1991 · 110 citations

Computing, Computer Science, Mathematics +16

1–5 of 29