Peter D Mosses

Cited by

	All	Since 2018
Citations	5098	538
h-index	35	14
i10-index	77	17

300

150

225

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 23 36 26 23 51 42 60 114 181 114 106 146 104 102 180 169 130 139 149 213 210 225 220 199 282 173 127 136 136 140 107 149 100 117 117 66 88 82 68

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
Arie van DeursenProfessor of Software Engineering, 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
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
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
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
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	448	1999
Semantic domains and denotational semantics D Scott, C Gunter, PD Mosses, TECHNICAL UNIV MUNICH (GERMANY) Handbook of Theoretical Computer Science, 633-674, 1990	442*	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	318	2002
Denotational semantics PD Mosses Formal Models and Semantics, 575-631, 1990	295	1990
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960 PD Mosses SpringerVerlag, 2004	281*	2004
Modular structural operational semantics PD Mosses The Journal of Logic and Algebraic Programming 60, 195-228, 2004	266	2004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer, 2003	226	2003
Unified algebras and institutions PD Mosses DAIMI Report Series, 1989	125	1989
Abstract semantic algebras! PD Mosses DAIMI Report Series, 1982	111	1982
SIS-semantics implementation system: Reference manual and user guide P Mosses Computer Science Department, Aarhus Univ., 1979	97	1979
CoFI: The common framework initiative for algebraic specification and development PD Mosses Colloquium on Trees in Algebra and Programming, 115-137, 1997	94	1997
Theory and practice of action semantics PD Mosses International Symposium on Mathematical Foundations of Computer Science, 37-61, 1996	94	1996
Foundations of modular SOS PD Mosses Mathematical Foundations of Computer Science 1999: 24th International …, 1999	92	1999
Unified algebras and action semantics PD Mosses Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989	69	1989
The use of action semantics PD Mosses, DA Watt Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986	69	1986
Mathematical semantics and compiler generation P Mosses University of Oxford, 1975	69	1975
A constructive approach to compiler correctness P Mosses International Colloquium on Automata, Languages, and Programming, 449-469, 1980	67	1980
Implicit propagation in structural operational semantics PD Mosses, MJ New Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009	64	2009
Rewriting extended regular expressions VM Antimirov, PD Mosses Theoretical Computer Science 143 (1), 51-72, 1995	64	1995
A basic abstract semantic algebra P Mosses International Symposium on Semantics of Data Types, 87-107, 1984	62	1984

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