| Publication | Date of Publication | Type |
|---|
| The modal cube revisited: semantics without worlds | 2026-02-10 | Paper |
Unified opinion formation analysis in rewriting logic
Journal of Logical and Algebraic Methods in Programming | 2025-12-30 | Paper |
Formal analysis of real-time systems with user-defined strategies in rewriting logic
Journal of Logical and Algebraic Methods in Programming | 2025-08-08 | Paper |
| Reasoning about group polarization: from semantic games to sequent systems | 2025-02-19 | Paper |
| A subexponential view of domains in session types | 2025-01-13 | Paper |
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Fundamenta Informaticae | 2024-10-22 | Paper |
| Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | 2023-11-16 | Paper |
An assertion language for slicing constraint logic languages
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
A logical framework for modelling breast cancer progression
Molecular Logic and Computational Synthetic Biology | 2023-10-20 | Paper |
Proving structural properties of sequent systems in rewriting logic
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
| scientific article; zbMATH DE number 7700608 (Why is no real title available?) | 2023-06-23 | Paper |
A linear logic framework for multimodal logics
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
A focused linear logical framework and its application to metatheory of object logics
Mathematical Structures in Computer Science | 2022-01-20 | Paper |
| The ILLTP library for intuitionistic linear logic | 2021-12-20 | Paper |
The ILLTP library for intuitionistic linear logic
(available as arXiv preprint) | 2021-12-20 | Paper |
Dynamic slicing for concurrent constraint languages
Fundamenta Informaticae | 2021-05-20 | Paper |
| A fresh view of linear logic as a logical framework | 2021-02-22 | Paper |
| A constraint-based language for multiparty interactions | 2021-02-22 | Paper |
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
(available as arXiv preprint) | 2021-01-08 | Paper |
Verification techniques for a network algebra
Fundamenta Informaticae | 2020-11-09 | Paper |
A game model for proofs with costs
(available as arXiv preprint) | 2020-05-14 | Paper |
| Mechanizing focused linear logic in Coq | 2019-11-12 | Paper |
Hybrid linear logic, revisited
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
A uniform framework for substructural logics with modalities
EPiC Series in Computing | 2019-01-10 | Paper |
A concurrent constraint programming interpretation of access permissions
Theory and Practice of Logic Programming | 2018-05-31 | Paper |
| From cut-free calculi to automated deduction: the case of bounded contraction | 2018-04-23 | Paper |
Hybrid and subexponential linear logics
(available as arXiv preprint) | 2018-04-23 | Paper |
Abstract interpretation of temporal concurrent constraint programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Slicing concurrent constraint programs
Lecture Notes in Computer Science | 2017-10-13 | Paper |
On subexponentials, focusing and modalities in concurrent systems
Theoretical Computer Science | 2017-09-12 | Paper |
On concurrent behaviors and focusing in linear logic
Theoretical Computer Science | 2017-06-15 | Paper |
Symbolic Semantics for Multiparty Interactions in the Link-Calculus
SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
| Verification of spatial and temporal modalities in biochemical systems | 2016-12-16 | Paper |
| A symbolic model for timed concurrent constraint programming | 2016-08-01 | Paper |
| Proving concurrent constraint programming correct, revisited | 2016-08-01 | Paper |
A proof theoretic view of spatial and temporal dependencies in biochemical systems
Theoretical Computer Science | 2016-07-15 | Paper |
| Dynamic spaces in concurrent constraint programming | 2016-05-10 | Paper |
A declarative view of signaling pathways
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Subexponential concurrent constraint programming
Theoretical Computer Science | 2015-12-08 | Paper |
Foundations for reliable and flexible interactive multimedia scores
Mathematics and Computation in Music | 2015-08-20 | Paper |
Models and emerging trends of concurrent constraint programming
Constraints | 2015-06-15 | Paper |
A proof theoretic study of soft concurrent constraint programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
A general proof system for modalities in concurrent constraint programming
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Logic Programming | 2009-03-05 | Paper |
