Peter D Mosses

Cited by

	All	Since 2019
Citations	5237	532
h-index	36	14
i10-index	81	20

300

150

225

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 27 25 25 51 52 61 114 178 111 103 148 111 103 173 169 129 148 144 225 206 234 230 200 281 174 127 132 133 146 104 148 98 124 121 61 94 91 94 69

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
Martin ChurchillSwansea UniversityVerified email at swansea.ac.uk
Neil SculthorpeNottingham Trent UniversityVerified email at ntu.ac.uk
Paolo TorriniResearch Assistant, Department of Computer Science, Swansea UniversityVerified email at swansea.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.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
Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseVerified email at ic.uff.br
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Arie van DeursenProfessor of Software Engineering, Delft University of TechnologyVerified email at tudelft.nl
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
Martin MusicanteUniversidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Padmanabhan krishnanOracle Labs, BrisbaneVerified email at ieee.org
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Soren B Lassen

Peter D Mosses

Swansea University and Delft University of Technology

Verified email at tudelft.nl - Homepage

Programming languages semantics algebraic specification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Action Semantics AS’99 PD Mosses, DA Watt	445	1999
Semantic domains D Scott, C Gunter Handbook of Theoretical Computer Science, J. van Leeuwen (ed), North Holland …, 1990	445*	1990
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
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960 PD Mosses SpringerVerlag, 2004	301*	2004
Denotational semantics PD Mosses Formal Models and Semantics, 575-631, 1990	296	1990
Modular structural operational semantics PD Mosses The Journal of Logic and Algebraic Programming 60, 195-228, 2004	276	2004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer, 2003	230	2003
Unified algebras and institutions PD Mosses DAIMI Report Series, 1989	129	1989
Abstract semantic algebras! PD Mosses DAIMI Report Series, 1982	108	1982
Theory and practice of action semantics PD Mosses International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996	98	1996
CoFI: The common framework initiative for algebraic specification and development PD Mosses Colloquium on Trees in Algebra and Programming, 115-137, 1997	97	1997
SIS-semantics implementation system: Reference manual and user guide P Mosses Computer Science Department, Aarhus Univ., 1979	95	1979
Foundations of modular SOS PD Mosses Mathematical Foundations of Computer Science 1999: 24th International …, 1999	93	1999
Unified algebras and action semantics PD Mosses Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989	72	1989
The use of action semantics PD Mosses, DA Watt Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986	72	1986
A constructive approach to compiler correctness P Mosses International Colloquium on Automata, Languages, and Programming, 449-469, 1980	70	1980
Mathematical semantics and compiler generation P Mosses University of Oxford, 1975	70	1975
Rewriting extended regular expressions VM Antimirov, PD Mosses Theoretical Computer Science 143 (1), 51-72, 1995	66	1995
Implicit propagation in structural operational semantics PD Mosses, MJ New Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009	64	2009
Reusable components of semantic specifications M Churchill, PD Mosses, P Torrini Proceedings of the 13th international conference on Modularity, 145-156, 2014	62	2014

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