José Luiz Fiadeiro - Google Scholar Citations

Cited by

	All	Since 2014
Citations	5181	681
h-index	40	12
i10-index	105	19

380

190

285

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201966 100 84 94 118 126 105 179 117 140 103 188 305 267 269 215 256 374 247 224 188 204 217 192 166 156 113 90 77 77

Co-authors

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

José Luiz Fiadeiro

Dean of Science and Engineering, University of Dundee

Verified email at dundee.ac.uk - Homepage

Software Engineering Formal Methods


Title	Cited by	Year
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	244	2005
Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992	221	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	185	1987
A graph based architectural (re) configuration language M Wermelinger, A Lopes, JL Fiadeiro ACM SIGSOFT Software Engineering Notes 26 (5), 21-32, 2001	169	2001
A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002	163	2002
Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997	154	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	124	1991
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990	116	1990
A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi International Workshop on Web Services and Formal Methods, 193-213, 2006	113	2006
. A Mathematical Semantics for Architectural Connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming, 178-221, 2003	103	2003
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	100	1997
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	99	1999
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	95	1989
Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002	85*	2002
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	85	1991
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro Software Engineering—ESEC/FSE’99, 393-409, 1999	82	1999
Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum SIGSOFT FSE, 72-80, 1995	74	1995
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990	73	1990
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	72	1998

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

Upload PDF

Follow this author

Cited by

Co-authors