Claudia Carapelle

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