H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 30 Citations 4,264 144 World Ranking 8774 National Ranking 512

Research.com Recognitions

Awards & Achievements

2017 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software engineering
  • Artificial intelligence

José Luiz Fiadeiro focuses on Programming language, Theoretical computer science, Semantics, Software engineering and Software architecture. His research in Programming language intersects with topics in Deontic logic and Categorical variable. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Action, Kripke models and Atomic formula.

José Luiz Fiadeiro has researched Semantics in several fields, including Calculus, Rotation formalisms in three dimensions, Conservative extension and Institution. His Software engineering study combines topics in areas such as Cryptographic protocol, Software design, Cable gland, Algebraic semantics and Information system. His Software architecture study combines topics in areas such as Diagram, Message passing, Systems architecture and Transient.

His most cited work include:

  • Categories for Software Engineering (167 citations)
  • Temporal theories as modularisation units for concurrent system specification (119 citations)
  • A graph transformation approach to software architecture reconfiguration (113 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of study are Software engineering, Programming language, Theoretical computer science, Distributed computing and Software architecture. His Software engineering research includes themes of Software system, Software development, Component-based software engineering and Business rule. His Theoretical computer science study also includes fields such as

  • Semantics together with Rotation formalisms in three dimensions,
  • Representation most often made with reference to Application domain.

His research in Distributed computing intersects with topics in Automaton and Component. In his articles, José Luiz Fiadeiro combines various disciplines, including Software architecture and Control reconfiguration. José Luiz Fiadeiro has included themes like Linear temporal logic and Concurrency in his Temporal logic study.

He most often published in these fields:

  • Software engineering (28.17%)
  • Programming language (27.23%)
  • Theoretical computer science (21.60%)

What were the highlights of his more recent work (between 2008-2020)?

  • Software engineering (28.17%)
  • Programming language (27.23%)
  • Distributed computing (14.08%)

In recent papers he was focusing on the following fields of study:

José Luiz Fiadeiro focuses on Software engineering, Programming language, Distributed computing, Service-oriented architecture and Formal methods. His work deals with themes such as Software system, Service oriented systems, Human–computer interaction, Service-level agreement and Structure, which intersect with Software engineering. His studies in Software system integrate themes in fields like Software development and Architecture description language.

His study in Programming language concentrates on Operational semantics, Logic programming, Semantics, Correctness and Graph rewriting. His Distributed computing research incorporates elements of Automaton, Temporal logic, Consistency, Asynchronous communication and Component. His work carried out in the field of Asynchronous communication brings together such families of science as Linear temporal logic, Theoretical computer science and Software.

Between 2008 and 2020, his most popular works were:

  • Categories for Software Engineering (167 citations)
  • An abstract model of service discovery and binding (30 citations)
  • A model for dynamic reconfiguration in service-oriented architectures (29 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Software engineering
  • Algebra

His primary areas of investigation include Service-oriented architecture, Software engineering, Distributed computing, Software system and Control reconfiguration. Service and Programming language are the main topics of his Service-oriented architecture study. His studies deal with areas such as Service-level agreement, Software Engineering Process Group, Software development and Social software engineering as well as Software engineering.

José Luiz Fiadeiro has researched Distributed computing in several fields, including Asynchronous communication and Component. José Luiz Fiadeiro focuses mostly in the field of Software system, narrowing it down to topics relating to Architecture description language and, in certain cases, Service provider. His study in Formal methods is interdisciplinary in nature, drawing from both Business logic, Architectural pattern, Semantics, Service Component Architecture and Software development process.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Categories for Software Engineering

Jose Luiz Fiadeiro.
(2010)

270 Citations

Temporal theories as modularisation units for concurrent system specification

J. Fiadeiro;T. Maibaum.
Formal Aspects of Computing (1992)

232 Citations

A graph based architectural (Re)configuration language

Michel Wermelinger;Antónia Lopes;José Luiz Fiadeiro.
foundations of software engineering (2001)

177 Citations

A graph transformation approach to software architecture reconfiguration

Michel Wermelinger;José Luiz Fiadeiro.
Science of Computer Programming (2002)

174 Citations

Categorical semantics of parallel program design

José Luiz Fiadeiro;Tom Maibaum.
Science of Computer Programming (1997)

159 Citations

Structuring theories on consequence

J. Fiadeiro;A. Sernadas.
Annales Des Télécommunications (1988)

158 Citations

Sharing Actions and Attributes in Modal Action Logic

Mark Ryan;José Luiz Fiadeiro;T. S. E. Maibaum.
international conference on theoretical aspects of computer software (1991)

138 Citations

A Formal Approach to Service Component Architecture

José Luiz Fiadeiro;Antónia Lopes;Laura Bocchi.
web services and formal methods (2006)

130 Citations

Describing, Structuring and Implementing Objects

José Luiz Fiadeiro;T. S. E. Maibaum.
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages (1990)

122 Citations

Interconnecting objects via contracts

Luís Filipe Andrade;José Luiz Fiadeiro.
Lecture Notes in Computer Science (1999)

110 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing José Luiz Fiadeiro

Tom Maibaum

Tom Maibaum

McMaster University

Publications: 46

Gunter Saake

Gunter Saake

Otto-von-Guericke University Magdeburg

Publications: 30

Andrzej Tarlecki

Andrzej Tarlecki

University of Warsaw

Publications: 21

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 20

Reiko Heckel

Reiko Heckel

University of Leicester

Publications: 16

David Garlan

David Garlan

Carnegie Mellon University

Publications: 15

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 15

Hartmut Ehrig

Hartmut Ehrig

Technical University of Berlin

Publications: 14

Michael Harrison

Michael Harrison

Newcastle University

Publications: 12

Martin Wirsing

Martin Wirsing

Ludwig-Maximilians-Universität München

Publications: 10

Bradley Schmerl

Bradley Schmerl

Carnegie Mellon University

Publications: 10

Luciano Baresi

Luciano Baresi

Politecnico di Milano

Publications: 9

Martin Gogolla

Martin Gogolla

University of Bremen

Publications: 9

Stefania Gnesi

Stefania Gnesi

Institute of Information Science and Technologies

Publications: 8

Roel Wieringa

Roel Wieringa

University of Twente

Publications: 8

Something went wrong. Please try again later.