Peter D Mosses

Cited by

	All	Since 2018
Citations	5021	492
h-index	36	13
i10-index	77	16

300

150

225

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 22 39 16 34 46 38 55 106 167 100 95 147 93 114 153 172 128 145 151 209 253 227 247 198 297 162 122 130 139 143 106 146 102 117 116 63 83 83 30

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
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Soren B Lassen
Padmanabhan krishnanOracle Labs, BrisbaneVerified email at ieee.org

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	437	1999
Semantic domains and denotational semantics DS Scott, CA Gunter, PD Mosses TECHNICAL UNIV MUNICH (GERMANY), 1989	436*	1989
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	310	2002
Denotational semantics PD Mosses Formal Models and Semantics, 575-631, 1990	293	1990
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960 PD Mosses SpringerVerlag, 2004	283*	2004
Modular structural operational semantics PD Mosses The Journal of Logic and Algebraic Programming 60, 195-228, 2004	262	2004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer, 2003	224	2003
Unified algebras and institutions PD Mosses DAIMI Report Series, 1989	125	1989
Abstract semantic algebras! PD Mosses DAIMI Report Series, 1982	113	1982
CoFI: The common framework initiative for algebraic specification and development PD Mosses TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997	97	1997
SIS-semantics implementation system: Reference manual and user guide P Mosses Computer Science Department, Aarhus Univ., 1979	94	1979
Theory and practice of action semantics PD Mosses Mathematical Foundations of Computer Science 1996: 21st International …, 1996	92	1996
Foundations of modular SOS PD Mosses Mathematical Foundations of Computer Science 1999: 24th International …, 1999	88	1999
Unified algebras and action semantics PD Mosses DAIMI Report Series, 1988	70	1988
The use of action semantics PD Mosses, DA Watt Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986	69	1986
Implicit propagation in structural operational semantics PD Mosses, MJ New Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009	65	2009
A constructive approach to compiler correctness P Mosses Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus …, 1980	64	1980
Mathematical semantics and compiler generation P Mosses University of Oxford, 1975	64	1975
Rewriting extended regular expressions VM Antimirov, PD Mosses Theoretical Computer Science 143 (1), 51-72, 1995	63	1995
Composing programming languages by combining action-semantics modules KG Doh, PD Mosses Science of Computer Programming 47 (1), 3-36, 2003	59	2003

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