Andrzej Tarlecki

Cited by

	All	Since 2016
Citations	4844	451
h-index	39	10
i10-index	70	11

280

140

210

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202121 33 49 44 95 81 132 134 108 147 136 146 170 170 178 106 132 247 171 176 114 178 263 209 149 179 109 177 138 175 138 108 115 95 53 56 24

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
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerified email at imar.ro
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Wiesław PawłowskiDept. of Mathematics, Physics, and Informatics, University of GdańskVerified email at inf.ug.edu.pl
Bartek KlinUniversity of WarsawVerified email at mimuw.edu.pl
Beata KonikowskaInstitute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Franco MazzantiReasearcher, 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
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Gianna ReggioDIBRIS - University of Genova, ItalyVerified email at unige.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de

Andrzej Tarlecki

Faculty of Mathematics, Informatics and Mechanics, University of Warsaw

Verified email at mimuw.edu.pl - Homepage

foundations of computer scince 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	338	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	286	2002
Toward formal development of programs from algebraic specifications: implementations revisited D Sannella, A Tarlecki Acta Informatica 25 (3), 233-281, 1988	281	1988
Foundations of algebraic specification and formal software development D Sannella, A Tarlecki Springer Science & Business Media, 2012	270*	2012
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	189	1991
On observational equivalence and algebraic specification D Sannella, A Tarlecki Journal of Computer and System Sciences 34 (2-3), 150-178, 1987	172	1987
Essential concepts of algebraic specification and program development D Sannella, A Tarlecki Formal Aspects of Computing 9 (3), 229-269, 1997	161	1997
Moving between logical systems A Tarlecki Recent Trends in Data Type Specification, 478-502, 1995	155	1995
Toward formal development of programs from algebraic specifications: parameterisation revisited D Sannella, S Sokolowski, A Tarlecki Acta Informatica 29 (8), 689-736, 1992	140	1992
The definition of Extended ML: A gentle introduction S Kahrs, D Sannella, A Tarlecki Theoretical Computer Science 173 (2), 445-484, 1997	136	1997
Bits and pieces of the theory of institutions A Tarlecki Category Theory and Computer Programming, 334-363, 1986	127	1986
On the existence of free models in abstract algebraic institutions A Tarlecki Theoretical Computer Science 37, 269-304, 1985	125	1985
Toward formal development of ML programs: foundations and methodology D Sannella, A Tarlecki International Joint Conference on Theory and Practice of Software …, 1989	97	1989
Quasi-varieties in abstract algebraic institutions A Tarlecki Journal of Computer and System Sciences 33 (3), 333-360, 1986	96	1986
Extended ML: an institution-independent framework for formal program development D Sannella, A Tarlecki Category Theory and Computer Programming, 364-389, 1986	91	1986
Towards heterogeneous specifications A Tarlecki Frontiers of Combining Systems 2, 337-360, 1998	89	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
What is a Logic? T Mossakowski, J Goguen, R Diaconescu, A Tarlecki Logica Universalis, 111-133, 2007	87	2007
CASL the Common Algebraic Specification Language: Semantics and proof theory T Mossakowski, AE Haxthausen, D Sannella, A Tarlecki Computing and Informatics 22 (3/4), 285-321, 2003	62	2003
Algebraic preliminaries D Sannella, A Tarlecki Algebraic Foundations of Systems Specification, 13-30, 1999	62	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

Upload PDF

Follow this author

Cited by

Co-authors