Philippe Schnoebelen

Senior Researcher, CNRS

• Selected Publications
• To Know More

• Find our lectures notes on Algorithmic Aspects of WQO Theory (a course given jointly with Sylvain Schmitz at ESSLLI 2012).

• Taming hard reachability problems: the ReachHard project started in September 2011. We are currently looking for PhD candidates.

• Pour l'année 2012-13, je propose un sujet de M2 intitulé Post Embedding Problems, Dickson's Lemma, and Master Problems for Monotonic Counter Systems.

• The Regular Post Embedding Problem.

• Temporal logic with past is exponentially more expressive.

• Un lien vers le site de la section 6 du comité national (de la recherche scientifique).

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique