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 |
|---|---|---|
| An automata-based approach for \(\text{CTL}^{*}\) with constraints Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
| Temporal logics of repeating values Journal Of Logic And Computation | 2012-10-19 | Paper |
| The effects of bounding syntactic resources on Presburger LTL Journal Of Logic And Computation | 2010-01-14 | Paper |
| Verification of qualitative \(\mathbb Z\) constraints Theoretical Computer Science | 2008-12-12 | Paper |
| Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| A Decidable Temporal Logic of Repeating Values Logical Foundations of Computer Science | 2008-01-04 | Paper |
| CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
Research outcomes over time
This page was built for person: Régis Gascon
