Publications of Claudia Carapelle

From International Center for Computational Logic
Toggle side column

Publications of Claudia Carapelle


Journal Articles

Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Constraints
Journal of Computer and System Sciences, 82(5):826 - 855, 2016
Details


Proceedings Articles

Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints
In D. Lev Beklemishev, V. Daniil Musatov, eds., Proceedings of Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia (CSR 2015), 94 - 108, 2015. Springer International Publishing
Details

Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
Satisfiability for MTL and TPTL over non-monotonic data words
Language and Automata Theory and Applications: 8th International Conference, LATA 2014, 248--259, 2014. Springer International Publishing
Details

Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
On the expressiveness of MTL and TPTL over omega-data words
In Zoltán Ésik, Zoltán Fülöp, eds., Proceedings 14th International Conference on Automata and Formal Languages, volume 151, 174--187, 2014. Electronic Proceedings in Theoretical Computer Science
Details

Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Details


Doctoral Theses

Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
Details Download


Talks and Miscellaneous

Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints
Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
Details