José Luiz Fiadeiro - Google Scholar Citations

Citeras av

	Alla	Sedan 2015
Citat	5254	547
h-index	40	12
i10-index	108	17

380

190

285

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202066 100 86 94 115 128 105 189 119 140 110 198 301 266 271 217 254 363 251 223 196 202 215 200 168 155 116 94 78 90 10

Medförfattare

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerifierad e-postadress på di.fc.ul.pt
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerifierad e-postadress på maibaum.org
Laura BocchiUniversity of KentVerifierad e-postadress på kent.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of LondonVerifierad e-postadress på rhul.ac.uk
Kevin LanoDept. of Informatics, King's College LondonVerifierad e-postadress på kcl.ac.uk
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerifierad e-postadress på imar.ro
Stefania GnesiISTI-CNR, ItalyVerifierad e-postadress på isti.cnr.it
José Félix CostaProfessor Associado de Matemática, Instituto Superior TécnicoVerifierad e-postadress på math.tecnico.ulisboa.pt
Martin WirsingProfessor of Computer Science, LMU MunichVerifierad e-postadress på lmu.de
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerifierad e-postadress på unifi.it
Franco MazzantiReasearcher, ISTI CNR, Pisa, ItalyVerifierad e-postadress på isti.cnr.it
Hans-Dieter EhrichProfesoor emeritus of information systemsVerifierad e-postadress på tu-bs.de
Roberto BruniUniversity of PisaVerifierad e-postadress på di.unipi.it
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verifierad e-postadress på open.ac.uk
Pedro RamosProfessor Associado do ISCTEVerifierad e-postadress på iscte.pt
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerifierad e-postadress på mimuw.edu.pl
Nora KochLudwig-Maximilians-Universität MünchenVerifierad e-postadress på pst.ifi.lmu.de
Leonor BarrocaThe Open UniversityVerifierad e-postadress på open.ac.uk
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu

José Luiz Fiadeiro

Dean of Science and Engineering, University of Dundee

Verifierad e-postadress på dundee.ac.uk - Startsida

Software Engineering Formal Methods


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	247	2005
Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992	222	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	192	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	172	2001
A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002	164	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	129	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	117	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990	117	1990
. A Mathematical Semantics for Architectural Connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming, 178-221, 2003	104	2003
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	102	1999
Sometimes “tomorrow” is “sometime” JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994	102	1994
Semantics of architectural connectors JL Fiadeiro, A Lopes Colloquium on Trees in Algebra and Programming, 503-519, 1997	101	1997
The basic building blocks of information systems A Semadas, J Fiadeiro, C Sernadas, HD Ehrich Information System Concepts: An In-Depth Analysis, 225-246, 1989	97	1989
Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002	87*	2002
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	86	1991
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro Software Engineering—ESEC/FSE’99, 393-409, 1999	79	1999
Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995	73	1995
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990	73	1990
A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12 (2), 349-367, 2013	72	2013

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare