Karin Quaas und Universität Leipzig - Info zur Person

(1 - 12 von 12

)

Karin Quaas - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Karin Quaas. MathSciNet. Dr. rer. nat. Universität Leipzig Germany. Dissertation: Kleene-Schützenberger and Büchi Theorems for Weighted Timed ...

Manfred Droste - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Christian Pech: Technische Universität Dresden: 2003: Karin Quaas: Universität Leipzig: 2010: Simone Wallutis (nee Pabst) Universität Duisburg-Essen: 1994

Developments in Language Theory: 13th International Conference, DLT...

books.google.de

, Proceedings Volker Diekert, Dirk Nowotka. Weighted Timed MSO Logics Karin Quaas Institut für Informatik, Universität Leipzig Leipzig, Germany ...

Formal Modeling and Analysis of Timed Systems: 7th ...books.google.com › books

books.google.ae

... Ouaknine, Frits W. Vaandrager. On the Supports of Recognizable Timed Series Karin Quaas Institut für Informatik, Universität Leipzig Leipzig, Germany ...

Institut für Informatik - Karin Quaas

www.informatik.uni-leipzig.de

Universität Leipzig Institut für Informatik Automaten und Sprachen: Karin Quaas: Address: Universität Leipzig Institut für Informatik PF

Highlights of Logic, Games and Automata

logic.las.tu-berlin.de

... University of Warsaw; Gabriele Puppis, LaBRI; David Purser, The University of Warwick; Karin Quaas, Universität Leipzig; Jean-Florent Raymond, TU Berlin ...

A Kleene-Schützenberger Theorem for Weighted Timed Automata |...

link.springer.com

A Kleene-Schützenberger Theorem for Weighted. Timed Automata. Manfred Droste and Karin Quaas. Institut für Informatik, Universität Leipzig Leipzig ...

Model Checking Metric Temporal Logic over SpringerLinklink.springer.com › chapter

link.springer.com

Karin Quaas. Karin Quaas Institut für InformatikUniversität LeipzigLeipzigGermany. Conference paper. 3 Citations · 1 Readers · 848 Downloads. Part of the ...

Weighted Timed MSO Logics | SpringerLinklink.springer.com › chapter

link.springer.com

Karin Quaas Institut für InformatikUniversität LeipzigLeipzigGermany. Conference paper. 5 Citations; 380 Downloads. Part of the Lecture Notes in Computer ...

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... Gethin Norman (University of Glasgow, GB); Mikkel Larsen Pedersen (Aalborg University, DK); Karin Quaas (Universität Leipzig, DE); Anne Remke (University ...

Alle Infos zum Namen "Karin Quaas"

Automata Theory | MIMUWwww.mimuw.edu.pl › seminaria › automata-theory

www.mimuw.edu.pl

Karin Quaas (Universität Leipzig). The Containment Problem for Unambiguous Register Automata. We investigate the complexity of the containment problem: ...

LICS 2019

lics.siglog.org

... Sophie Pinchinat, University of Rennes, France; Andrew Pitts, University of Cambridge, UK; Karin Quaas, Universität Leipzig, Germany; Jean-François Raskin, ...

Verwandte Suchanfragen zu Karin Quaas

Arno Pauly
Manfred Droste
Joël Ouaknine

Benedikt Bollig
Aziz Abdulla
Dorit Classen

Stephan Hoffmann
Sabine Schulte
Christian Quaas

Person "Quaas" (3)
Vorname "Karin" (50302)
Name "Quaas" (429)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Karin Quaas und Universität Leipzig Person-Info