Travelled to:1 × Austria
1 × Denmark
1 × Greece
1 × Italy
1 × Japan
2 × United Kingdom
Collaborated with:∅ M.Zeitoun M.Bojanczyk L.Segoufin J.Hoppenbrouwers
Talks about:languag (5) tree (4) regular (3) character (2) quantifi (2) altern (2) separ (2) order (2) logic (2) first (2)
Person: Thomas Place
DBLP: Place:Thomas
Contributed to:
2015
20142014201220102009
2008
2000Wrote 9 papers:
- LICS-2015-Place #quantifier #regular expression
- Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
- ICALP-v2-2014-PlaceZ #first-order #quantifier #word
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (TP, MZ), pp. 342–353.
- LICS-CSL-2014-PlaceZ #first-order #logic #regular expression
- Separating regular languages with first-order logic (TP, MZ), p. 10.
- ICALP-v2-2012-BojanczykP #infinity #regular expression #set
- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets (MB, TP), pp. 104–115.
- ICALP-v2-2012-BojanczykP12a #towards
- Toward Model Theory with Data Values (MB, TP), pp. 116–127.
- LICS-2010-PlaceS #xpath
- Deciding Definability in FO2(<) (or XPath) on Trees (TP, LS), pp. 253–262.
- ICALP-v2-2009-PlaceS #decidability
- A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
- CSL-2008-Place #logic
- Characterization of Logics over Ranked Tree Languages (TP), pp. 401–415.
- ECDL-2000-PlaceH #distributed #library #named
- Decomate: Unified Access to Globally Distributed Libraries (TP, JH), pp. 467–470.