Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Quaas, Karin
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

First Steps Towards Taming Description Logics with Strings:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Demri, Stéphane ; Quaas, Karin - p. 322-337 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Computing Branching Distances Using Quantitative Games:

, In: Theoretical Aspects of Computing – ICTAC 2019; Lecture Notes in Computer Science,
Fahrenberg, Uli ; Legay, Axel ; Quaas, Karin - p. 59-75 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Revisiting reachability in timed automata:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,
Quaas, Karin ; Shirmohammadi, Mahsa ; Worrell, James - p. 1-12 , 2017
Link: https://dl.acm.org/doi/1..
 
?
4

Zone-based universality analysis for single-clock timed aut..:

, In: Proceedings of the 2007 international conference on Fundamentals of software engineering,
Abdulla, Parosh Aziz ; Ouaknine, Joël ; Quaas, Karin. - p. 98-112 , 2007
Link: https://dl.acm.org/doi/1..
 
?
5

Zone-Based Universality Analysis for Single-Clock Timed Aut..:

, In: Lecture Notes in Computer Science; International Symposium on Fundamentals of Software Engineering,
Abdulla, Parosh Aziz ; Ouaknine, Joël ; Quaas, Karin. - p. 98-112 ,
Link: https://doi.org/10.1007/..
 
1-5