Claudia Carapelle: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“) |
Claudia Carapelle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Mitarbeiter | {{Mitarbeiter | ||
|Vorname=Claudia | |||
|Nachname=Carapelle | |||
|Akademischer Titel=Dr | |||
|Forschungsgruppe=Automatentheorie | |||
|Stellung=Wissenschaftlicher Mitarbeiter | |||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Telefon=+49 351 463 43507 | |||
|Email=claudia.carapelle@tu-dresden.de | |||
|Raum=APB 3031 | |||
|Info=I completed my PhD in Theoretical Computer Science at Universität Leipzig, Germany, in 2015. | |||
Before that I received a Master's degree in Mathematics from Unversità degli Studi di Firenze, Italy (2012). | |||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen= | |Abschlussarbeiten anzeigen=0 | ||
}} | }} | ||
Version vom 23. März 2016, 10:41 Uhr
Dr Claudia Carapelle
Wissenschaftlicher Mitarbeiter Automatentheorie
- claudia.carapelle@tu-dresden.de
- +49 351 463 43507
- APB 3031
I completed my PhD in Theoretical Computer Science at Universität Leipzig, Germany, in 2015. Before that I received a Master's degree in Mathematics from Unversità degli Studi di Firenze, Italy (2012).
Neueste Publikationen
Komplette Publikationsliste anzeigen
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, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Constraints
Journal of Computer and System Sciences, 82(5):826 - 855, 2016
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, 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
Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
Details Download
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, 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, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Details
