The following pages link to Luís Soares Barbosa (Q1742619):
Displaying 50 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- (Q820140) (redirect page) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- (Q988165) (redirect page) (← links)
- Slicing for architectural analysis (Q988166) (← links)
- Layered logics, coalgebraically (Q1742620) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- A note on reactive transitions and Reo connectors (Q2028747) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- A tribute to José Manuel Valença (Q2168787) (← links)
- Introducing synchrony in fuzzy automata (Q2219075) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- A tribute to José Nuno Oliveira (Q2374298) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- A Dynamic Logic for Every Season (Q2797867) (← links)
- Completeness and Decidability Results for Hybrid(ised) Logics (Q2797868) (← links)
- (Q2843719) (← links)
- Hybridisation at Work (Q2848960) (← links)
- (Q2849889) (← links)
- The role of logical interpretations in program development (Q2871226) (← links)
- An Exercise on Transition Systems (Q2873687) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Hybridization of Institutions (Q3090875) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- A Coordination Model for Interactive Components (Q3400936) (← links)
- (Q4409159) (← links)
- (Q4554399) (← links)
- (Q4762665) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- (Q5039183) (← links)
- A Refinement Relation for Families of Timed Automata (Q5045465) (← links)
- On Kleene Algebras for Weighted Computation (Q5045470) (← links)
- Generalising KAT to Verify Weighted Computations (Q5089610) (← links)
- Asymmetric Combination of Logics is Functorial: A Survey (Q5208498) (← links)
- Algebraic Methodology and Software Technology (Q5313003) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395120) (← links)
- Boilerplates for Reconfigurable Systems: A Language and Its Semantics (Q5410471) (← links)
- Calculating Invariants as Coreflexive Bisimulations (Q5505417) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710003) (← links)
- Weighted synchronous automata (Q5889309) (← links)