Luís Soares Barbosa

Available identifiers

zbMath Open barbosa.luis-soaresWikidataQ102379527 ScholiaQ102379527MaRDI QIDQ1742619

List of research outcomes

Publication	Date of Publication	Type
Paraconsistent Transition Systems	2024-02-28	Paper
Reactive models for biological regulatory networks	2023-10-20	Paper
Weighted synchronous automata	2023-04-19	Paper
A semantics and a logic for \textit{Fuzzy Arden Syntax}	2022-11-21	Paper
A Refinement Relation for Families of Timed Automata	2022-11-04	Paper
On Kleene Algebras for Weighted Computation	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5039183	2022-10-12	Paper
A tribute to José Manuel Valença	2022-08-26	Paper
Generalising KAT to Verify Weighted Computations	2022-07-19	Paper
A note on reactive transitions and Reo connectors	2021-06-03	Paper
Introducing synchrony in fuzzy automata	2021-01-19	Paper
Asymmetric Combination of Logics is Functorial: A Survey	2020-01-16	Paper
Hierarchical hybrid logic	2019-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4554399	2018-11-14	Paper
A logic for the stepwise development of reactive systems	2018-09-24	Paper
Languages and models for hybrid automata: a coalgebraic perspective	2018-09-24	Paper
On the verification of architectural reconfigurations	2018-05-15	Paper
Layered logics, coalgebraically	2018-04-12	Paper
Hybrid Automata as Coalgebras	2016-12-21	Paper
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems	2016-12-21	Paper
A tribute to José Nuno Oliveira	2016-12-15	Paper
Continuity as a computational effect	2016-12-15	Paper
A Single Complete Relational Rule for Coalgebraic Refinement	2016-08-01	Paper
Refinement by Interpretation in a General Setting	2016-08-01	Paper
A Dynamic Logic for Every Season	2016-04-01	Paper
Completeness and Decidability Results for Hybrid(ised) Logics	2016-04-01	Paper
Refinement in hybridised institutions	2015-07-23	Paper
A Hilbert-style axiomatisation for equational hybrid logic	2015-02-09	Paper
Boilerplates for Reconfigurable Systems: A Language and Its Semantics	2014-04-16	Paper
An Exercise on Transition Systems	2014-01-24	Paper
The role of logical interpretations in program development	2014-01-22	Paper
A coalgebraic perspective on logical interpretations	2013-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q2849889	2013-09-20	Paper
Hybridisation at Work	2013-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2843719	2013-08-23	Paper
Process Calculi à la Bird-Meertens	2013-04-26	Paper
A calculus for generic, QoS-aware component composition	2013-04-25	Paper
Hybrid Specification of Reactive Systems: An Institutional Approach	2011-10-28	Paper
Hybridization of Institutions	2011-09-02	Paper
Slicing for architectural analysis	2010-08-26	Paper
A Coordination Model for Interactive Components	2010-01-28	Paper
A perspective on service orchestration	2009-07-15	Paper
Calculating Invariants as Coreflexive Bisimulations	2009-01-27	Paper
Transposing partial components--an exercise on coalgebraic refinement	2006-12-07	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Components as coalgebras: the refinement dimension	2006-04-06	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4409159	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4762665	2001-02-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luís Soares Barbosa