Concepedia

Thomas Place

TP

10

Publications

177

Citations

10

H-Index

2011

Active since

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Université de Bordeaux

Institut Polytechnique de Bordeaux

Thomas Place is an author at Laboratoire Bordelais de Recherche en Informatique specializing in formal methods, automated reasoning, and linguistics.

Top concepts

EngineeringLinguisticsFormal MethodsAutomated ReasoningComputer ScienceComputational LinguisticsSyntaxLanguageFormal VerificationVerification

Publications per year

2011–2017

10

Publications

10

Separating Regular Languages with First-Order Logic

Thomas Place, Marc Zeitoun · Logical Methods in Computer Science · 2016 · 44 citations · Full text

Engineering, Exptime Algorithm, Verification +16

Separating Regular Languages with Two Quantifiers Alternations

Thomas Place · 2015 · 19 citations

Engineering, Quantifier Alternation Hierarchy, Regular Language +18

Separation and the Successor Relation

Thomas Place, Marc Zeitoun · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 19 citations · Full text

Computational Logic, Order Theory, Successor Relation +14

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages

Thomas Place, Lorijn van Rooijen, Marc Zeitoun · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 17 citations · Full text

Engineering, Verification, Pushdown Automaton +17

The tale of the quantifier alternation hierarchy of first-order logic over words

Thomas Place, Marc Zeitoun · ACM SIGLOG News · 2015 · 17 citations

Non-classical Logic, Logical Fragments, Syntax +15

Rows per page

1–5 of 10