Concepedia

Laurent Doyen

LD

30

Publications

1.8K

Citations

24

H-Index

2005

Active since

Affiliations

Institute of Science and Technology Austria(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Université Libre de Bruxelles

École Polytechnique Fédérale de Lausanne

Laurent Doyen is an author at Institute of Science and Technology Austria specializing in engineering, computer science, and business.

Top concepts

EngineeringComputer ScienceBusinessFormal MethodsFormal VerificationComputational ComplexityGame TheoryMechanism DesignComputational Game TheoryGames

Publications per year

2005–2016

30

Publications

30

Algorithms for Omega-Regular Games with Imperfect Information

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger et al. · Logical Methods in Computer Science · 2007 · 170 citations · Full text

Mathematical Programming, Omega-regular Games, Game Graph +15

Quantitative languages

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger · ACM Transactions on Computational Logic · 2010 · 164 citations

Logical Automaton, Engineering, Automated Reasoning +11

Faster algorithms for mean-payoff games

Luboš Brim, Jakub Chaloupka, Laurent Doyen et al. · Formal Methods in System Design · 2010 · 128 citations

Engineering, Mean Field Game, Game Theory +8

Generalized Mean-payoff and Energy Games

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 118 citations · Full text

Mathematical Programming, Engineering, Combinatorial Game +17

Antichains: A New Algorithm for Checking Universality of Finite Automata

Martin Wulf, Laurent Doyen, Thomas A. Henzinger et al. · Lecture notes in computer science · 2006 · 111 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +10

Rows per page

1–5 of 30