José Luiz Fiadeiro

Citované v

	Všetky	Od 2020
Citácie	5578	217
h-index	42	7
i10-index	108	2

400

200

100

300

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202551 111 87 92 135 112 108 150 113 161 106 180 303 284 270 228 254 385 268 237 204 200 216 200 183 150 126 95 90 93 48 37 48 53 29 2

Verejný prístup

všetky položky

6 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaOverená e-mailová adresa na: ciencias.ulisboa.pt
Laura BocchiUniversity of KentOverená e-mailová adresa na: kent.ac.uk
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of LondonOverená e-mailová adresa na: rhul.ac.uk
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaOverená e-mailová adresa na: tecnico.ulisboa.pt
Kevin LanoDept. of Informatics, King's College LondonOverená e-mailová adresa na: kcl.ac.uk
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian AcademyOverená e-mailová adresa na: imar.ro
Stefania GnesiISTI-CNR, ItalyOverená e-mailová adresa na: isti.cnr.it
Martin WirsingProfessor of Computer Science, LMU MunichOverená e-mailová adresa na: lmu.de
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoOverená e-mailová adresa na: math.tecnico.ulisboa.pt
Rosario PuglieseProfessor of Computer Science, University of FlorenceOverená e-mailová adresa na: unifi.it
Hans-Dieter EhrichProfesoor emeritus of information systemsOverená e-mailová adresa na: tu-bs.de
Bashar NuseibehThe Open UniversityOverená e-mailová adresa na: open.ac.uk
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyOverená e-mailová adresa na: isti.cnr.it
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, AustriaOverená e-mailová adresa na: dsg.tuwien.ac.at
Amit ShethNCR Chair & Prof.; Founding Director, AI Institute; U. of South CarolinaOverená e-mailová adresa na: sc.edu
Roberto BruniUniversity of PisaOverená e-mailová adresa na: di.unipi.it
Leonor BarrocaThe Open UniversityOverená e-mailová adresa na: open.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawOverená e-mailová adresa na: mimuw.edu.pl
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignOverená e-mailová adresa na: illinois.edu
Nora KochUniversidad de Sevilla, LMUOverená e-mailová adresa na: iwt2.org

Sledovať

José Luiz Fiadeiro

Durham Johnston Comprehensive School

Overená e-mailová adresa na: durhamjohnston.org.uk

Software Engineering Formal Methods


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
Categories for software engineering JL Fiadeiro Springer Science & Business Media, 2005	281	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	200	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	182	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	152	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	138	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	135	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	128	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	110	1994
A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming 2793, 178-221, 2003	104	2003
Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999	104	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	101	1989
Semantics of architectural connectors JL Fiadeiro, A Lopes Colloquium on Trees in Algebra and Programming, 503-519, 1997	99	1997
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	81	2013
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	77	1998
Interconnecting formalisms: supporting modularity, reuse and incrementality JL Fiadeiro, T Maibaum Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995	74	1995

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori