Claudia Carapelle

According to our database, Claudia Carapelle authored at least 11 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability.

Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas

ACM Trans. Comput. Log., 2020

2017

Satisfiability of ECTL∗ with Local Tree Constraints.

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Theory Comput. Syst., 2017

2016

Satisfiability of ECTL^⁎ with constraints.

Claudia Carapelle, Alexander Kartzow, Markus Lohrey

J. Comput. Syst. Sci., 2016

Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.

Claudia Carapelle, Anni-Yasmin Turhan

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

On the Satisfiability of Temporal Logics with Concrete Domains

Claudia Carapelle

PhD thesis, 2015

Satisfiability of ECTL* with Tree Constraints.

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Proceedings of the Computer Science - Theory and Applications, 2015

Temporal Logics with Local Constraints (Invited Talk).

Claudia Carapelle, Markus Lohrey

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Satisfiability for MTL and TPTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Language and Automata Theory and Applications, 2014

User-definable Concrete Domains.

Claudia Carapelle

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Satisfiability of CTL* with Constraints.

Claudia Carapelle, Alexander Kartzow, Markus Lohrey

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013