Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Thomas, Wolfgang
12402  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

On the Boolean Closure of Deterministic Top-Down Tree Autom..:

Löding, Christof ; Thomas, Wolfgang
http://arxiv.org/abs/2401.06596.  , 2024
Link: http://arxiv.org/abs/240..
 
?
2

Logical Methods in Computer Science – Erfahrungsbericht übe..:

Thomas, Wolfgang ; Milius, Stefan
http://edoc.hu-berlin.de/18452/29008.  , 2023
Link: http://edoc.hu-berlin.de..
 
?
3

Solving Infinite Games in the Baire Space:

Brütsch, Benedikt ; Thomas, Wolfgang
http://arxiv.org/abs/2111.10881.  , 2021
Link: http://arxiv.org/abs/211..
 
?
4

Automata Theory: Infinite Computations (Dagstuhl Seminar 92..:

Compton, Kevin ; Pin, Jean-Eric ; Thomas, Wolfgang
doi:10.4230/DagSemRep.28.  , 2021
Link: https://doi.org/10.4230/..
 
?
5

Diverging effects of premature birth and bronchopulmonary d..:

Ruf, Katharina ; Thomas, Wolfgang ; Brunner, Maximilian..
https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/20244.  , 2019
Link: https://opus.bibliothek...
 
?
6

Diverging effects of premature birth and bronchopulmonary d..:

Ruf, Katharina ; Thomas, Wolfgang ; Brunner, Maximilian..
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/14417.  , 2019
Link: https://opus4.kobv.de/op..
 
?
7

The maternal uniparental disomy of chromosome 6 (upd(6)mat)..:

Eggermann, Thomas ; Oehl-Jaschkowitz, Barbara ; Dicks, Severin...
info:eu-repo/semantics/altIdentifier/issn/2324-9269.  , 2017
Link: https://publications.rwt..
 
?
8

The maternal uniparental disomy of chromosome 6 (upd(6)mat)..:

Eggermann, Thomas ; Oehl‐Jaschkowitz, Barbara ; Dicks, Severin...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5702562/.  , 2017
Link: http://www.ncbi.nlm.nih...
 
?
9

Determinacy of Infinite Games: Perspectives of the Algorith..:

Thomas, Wolfgang
doi:10.4230/LIPIcs.CSL.2017.6.  , 2017
Link: https://doi.org/10.4230/..
 
?
10

Playing Games in the Baire Space:

Brütsch, Benedikt ; Thomas, Wolfgang
http://arxiv.org/abs/1608.00653.  , 2016
Link: http://arxiv.org/abs/160..
 
?
11

LIPIcs : an Open-Access Series for International Conference..:

Herbstritt, Marc ; Thomas, Wolfgang
info:eu-repo/semantics/altIdentifier/wos/WOS:000392518500006.  , 2016
Link: https://publications.rwt..
 
?
12

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061):

Chatterjee, Krishnendu ; Markey, Nicolas ; Thomas, Wolfgang
doi:10.4230/DagRep.5.2.1.  , 2015
Link: https://doi.org/10.4230/..
 
?
13

Optimal Strategy Synthesis for Request-Response Games:

Horn, Florian ; Thomas, Wolfgang ; Wallmeier, Nico.
http://arxiv.org/abs/1406.4648.  , 2014
Link: http://arxiv.org/abs/140..
 
?
14

Degrees of Lookahead in Regular Infinite Games:

Holtmann, Michael ; Kaiser, Lukasz ; Thomas, Wolfgang
http://arxiv.org/abs/1209.0800.  , 2012
Link: http://arxiv.org/abs/120..
 
?
15

Trees over Infinite Structures and Path Logics with Synchro..:

Spelten, Alex ; Thomas, Wolfgang ; Winter, Sarah
http://arxiv.org/abs/1111.3107.  , 2011
Link: http://arxiv.org/abs/111..
 
1-15