José Luiz Fiadeiro

Geciteerd door

	Alles	Sinds 2017
Citaties	5415	370
h-index	40	10
i10-index	107	10

380

190

285

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202215 15 65 105 80 95 115 122 108 170 118 142 100 196 298 269 274 211 267 378 262 224 203 212 214 191 189 158 118 93 88 92 39 35 23

Openbare toegang

Alles bekijken

7 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaGeverifieerd e-mailadres voor ciencias.ulisboa.pt
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityGeverifieerd e-mailadres voor maibaum.org
Laura BocchiUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of LondonGeverifieerd e-mailadres voor rhul.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
Kevin LanoDept. of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian AcademyGeverifieerd e-mailadres voor imar.ro
Stefania GnesiISTI-CNR, ItalyGeverifieerd e-mailadres voor isti.cnr.it
Martin WirsingProfessor of Computer Science, LMU MunichGeverifieerd e-mailadres voor lmu.de
José Félix CostaProfessor Associado de Matemática, Instituto Superior TécnicoGeverifieerd e-mailadres voor math.tecnico.ulisboa.pt
Rosario PuglieseProfessor of Computer Science, University of FlorenceGeverifieerd e-mailadres voor unifi.it
Hans-Dieter EhrichProfesoor emeritus of information systemsGeverifieerd e-mailadres voor tu-bs.de
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Geverifieerd e-mailadres voor open.ac.uk
Franco MazzantiReasearcher, ISTI CNR, Pisa, ItalyGeverifieerd e-mailadres voor isti.cnr.it
Roberto BruniUniversity of PisaGeverifieerd e-mailadres voor di.unipi.it
Leonor BarrocaThe Open UniversityGeverifieerd e-mailadres voor open.ac.uk
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawGeverifieerd e-mailadres voor mimuw.edu.pl
Nora KochUniversidad de Sevilla, LMUGeverifieerd e-mailadres voor iwt2.org
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE Fellow, TU Wien, AustriaGeverifieerd e-mailadres voor dsg.tuwien.ac.at

Volgen

José Luiz Fiadeiro

Dean of Science and Engineering, University of Dundee

Geverifieerd e-mailadres voor dundee.ac.uk - Homepage

Software Engineering Formal Methods


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	265	2005
Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992	223	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	195	1987
A graph based architectural (re) configuration language M Wermelinger, A Lopes, JL Fiadeiro Proceedings of the 8th European software engineering conference held jointly …, 2001	178	2001
A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002	170	2002
Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997	153	1997
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991	137	1991
A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi International Workshop on Web Services and Formal Methods, 193-213, 2006	130	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990	124	1990
Sometimes “tomorrow” is “sometime” JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994	114	1994
A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming, 178-221, 2003	107	2003
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	106	1999
The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989	103	1989
Semantics of architectural connectors JL Fiadeiro, A Lopes Colloquium on Trees in Algebra and Programming, 503-519, 1997	100	1997
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	90	1991
Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002	87*	2002
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro Software Engineering—ESEC/FSE’99, 393-409, 1999	82	1999
A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12 (2), 349-367, 2013	80	2013
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990	77	1990
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	76	1998

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs