E-LIB Suche - Ergebnisse für: Carapelle, Claudia

1

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

Feng, Shiguang ; Carapelle, Claudia ; Gil, Oliver Fernández.
ACM Transactions on Computational Logic (TOCL). 21 (2019) 2 - p. 1-34 , 2019

Link: https://dl.acm.org/doi/1..

2

MTL and TPTL for One-Counter Machines: Expressiveness, Mode..:

Feng, Shiguang ; Carapelle, Claudia ; Gil, Oliver Fernández.
ACM Transactions on Computational Logic. 21 (2019) 2 - p. 1-34 , 2019

Link: https://doi.org/10.1145/..

3

Satisfiability of ECTL∗ with Local Tree Constraints:

Carapelle, Claudia ; Feng, Shiguang ; Kartzow, Alexander.
Theory of Computing Systems. 61 (2017) 2 - p. 689-720 , 2017

Link: https://doi.org/10.1007/..

4

Satisfiability of ECTL⁎ with constraints:

Carapelle, Claudia ; Kartzow, Alexander ; Lohrey, Markus
Journal of Computer and System Sciences. 82 (2016) 5 - p. 826-855 , 2016

Link: https://doi.org/10.1016/..

5

Decidability of ALCP(D) for concrete domains with the EHD-p..:

Carapelle, Claudia ; Turhan, Anni-Yasmin
urn:nbn:de:bsz:14-qucosa2-785040. , 2016

Link: https://nbn-resolving.or..

6

On the Satisfiability of Temporal Logics with Concrete Doma..:

Carapelle, Claudia
urn:nbn:de:bsz:15-qucosa-190987. , 2015

Link: https://nbn-resolving.or..

7

Temporal Logics with Local Constraints (Invited Talk):

Carapelle, Claudia ; Lohrey, Markus
Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). , 2015

Link: https://doi.org/10.4230/..

8

Satisfiability of ECTL* with tree constraints:

Carapelle, Claudia ; Feng, Shiguang ; Kartzow, Alexander.
http://arxiv.org/abs/1412.2905. , 2014

Link: http://arxiv.org/abs/141..

9

Satisfiability of CTL* with constraints:

Carapelle, Claudia ; Kartzow, Alexander ; Lohrey, Markus
http://arxiv.org/abs/1306.0814. , 2013

Link: http://arxiv.org/abs/130..

10

On the Expressiveness of TPTL and MTL over \omega-Data Word:

Carapelle, Claudia ; Feng, Shiguang ; Gil, Oliver Fernández.
http://arxiv.org/abs/1311.6250. , 2013

Link: http://arxiv.org/abs/131..

11

On the Expressiveness of TPTL and MTL over ω-Data Words:

Claudia Carapelle ; Shiguang Feng ; Oliver Fernández Gil.
http://arxiv.org/pdf/1311.6250v2. , 2014

Link: https://doi.org/10.4204/..

12

On the Satisfiability of Temporal Logics with Concrete Doma..:

Carapelle, Claudia , 2015

Link: http://nbn-resolving.de/..

13

The Impact of COVID-19 Quarantine on Patients With Dementia..:

Innocenzo Rainero ; Amalia C. Bruni ; Camillo Marra...
https://www.frontiersin.org/articles/10.3389/fnagi.2020.625781/full. , 2021

Link: https://doi.org/10.3389/..

14

Behavioral and Psychological Effects of Coronavirus Disease..:

Annachiara Cagnin ; Raffaele Di Lorenzo ; Camillo Marra...
https://www.frontiersin.org/article/10.3389/fpsyt.2020.578015/full. , 2020

Link: https://doi.org/10.3389/..