Peter D Mosses

Citata da

	Tutte	Dal 2018
Citazioni	5052	511
Indice H	36	13
i10-index	77	16

300

150

225

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202317 22 38 16 31 50 39 54 104 179 100 92 146 95 108 160 171 129 145 151 208 252 228 247 196 298 162 121 132 139 143 106 146 102 117 116 64 87 83 44

Accesso pubblico

Visualizza tutto

12 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Michel BidoitLSV, CNRS & ENS Cachan, FranceEmail verificata su lsv.ens-cachan.fr
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawEmail verificata su mimuw.edu.pl
Martin ChurchillSwansea UniversityEmail verificata su swansea.ac.uk
Neil SculthorpeNottingham Trent UniversityEmail verificata su ntu.ac.uk
Paolo TorriniResearch Assistant, Department of Computer Science, Swansea UniversityEmail verificata su swansea.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
Arie van DeursenProfessor of Software Engineering, Delft University of TechnologyEmail verificata su tudelft.nl
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkEmail verificata su dtu.dk
Hubert BaumeisterTechnical University of DenmarkEmail verificata su dtu.dk
Edward HaeuslerProfessor of Computer Science, PUC-RioEmail verificata su inf.puc-rio.br
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseEmail verificata su ic.uff.br
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyEmail verificata su tue.nl
Martin MusicanteUniversidade Federal do Rio Grande do NorteEmail verificata su dimap.ufrn.br
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonEmail verificata su kcl.ac.uk
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su inf.ed.ac.uk
Michel Reniersassociate professor, Mechanical Engineering, TU/eEmail verificata su tue.nl
Padmanabhan krishnanOracle Labs, BrisbaneEmail verificata su ieee.org
Rob van GlabbeekUNSWEmail verificata su cs.stanford.edu
Soren B Lassen

Segui

Peter D Mosses

Swansea University and Delft University of Technology

Email verificata su tudelft.nl - Home page

Programming languages semantics algebraic specification


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Action Semantics AS’99 PD Mosses, DA Watt	440	1999
Semantic domains and denotational semantics DS Scott, CA Gunter, PD Mosses TECHNICAL UNIV MUNICH (GERMANY), 1989	437*	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	296	1990
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. LNCS 2960 PD Mosses SpringerVerlag, 2004	284*	2004
Modular structural operational semantics PD Mosses The Journal of Logic and Algebraic Programming 60, 195-228, 2004	264	2004
CASL User Manual: Introduction to Using the Common Algebraic Specification Language M Bidoit, PD Mosses Springer, 2003	225	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	89	1999
Unified algebras and action semantics PD Mosses STACS 89: 6th Annual Symposium on Theoretical Aspects of Computer Science …, 1989	70	1989
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	66	2009
Mathematical semantics and compiler generation P Mosses University of Oxford, 1975	66	1975
A constructive approach to compiler correctness P Mosses Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus …, 1980	64	1980
Rewriting extended regular expressions VM Antimirov, PD Mosses Theoretical Computer Science 143 (1), 51-72, 1995	63	1995
Reusable components of semantic specifications M Churchill, PD Mosses, P Torrini Proceedings of the 13th international conference on Modularity, 145-156, 2014	59	2014

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori