Skip to contents

Blaschek, Günther [Author]

Object oriented programming with prototypes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994
Breitenecker, Felix [Author]; Ecker, Horst [Author]; Bausch-Gall, Ingrid [Author]

Simulation mit ACSL : eine Einführung in die Modellbildung, numerischen Methoden und Simulation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1993

Published in: Fortschritte in der Simulationstechnik ; 2
Staiger, Ludwig [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Syntactic congruences for omega-languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,7
Maler, Oded [Author]; Staiger, Ludwig [Author]

On syntactic congruences for [omega]-languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, [1993]

Published in: Aachener Informatik-Berichte ; 199313
Boker, Udi [Author] ; Udi Boker [Contributor]

On the (In)Succinctness of Muller Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Angluin, Dana [Author]; Boker, Udi [Author]; Fisman, Dana [Author] ; Dana Angluin and Udi Boker and Dana Fisman [Contributor]

Families of DFAs as Acceptors of omega-Regular Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Ciancia, Vincenzo [Author]; Venema, Yde [Author] ; Vincenzo Ciancia and Yde Venema [Contributor]

Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Almagor, Shaull [Author]; Kuperberg, Denis [Author]; Kupferman, Orna [Author] ; Shaull Almagor and Denis Kuperberg and Orna Kupferman [Contributor]

The Sensing Cost of Monitoring and Synthesis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Almagor, Shaull [Author]; Kuperberg, Denis [Author]; Kupferman, Orna [Author] ; Shaull Almagor and Denis Kuperberg and Orna Kupferman [Contributor]

Regular Sensing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Casares, Antonio [Author]; Colcombet, Thomas [Author]; Fijalkow, Nathanaël [Author] ; Antonio Casares and Thomas Colcombet and Nathanaël Fijalkow [Contributor]

Optimal Transformations of Games and Automata Using Muller Conditions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Fleischer, Lukas [Author]; Kufleitner, Manfred [Author] ; Lukas Fleischer and Manfred Kufleitner [Contributor]

Efficient Algorithms for Morphisms over Omega-Regular Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Kupferman, Orna [Author]; Vardi, Gal [Author] ; Orna Kupferman and Gal Vardi [Contributor]

On Relative and Probabilistic Finite Counterability

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Agethen, Christine [Author] ; Moor, Thomas [Other]; Raisch, Jörg [Other]

A Hierarchical Control Architecture for ω-Languages

View online
Schließen

Access

https://d-nb.info/1129957608/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: FAU University Press, 2017

Published in: FAU Forschungen, Reihe B, Medizin, Naturwissenschaft, Technik ; 16
Finkel, Olivier [Author]; Lecomte, Dominique [Author] ; Olivier Finkel and Dominique Lecomte [Contributor]

Topological Complexity of omega-Powers: Extended Abstract

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
Brengos, Tomasz [Author] ; Tomasz Brengos [Contributor]

A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Fisman, Dana [Author]

Polynomial Identification of $\omega$-Automata

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
Carton, Olivier [Author]; Finkel, Olivier [Author]; Lecomte, Dominique [Author] ; Olivier Carton and Olivier Finkel and Dominique Lecomte [Contributor]

Polishness of Some Topologies Related to Automata

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Casares, Antonio [Author]; Colcombet, Thomas [Author]; Lehtinen, Karoliina [Author] ; Antonio Casares and Thomas Colcombet and Karoliina Lehtinen [Contributor]

On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Vandenhove, Pierre [Author] ; université Paris-Saclay [Contributor]; Université de Mons [Contributor]; Bouyer-Decitre, Patricia [Contributor]; Randour, Mickaël [Contributor]

Strategy complexity of zero-sum games on graphs ; Complexité des stratégies des jeux sur graphes à somme nulle

View online
Schließen

Links

http://www.theses.fr/2023UPASG029/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2023-04-26
Bojanczyk, Mikolaj [Author] ; Mikolaj Bojanczyk [Contributor]

Beyond omega-Regular Languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication