Andrzej Tarlecki

3.4k total citations
57 papers, 947 citations indexed

About

Andrzej Tarlecki is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Andrzej Tarlecki has authored 57 papers receiving a total of 947 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 10 papers in Software. Recurrent topics in Andrzej Tarlecki's work include Logic, programming, and type systems (31 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (11 papers). Andrzej Tarlecki is often cited by papers focused on Logic, programming, and type systems (31 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (11 papers). Andrzej Tarlecki collaborates with scholars based in Poland, United Kingdom and United States. Andrzej Tarlecki's co-authors include Donald Sannella, R. M. Burstall, Joseph A. Goguen, Michel Bidoit, Egidio Astesiano, Till Mossakowski, Peter D. Mosses, Bernd Krieg-Brückner, Claude Kirchner and S. Sokołowski and has published in prestigious journals such as ACM Computing Surveys, SIAM Journal on Computing and Theoretical Computer Science.

In The Last Decade

Andrzej Tarlecki

50 papers receiving 843 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Andrzej Tarlecki Poland 17 829 624 182 121 92 57 947
Donald Sannella United Kingdom 14 812 1.0× 584 0.9× 212 1.2× 145 1.2× 125 1.4× 47 937
Kokichi Futatsugi Japan 13 737 0.9× 578 0.9× 251 1.4× 200 1.7× 139 1.5× 99 919
Jean-Pierre Jouannaud France 18 1.5k 1.8× 1.1k 1.8× 198 1.1× 144 1.2× 218 2.4× 66 1.7k
Colin Stirling United Kingdom 17 649 0.8× 718 1.2× 179 1.0× 69 0.6× 134 1.5× 29 898
Peter D. Mosses Denmark 17 796 1.0× 452 0.7× 229 1.3× 268 2.2× 98 1.1× 95 938
Christine Paulin-Mohring France 9 646 0.8× 478 0.8× 111 0.6× 84 0.7× 131 1.4× 13 770
C.-H. Luke Ong United Kingdom 17 1.2k 1.4× 974 1.6× 151 0.8× 70 0.6× 177 1.9× 78 1.3k
Anna Ingólfsdóttir Iceland 15 625 0.8× 625 1.0× 145 0.8× 56 0.5× 107 1.2× 120 842
R. D. Tennent Canada 12 656 0.8× 367 0.6× 80 0.4× 92 0.8× 146 1.6× 37 745
Grant Malcolm United Kingdom 13 472 0.6× 366 0.6× 101 0.6× 89 0.7× 111 1.2× 29 595

Countries citing papers authored by Andrzej Tarlecki

Since Specialization
Citations

This map shows the geographic impact of Andrzej Tarlecki's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Andrzej Tarlecki with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andrzej Tarlecki more than expected).

Fields of papers citing papers by Andrzej Tarlecki

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andrzej Tarlecki. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Andrzej Tarlecki. The network helps show where Andrzej Tarlecki may publish in the future.

Co-authorship network of co-authors of Andrzej Tarlecki

This figure shows the co-authorship network connecting the top 25 collaborators of Andrzej Tarlecki. A scholar is included among the top collaborators of Andrzej Tarlecki based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Andrzej Tarlecki. Andrzej Tarlecki is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Tarlecki, Andrzej. (2014). Răzvan Diaconescu, Institution-independent Model Theory. Studia Logica. 102(1). 225–229.
2.
Tarlecki, Andrzej. (2011). Some Nuances of Many-sorted Universal Algebra: A Review. Bulletin of the European Association for Theoretical Computer Science. 104(104). 89–111. 4 indexed citations
3.
Kurz, Alexander, Marina Lenisa, & Andrzej Tarlecki. (2009). Proceedings of the 3rd international conference on Algebra and coalgebra in computer science. 5 indexed citations
4.
Arge, Lars, Christian Cachin, Tomasz Jurdziński, & Andrzej Tarlecki. (2007). Proceedings of the 34th international colloquium on Automata, Languages and Programming. Lecture notes in computer science. 28 indexed citations
5.
Tarlecki, Andrzej. (2004). Software Specification and Development in Heterogeneous Environments. 1 indexed citations
6.
Tarlecki, Andrzej. (2003). Abstract specification theory: an overview. 1 indexed citations
7.
Mossakowski, Till, Anne E. Haxthausen, Donald Sannella, & Andrzej Tarlecki. (2003). CASL - The Common Algebraic Specification Language: Semantics and Proof Theory. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 22. 285–321. 14 indexed citations
8.
Bidoit, Michel, Donald Sannella, & Andrzej Tarlecki. (2002). Toward Component-Oriented Formal Software Development: An Algebraic Approach.
9.
Tarlecki, Andrzej, et al.. (2001). First-Order Specifications of Programmable Data Types. SIAM Journal on Computing. 30(6). 2084–2096. 1 indexed citations
10.
Tarlecki, Andrzej. (1998). Towards Heterogeneous Specifications.. 337–360. 16 indexed citations
11.
Mossakowski, Till, Andrzej Tarlecki, & Wiesław Pawłowski. (1997). Combining and Representing Logical Systems Using Model-Theoretic Parchments. 3 indexed citations
12.
Sannella, Donald, et al.. (1997). The definition of Extended ML: A gentle introduction. Theoretical Computer Science. 173(2). 445–484. 30 indexed citations
13.
Astesiano, Egidio, Gianna Reggio, & Andrzej Tarlecki. (1995). Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers. CINECA IRIS Institutial Research Information System (University of Genoa). 4 indexed citations
14.
Tarlecki, Andrzej, R. M. Burstall, & Joseph A. Goguen. (1991). Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories. Theoretical Computer Science. 91(2). 239–264. 55 indexed citations
15.
Nelson, Evelyn, et al.. (1988). Comparison of subset systems. Commentationes Mathematicae Universitatis Carolinae. 29(1). 169–177. 1 indexed citations
16.
Sannella, Donald & Andrzej Tarlecki. (1987). Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). 96–110. 5 indexed citations
17.
Sannella, Donald & Andrzej Tarlecki. (1987). On observational equivalence and algebraic specification. Journal of Computer and System Sciences. 34(2-3). 150–178. 51 indexed citations
18.
Tarlecki, Andrzej. (1986). Quasi-varieties in abstract algebraic institutions. Journal of Computer and System Sciences. 33(3). 333–360. 41 indexed citations
19.
Tarlecki, Andrzej. (1985). On the existence of free models in abstract algebraic institutions. Theoretical Computer Science. 37. 269–304. 56 indexed citations
20.
Tarlecki, Andrzej, et al.. (1983). Naive Denotational Semantics.. IFIP Congress. 345–355. 13 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026