Andrzej Tarlecki

Citeret af

	Alle	Siden 2020
Henvisninger	5184	369
h-index	39	9
i10-indeks	69	9

260

130

195

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 43 49 87 85 143 146 127 145 142 159 168 147 194 120 137 242 155 173 161 177 240 214 151 160 113 160 135 180 134 104 131 80 64 49 71 74 104 65 6

Offentlig adgang

Se alle

7 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Donald SannellaProfessor of Computer Science, University of EdinburghVerificeret mail på inf.ed.ac.uk
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerificeret mail på uni-osnabrueck.de
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerificeret mail på lsv.ens-cachan.fr
Martin WirsingProfessor of Computer Science, LMU MunichVerificeret mail på lmu.de
Peter D MossesSwansea University and Delft University of TechnologyVerificeret mail på tudelft.nl
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerificeret mail på dtu.dk
Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerificeret mail på imar.ro
Hubert BaumeisterTechnical University of DenmarkVerificeret mail på dtu.dk
Andrzej BlikleProfessor of Mathematics and informatics, Polish Academy of AcienceVerificeret mail på moznainaczej.com.pl
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerificeret mail på cs.fau.de
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerificeret mail på andrew.cmu.edu
Wiesław PawłowskiDept. of Mathematics, Physics, and Informatics, University of GdańskVerificeret mail på ug.edu.pl
Bartek KlinUniversity of OxfordVerificeret mail på cs.ox.ac.uk
Roberto BruniUniversity of PisaVerificeret mail på di.unipi.it
Beata KonikowskaInstitute of Computer Science, Polish Academy of SciencesVerificeret mail på ipipan.waw.pl
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyVerificeret mail på isti.cnr.it
Mieke MassinkCNR-ISTIVerificeret mail på isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verificeret mail på cnr.it
Stefania GnesiISTI-CNR, ItalyVerificeret mail på isti.cnr.it
Moshe Y. VardiRice UniversityVerificeret mail på cs.rice.edu

Følg

Andrzej Tarlecki

Faculty of Mathematics, Informatics and Mechanics, University of Warsaw

Verificeret mail på mimuw.edu.pl - Startside

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


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Foundations of algebraic specification and formal software development D Sannella Springer, 2012	357*	2012
Specifications in an arbitrary institution D Sannella, A Tarlecki Information and computation 76 (2-3), 165-210, 1988	342	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	330	2002
Toward formal development of programs from algebraic specifications: implementations revisited D Sannella, A Tarlecki Acta Informatica 25, 233-281, 1988	320	1988
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	206	1991
On observational equivalence and algebraic specification D Sannella, A Tarlecki Journal of Computer and System Sciences 34 (2-3), 150-178, 1987	179	1987
Essential concepts of algebraic specification and program development D Sannella, A Tarlecki Formal Aspects of Computing 9, 229-269, 1997	166	1997
Moving between logical systems A Tarlecki Workshop on the Specification of Abstract Data Types, 478-502, 1995	159	1995
The definition of Extended ML: A gentle introduction S Kahrs, D Sannella, A Tarlecki Theoretical Computer Science 173 (2), 445-484, 1997	153	1997
Bits and pieces of the theory of institutions A Tarlecki Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 2005	150	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	139	1985
Quasi-varieties in abstract algebraic institutions A Tarlecki Journal of Computer and System Sciences 33 (3), 333-360, 1986	105	1986
What is a Logic? T Mossakowski, J Goguen, R Diaconescu, A Tarlecki Logica Universalis, 111-133, 2007	104*	2007
Extended ML: an institution-independent framework for formal program development D Sannella, A Tarlecki Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986	101	1986
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
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	73*	1988
Algebraic preliminaries D Sannella, A Tarlecki Algebraic Foundations of Systems Specification, 13-30, 1999	69	1999

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere