Claudia Carapelle

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
On the expressiveness of TPTL and MTL over \(\omega\)-data words (available as arXiv preprint)	2021-06-22	Paper
On the expressiveness of TPTL and MTL over \(\omega\)-data words	2021-06-22	Paper
MTL and TPTL for One-Counter Machines ACM Transactions on Computational Logic	2020-02-14	Paper
scientific article; zbMATH DE number 6902582 (Why is no real title available?)	2018-07-12	Paper
Satisfiability of \(\mathrm{ECTL}^\) with local tree constraints Theory of Computing Systems*	2017-10-20	Paper
Temporal logics with local constraints (invited talk)	2017-08-31	Paper
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints Journal of Computer and System Sciences	2016-04-18	Paper
Satisfiability of \(\mathsf {ECTL}^\) with tree constraints Lecture Notes in Computer Science*	2015-10-20	Paper
Satisfiability for MTL and TPTL over non-monotonic data words Language and Automata Theory and Applications	2014-03-31	Paper
Satisfiability of \(\mathrm{CTL}^{}\) with constraints CONCUR 2013 – Concurrency Theory*	2013-08-12	Paper

Research outcomes over time

This page was built for person: Claudia Carapelle