José Luiz Fiadeiro

인용

	전체	2018년 이후
서지정보	5846	652
h-index	40	10
i10-index	108	10

380

190

285

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202351 115 88 90 126 123 103 151 117 153 109 189 307 271 279 224 257 376 271 231 201 197 220 201 188 159 135 103 106 143 86 127 120 70

공개 액세스

모두 보기

자료 6개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de Lisboaciencias.ulisboa.pt의 이메일 확인됨
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster Universitymaibaum.org의 이메일 확인됨
Laura BocchiUniversity of Kentkent.ac.uk의 이메일 확인됨
Georgios KoutsoukosDepartment of Computer Science, Royal Holloway, University of Londonrhul.ac.uk의 이메일 확인됨
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
Kevin LanoDept. of Informatics, King's College Londonkcl.ac.uk의 이메일 확인됨
Ionuț ȚuțuSimion Stoilow Institute of Mathematics of the Romanian Academyimar.ro의 이메일 확인됨
Stefania GnesiISTI-CNR, Italyisti.cnr.it의 이메일 확인됨
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior Técnicomath.tecnico.ulisboa.pt의 이메일 확인됨
Martin WirsingProfessor of Computer Science, LMU Munichlmu.de의 이메일 확인됨
Rosario PuglieseProfessor of Computer Science, University of Florenceunifi.it의 이메일 확인됨
Hans-Dieter EhrichProfesoor emeritus of information systemstu-bs.de의 이메일 확인됨
Bashar NuseibehThe Open University (UK) & Lero (Ireland)open.ac.uk의 이메일 확인됨
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, Italyisti.cnr.it의 이메일 확인됨
Roberto BruniUniversity of Pisadi.unipi.it의 이메일 확인됨
Leonor BarrocaThe Open Universityopen.ac.uk의 이메일 확인됨
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of Warsawmimuw.edu.pl의 이메일 확인됨
Nora KochUniversidad de Sevilla, LMUiwt2.org의 이메일 확인됨
Schahram DustdarProfessor of Computer Science, Member of Academia Europaea, IEEE|EAI|AAIA Fellow, TU Wien, Austriadsg.tuwien.ac.at의 이메일 확인됨

팔로우

José Luiz Fiadeiro

Professor of Computer Science, University of Dundee

dundee.ac.uk의 이메일 확인됨 - 홈페이지

Software Engineering Formal Methods


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics) S Carlo, F Bonifacio Lecture Notes in Computer Science 12786, 3-20, 2021	344*	2021
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, 239-272, 1992	227	1992
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	201	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	177	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	139	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	132	2006
Describing, structuring and implementing objects J Fiadeiro, T Maibaum Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	123	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	107	1999
Chapter 5. A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming: Advanced Lectures, 178-221, 2003	104	2003
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	104	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	91*	2002
Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991	90	1991
Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro ACM SIGSOFT Software Engineering Notes 24 (6), 393-409, 1999	83	1999
A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12, 349-367, 2013	80	2013
Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 1998	76	1998

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자