José Luiz Fiadeiro

From MaRDI portal
Person:407505

Available identifiers

zbMath Open fiadeiro.jose-luizWikidataQ102305751 ScholiaQ102305751MaRDI QIDQ407505

List of research outcomes

PublicationDate of PublicationType
Dynamic Reconfiguration via Typed Modalities2023-04-21Paper
https://portal.mardi4nfdi.de/entity/Q50679582022-04-04Paper
https://portal.mardi4nfdi.de/entity/Q52247842019-07-24Paper
Logics for actor networks: a two-stage constrained-hybridisation approach2019-06-20Paper
Dynamic networks of heterogeneous timed machines2018-05-17Paper
Logics for actor networks: a case study in constrained hybridization2018-04-12Paper
https://portal.mardi4nfdi.de/entity/Q31331802018-02-13Paper
Revisiting the Institutional Approach to Herbrand’s Theorem2017-07-11Paper
Heterogeneous and asynchronous networks of timed systems2017-01-23Paper
A Full Operational Semantics for Asynchronous Relational Networks2016-02-25Paper
Service-Oriented Logic Programming2015-08-25Paper
Abstract Constraint Data Types2015-06-22Paper
Heterogeneous Timed Machines2015-01-13Paper
An interface theory for service-oriented design2014-09-02Paper
A Logic-Programming Semantics of Services2013-09-13Paper
https://portal.mardi4nfdi.de/entity/Q28448302013-08-19Paper
A Graph-Based Design Framework for Services2012-10-02Paper
A formal model for service-oriented interactions2012-07-20Paper
Revisiting the Categorical Approach to Systems*2011-05-06Paper
Generic Programming2010-03-09Paper
Structured Co-spans: An Algebra of Interaction Protocols2009-03-10Paper
What Do Semantics Matter When the Meat Is Overcooked?2008-06-19Paper
An algebraic semantics of event-based architectures2007-12-12Paper
Adding mobility to software architectures2006-06-30Paper
Recent Trends in Algebraic Development Techniques2005-11-11Paper
Formal Methods for Components and Objects2005-08-22Paper
A Verification Logic for Rewriting Logic2005-07-13Paper
https://portal.mardi4nfdi.de/entity/Q46734192005-04-29Paper
Categories for Software Engineering2005-02-04Paper
Superposition: Composition vs refinement of non-deterministic, action-based systems2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q47381682004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47383362004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44717202004-07-30Paper
Separating computation, coordination and configuration2003-05-11Paper
Agility through coordination2003-02-11Paper
On local modularity and interpolation in entailment systems.2003-01-21Paper
A graph transformation approach to software architecture reconfiguration2002-10-16Paper
https://portal.mardi4nfdi.de/entity/Q27589182002-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27737982002-03-12Paper
https://portal.mardi4nfdi.de/entity/Q27220432001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q45184142000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q49523162000-10-08Paper
Categorical semantics of parallel program design1997-12-08Paper
Mirror, mirror in my hand: a duality between specifications and models of process behaviour1996-11-18Paper
https://portal.mardi4nfdi.de/entity/Q48708171996-03-26Paper
https://portal.mardi4nfdi.de/entity/Q43143101994-11-21Paper
Models for the substitution axiom of UNITY logic1994-02-24Paper
Temporal theories as modularisation units for concurrent system specification1992-09-27Paper
Temporal Reasoning over Deontic Specifications1991-01-01Paper
Logics of Modal Terms for Systems Specification1990-01-01Paper
Specification and verification of database dynamics1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38200491988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38243951988-01-01Paper
The INFOLOG linear tense propositional logic of events and transactions1986-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: José Luiz Fiadeiro