Carlos Pombo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A dynamic temporal logic for quality of service in choreographic models	2024-09-13	Paper
(Heterogeneous) structured specifications in logics without interpolation	2024-09-06	Paper
Automated QoS-aware service selection based on soft constraints	2024-06-26	Paper
scientific article; zbMATH DE number 7633799 (Why is no real title available?) (available as arXiv preprint)	2022-12-16	Paper
Boosting the reuse of formal specifications	2018-10-04	Paper
A full operational semantics for asynchronous relational networks Recent Trends in Algebraic Development Techniques	2016-02-25	Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\) Formal Aspects of Computing	2016-01-06	Paper
A propositional tableaux based proof calculus for reasoning with default rules Lecture Notes in Computer Science	2015-12-11	Paper
A heterogeneous characterisation of component-based system design in a categorical setting Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
A compositional automata-based approach for model checking multi-agent systems Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
Satisfiability calculus: the semantic counterpart of a proof calculus in general logics Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
On improving backwards verification of timed automata (extended abstract) Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting Lecture Notes in Computer Science	2010-08-31	Paper
Complete calculi for structured specifications in fork algebra Lecture Notes in Computer Science	2010-08-31	Paper
Fork Algebras as a Sufficiently Rich Universal Institution Algebraic Methodology and Software Technology	2009-04-28	Paper
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Interpretability of first-order linear temporal logics in fork algebras The Journal of Logic and Algebraic Programming	2006-03-16	Paper

Research outcomes over time

This page was built for person: Carlos Pombo