Claudia Carapelle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2016
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ECAI | Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. | Claudia Carapelle, Anni-Yasmin Turhan |
| 2015 | CSL | Temporal Logics with Local Constraints (Invited Talk). | Claudia Carapelle, Markus Lohrey |
| 2015 | CSR | Satisfiability of ECTL* with Tree Constraints. | Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey |
| 2014 | LATA | Satisfiability for MTL and TPTL over Non-monotonic Data Words. | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |
| 2013 | CONCUR | Satisfiability of CTL* with Constraints. | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |