Andrzej Tarlecki

Cited by

	All	Since 2018
Citations	5095	409
h-index	38	9
i10-index	69	9

240

120

180

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 22 43 53 89 85 146 149 129 144 152 157 164 145 189 116 128 234 180 162 164 179 231 220 148 154 113 170 143 179 136 106 128 80 60 43 66 71 89

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Andrzej BlikleProfessor of Mathematics and informatics, Polish Academy of AcienceVerified email at moznainaczej.com.pl
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerified email at imar.ro
Wiesław PawłowskiDept. of Mathematics, Physics, and Informatics, University of GdańskVerified email at ug.edu.pl
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Beata KonikowskaInstitute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyVerified email at isti.cnr.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu

Andrzej Tarlecki

Faculty of Mathematics, Informatics and Mechanics, University of Warsaw

Verified email at mimuw.edu.pl - Homepage

foundations of computer science formal methods logic universal algebra and category theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specifications in an arbitrary institution D Sannella, A Tarlecki Information and computation 76 (2-3), 165-210, 1988	341	1988
Foundations of algebraic specification and formal software development D Sannella Springer, 2012	330*	2012
Toward formal development of programs from algebraic specifications: implementations revisited D Sannella, A Tarlecki Acta Informatica 25, 233-281, 1988	326	1988
CASL: the common algebraic specification language E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ... Theoretical Computer Science 286 (2), 153-196, 2002	320	2002
Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories A Tarlecki, RM Burstall, JA Goguen Theoretical Computer Science 91 (2), 239-264, 1991	200	1991
On observational equivalence and algebraic specification D Sannella, A Tarlecki Journal of Computer and System Sciences 34 (2-3), 150-178, 1987	187	1987
Essential concepts of algebraic specification and program development D Sannella, A Tarlecki Formal Aspects of Computing 9, 229-269, 1997	162	1997
Moving between logical systems A Tarlecki Workshop on the Specification of Abstract Data Types, 478-502, 1995	156	1995
The definition of Extended ML: A gentle introduction S Kahrs, D Sannella, A Tarlecki Theoretical Computer Science 173 (2), 445-484, 1997	151	1997
Bits and pieces of the theory of institutions A Tarlecki Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005	143	2005
Toward formal development of programs from algebraic specifications: parameterisation revisited D Sannella, S Sokolowski, A Tarlecki Acta Informatica 29 (8), 689-736, 1992	141	1992
On the existence of free models in abstract algebraic institutions A Tarlecki Theoretical Computer Science 37, 269-304, 1985	137	1985
Extended ML: an institution-independent framework for formal program development D Sannella, A Tarlecki Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986	104	1986
Quasi-varieties in abstract algebraic institutions A Tarlecki Journal of Computer and System Sciences 33 (3), 333-360, 1986	102	1986
What is a Logic? T Mossakowski, J Goguen, R Diaconescu, A Tarlecki Logica Universalis, 111-133, 2007	98*	2007
Toward formal development of ML programs: foundations and methodology D Sannella, A Tarlecki International Joint Conference on Theory and Practice of Software …, 1989	98	1989
Towards heterogeneous specifications A Tarlecki Frontiers of Combining Systems 2, 337-360, 1998	92	1998
Structured theory presentations and logic representations R Harper, D Sannella, A Tarlecki Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994	89	1994
A three-valued logic for software specification and validation B Konikowska, A Tarlecki, A Blikle VDM'88 VDM—The Way Ahead, LNCS 328, 218-242, 1988	72*	1988
Algebraic preliminaries D Sannella, A Tarlecki Algebraic Foundations of Systems Specification, 13-30, 1999	66	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors