José Luiz Fiadeiro

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	5514	294
h-index	40	9
i10-index	107	9

380

190

285

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202451 112 84 91 128 114 108 149 121 151 108 181 306 273 276 228 251 365 282 238 204 192 210 193 182 150 124 94 90 91 44 35 45 52 27

Nyilvános hozzáférés

Összes megtekintése

6 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaE-mail megerősítve itt: ciencias.ulisboa.pt
Laura BocchiUniversity of KentE-mail megerősítve itt: kent.ac.uk
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of LondonE-mail megerősítve itt: rhul.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mail megerősítve itt: tecnico.ulisboa.pt
Kevin LanoDept. of Informatics, King's College LondonE-mail megerősítve itt: kcl.ac.uk
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian AcademyE-mail megerősítve itt: imar.ro
Stefania GnesiISTI-CNR, ItalyE-mail megerősítve itt: isti.cnr.it
Martin WirsingProfessor of Computer Science, LMU MunichE-mail megerősítve itt: lmu.de
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoE-mail megerősítve itt: math.tecnico.ulisboa.pt
Rosario PuglieseProfessor of Computer Science, University of FlorenceE-mail megerősítve itt: unifi.it
Hans-Dieter EhrichProfesoor emeritus of information systemsE-mail megerősítve itt: tu-bs.de
Bashar NuseibehThe Open UniversityE-mail megerősítve itt: open.ac.uk
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyE-mail megerősítve itt: isti.cnr.it
Roberto BruniUniversity of PisaE-mail megerősítve itt: di.unipi.it
Leonor BarrocaThe Open UniversityE-mail megerősítve itt: open.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawE-mail megerősítve itt: mimuw.edu.pl
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail megerősítve itt: illinois.edu
Nora KochUniversidad de Sevilla, LMUE-mail megerősítve itt: iwt2.org
Mark D. RyanProfessor of Computer Security, University of BirminghamE-mail megerősítve itt: cs.bham.ac.uk
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, AustriaE-mail megerősítve itt: dsg.tuwien.ac.at

Követés

José Luiz Fiadeiro

Professor of Computer Science, University of Dundee

E-mail megerősítve itt: dundee.ac.uk - Kezdőlap

Software Engineering Formal Methods


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	276	2005
Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4, 239-272, 1992	226	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	202	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	181	2001
A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002	172	2002
Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997	151	1997
Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991	137	1991
A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	133	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	124	1991
Sometimes “Tomorrow” is “Sometime” Action refinement in a temporal logic of objects JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994	109	1994
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	105	1999
Chapter 5. A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming: Advanced Lectures, 178-221, 2003	102	2003
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 Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989	101	1989
Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002	93*	2002
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	89	1991
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro ACM SIGSOFT Software Engineering Notes 24 (6), 393-409, 1999	87	1999
A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12, 349-367, 2013	79	2013
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	77	1998
Higher-order architectural connectors A Lopes, M Wermelinger, JL Fiadeiro ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 64-104, 2003	74	2003

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők