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.
