Claudia Carapelle

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Constraint Satisfaction

Top Venues

J. Comput. Syst. Sci.

ACM Trans. Comput. Log.

Publications

Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. 21 (2) (2020)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst. 61 (2) (2017)
Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. ECAI (2016)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
with constraints. J. Comput. Syst. Sci. 82 (5) (2016)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Tree Constraints. CSR (2015)
Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints (Invited Talk). CSL (2015)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints. CoRR (2014)
Claudia Carapelle
User-definable Concrete Domains. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Satisfiability for MTL and TPTL over Non-monotonic Data Words. LATA (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. AFL (2014)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints. CONCUR (2013)
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with constraints. CoRR (2013)