Andrzej Tarlecki

University of Warsaw
Poland

D-Index & Metrics

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	32	13067	12679	34	33	132	5104

Computer Science

D-Index

Citations

5104

World Ranking

13067

National Ranking

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

If you think any of the details on this page are incorrect, let us know.

Recently Published Articles

2026 Voice Disorders Training in Online Speech Pathology Master's Programs

2026 MSW Careers in Immigration and Refugee Services

2026 How Many Credits Can You Transfer Into an Occupational Therapy Degree Program?

Andrzej Tarlecki

D-Index & Metrics

D-Index & Metrics

Computer Science

Research.com Recognitions

Best Publications

Specifications in an arbitrary institution

CASL: the common algebraic specification language

Toward formal development of programs from algebraic specifications: implementations revisited

Extended ML: Past, Present, and Future

Foundations of Algebraic Specification and Formal Software Development

On observational equivalence and algebraic specification

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

Essential concepts of algebraic specification and program development

Moving Between Logical Systems

The definition of extended ML: a gentle introduction

Toward formal development of programs from algebraic specifications: Parameterisation revisited

Bits and pieces of the theory of institutions

On the existence of free models in abstract algebraic institutions

Architectural Specifications in CASL

Quasi-varieties in abstract algebraic institutions

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

Toward formal development of ML programs: Foundations and methodology

Structured Theory Presentations and Logic Representations

Towards Heterogeneous Specifications.

Toward component-oriented formal software development: An algebraic approach

Related Computer Science Rankings & Guides

2026 How to Become a Digital Forensic Investigator: Salary & Career Paths

2026 Best Information Technology Degrees for Working Adults

2026 Admission Requirements for Data Science Master's Programs: GPA, Prerequisites & Eligibility Criteria

2026 Online Cybersecurity Degree Programs Costs: Tuition & Fees

2026 Best Data Science Degrees for Working Adults

2026 Easiest Tech Degree Programs

2026 Fastest Online Data Science Degree Programs You Can Finish in Under 2 Years

2026 Fastest Online Information Technology Master's Degree Programs You Can Finish in Under 2 Years

2026 How to Become an Ethical Hacker: Education, Salary, and Job Outlook

2026 Most Affordable Cyber Security Degree Programs Ranking in Massachusetts

2026 Most Affordable Online UX/UI Degree Programs

2026 Best Online Game Development Degree Programs

2026 Last-Minute Admissions: Online Artificial Intelligence Degree Master's Programs Still Accepting Students

2026 Is a Two-Year Degree in Cybersecurity Worth It?

2026 Online Information Technology Master's Degree Program Costs: Tuition & Fees

2026 Are There Any One-Year Online Data Analytics Degree Programs Worth Considering?

2026 Best Online Accelerated Computer Science Degree Programs

2026 Software Development Degree Master's Programs You Can Start Without Meeting All Requirements

2026 Best Online Doctorate in Data Science Programs

2026 Most Affordable Online Computer Science Degrees in the U.S.

Best Information Technology Associate Degree Programs & Schools - Top IT Schools in Orlando for 2026

Recently Published Articles

2026 Voice Disorders Training in Online Speech Pathology Master's Programs

2026 MSW Careers in Immigration and Refugee Services

2026 How Many Credits Can You Transfer Into an Occupational Therapy Degree Program?

2026 Most Affordable AACSB Online MBA Degree Programs

2026 Most Affordable Online MLIS - Master’s Degrees in Library Science

2026 How Many Credits Can You Transfer Into a Political Communication Degree Program?

2026 MSW Careers in Child Protective Services

2026 Best Self-Paced Online Colleges and Courses

2026 How Many Credits Can You Transfer Into an Educational Administration Degree Program?

2026 How Many Credits Can You Transfer Into an Artificial Intelligence Degree Program?

2026 How Many Credits Can You Transfer Into a Regulatory Science & Affairs Degree Program?

2026 Fast-Track Routes to Becoming a Speech-Language Pathologist

2026 How Many Credits Can You Transfer Into a Nurse Executive Leader Degree Program?

2026 Leadership and Supervisory Career Paths for Experienced Speech Pathologists

2026 Best RN to BSN Programs With No Clinicals

2026 How Many Credits Can You Transfer Into a Psychiatric Mental Health Nurse Practitioner Degree Program?

2026 Comparing Online SLP Programs by Faculty Expertise

2026 English Master's Degree vs Doctorate: Career Paths & Salary Differences

2026 Work Experience Requirements for Regulatory Science & Affairs Degree Programs

2026 Signs an Online SLP Program May Not Be Worth the Cost

2026 Easiest Associate's Degree Programs