Andrzej Tarlecki

Andrzej Tarlecki publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Andrzej Tarlecki sits on this spectrum.

Andrzej Tarlecki D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Andrzej Tarlecki sits on this spectrum.

Research.com Recognitions

• 2006 - Member of Academia Europaea

Best Publications

• Specifications in an arbitrary institution

  Donald Sannella;Andrzej Tarlecki

  358
  Citations

• CASL: the common algebraic specification language

  Egidio Astesiano;Michel Bidoit;Hélène Kirchner;Bernd Krieg-Brückner

  317
  Citations

• Toward formal development of programs from algebraic specifications: implementations revisited

  D. Sannella;A. Tarlecki

  300
  Citations

• Extended ML: Past, Present, and Future

  Donald Sannella;Andrzej Tarlecki

  285
  Citations

• Foundations of Algebraic Specification and Formal Software Development

  Donald Sannella;Andrzej Tarlecki

  254
  Citations

• On observational equivalence and algebraic specification

  Donald Sannella;Andrzej Tarlecki

  208
  Citations

• Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories

  Andrzej Tarlecki;Rod M. Burstall;Joseph A. Goguen;Joseph A. Goguen

  203
  Citations

• Essential concepts of algebraic specification and program development

  Donald Sannella;Andrzej Tarlecki;Andrzej Tarlecki

  165
  Citations

• Moving Between Logical Systems

  Unknown

  161
  Citations

• The definition of extended ML: a gentle introduction

  Stefan Kahrs;Donald Sannella;Andrzej Tarlecki

  156
  Citations

• Toward formal development of programs from algebraic specifications: Parameterisation revisited

  Donald Sannella;Stefan Sokolowski;Andrzej Tarlecki

  146
  Citations

• Bits and pieces of the theory of institutions

  Unknown

  139
  Citations

• On the existence of free models in abstract algebraic institutions

  Unknown

  136
  Citations

• Architectural Specifications in CASL

  Michel Bidoit;Donald Sannella;Andrzej Tarlecki

  111
  Citations

• Quasi-varieties in abstract algebraic institutions

  Unknown

  106
  Citations

• Extended ML: an institution-independent framework for formal program development

  D Sannella;A Tarlecki

  105
  Citations

• Toward formal development of ML programs: Foundations and methodology

  Donald Sannella;Andrzej Tarlecki

  103
  Citations

• Structured Theory Presentations and Logic Representations

  Robert Harper;Donald Sannella;Andrzej Tarlecki

  96
  Citations

• Towards Heterogeneous Specifications.

  Unknown

  92
  Citations

• Toward component-oriented formal software development: An algebraic approach

  Michel Bidoit;Donald Sannella;Andrzej Tarlecki

  75
  Citations