Igor Walukiewicz - Wissenschaftliche Veröffentlichungen

(1 - 8 von 8

)

RWTH-Aachen: B Srivathsan - homepagewww-i2.informatik.rwth-aachen.de › ~sri

www-i2.informatik.rwth-aachen.de

Lazy abstractions for timed automata: with Frédéric Herbreteau and Igor Walukiewicz. Accepted for CAV PDF. Abstractions for timed automata: Ph.D thesis, ...

dblp: Igor Walukiewicz

dblp.uni-trier.de

List of computer science publications by Igor Walukiewicz

Igor Walukiewicz - dblpdblp.org › Persons

dblp.org

List of computer science publications by Igor Walukiewicz.

Igor Walukiewicz. "Transfer theorems" | The 9th International ...logic.pdmi.ras.ru › csr2014 › node

logic.pdmi.ras.ru

Igor Walukiewicz. "Transfer theorems". Abstract: Rice's theorem tells us that no non-trivial property of the behavior of a Turing machine can be ...

Advanced Topics in Infinite Games

www.react.uni-saarland.de

Topics. Zielonka Trees. Stefan Dziembowski, Marcin Jurdziński, Igor Walukiewicz. How Much Memory is Needed to Win Infinite Games? LICS 1997:

dblp: B. Srivathsan

dblp.org

List of computer science publications by B. Srivathsan

dblp: Julien Bernet

dblp.org

List of computer science publications by Julien Bernet

Verwandte Suchanfragen zu Igor Walukiewicz

Anca Muscholl
Christof Löding
Stefan Dziembowski

Personen
Vorname "Igor" (6775)
Name "Walukiewicz" (5)

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

Wissenschaftliche Veröffentlichungen Igor Walukiewicz

RWTH-Aachen: B Srivathsan - homepagewww-i2.informatik.rwth-aachen.de › ~sri

dblp: Igor Walukiewicz

Igor Walukiewicz - dblpdblp.org › Persons

Igor Walukiewicz. "Transfer theorems" | The 9th International ...logic.pdmi.ras.ru › csr2014 › node

Advanced Topics in Infinite Games

dblp: B. Srivathsan

dblp: Julien Bernet