Travelled to:1 × France
1 × Japan
1 × Switzerland
Collaborated with:∅ D.Lecomte O.Carton
Talks about:automata (3) some (2) incomplet (1) hierarchi (1) topolog (1) theorem (1) infinit (1) counter (1) wagner (1) polish (1)
Person: Olivier Finkel
DBLP: Finkel:Olivier
Contributed to:
2015
200720012017Wrote 4 papers:
- ICALP-v2-2015-Finkel #automaton #infinity #scalability #theorem #word
- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words (OF), pp. 222–233.
- CSL-2007-FinkelL #rank
- There Exist Some ω-Powers of Any Borel Rank (OF, DL), pp. 115–129.
- CSL-2001-Finkel #automaton #effectiveness
- An Effective Extension of the Wagner Hierarchy to Blind Counter Automata (OF), pp. 369–383.
- CSL-2017-CartonFL #automaton
- Polishness of Some Topologies Related to Automata (OC, OF, DL), p. 16.