LSV Publications

You can search for specific entries in the whole list of publications (including those published while their author was not at LSV).

Search for publications

in the "author" field (with reg. exp., e.g. (foo|bar)).
AND in the "title" field
AND in the "year" field (with reg. exp., e.g. 200(4|5)).
AND in the "abstract" field
AND in the whole entry
Restrict to publications at LSV
Sort by year

About LSV

Select by Year

Latest publications

All the LSV publications

Th. Chatain, M. Comlan, D. Delfieu, L. Jezequel and O. H. RouxPomsets and Unfolding of Reset Petri NetsIn LATA'18, LNCS. Springer, April 2018. To appear. BibTeX )
S. HaddadMemoryless determinacy of finite parity games: Another simple proofInformation Processing Letters 132, pages 19-21, April 2018. PDF | BibTeX )
S. Demri, É. Lozes and A. MansuttiThe Effects of Adding Reachability Predicates in Propositional Separation LogicIn FoSSaCS'18, LNCS. Springer, April 2018. To appear. BibTeX )
P. BouyerGames on graphs with a public signal monitoringIn FoSSaCS'18, LNCS. Springer, April 2018. To appear. Web page | BibTeX )
S. SchmitzAlgorithmic Complexity of Well-Quasi-Orders.  Mémoire d'habilitation, École Normale Supérieure Paris-Saclay, France, November 2017. Web page | BibTeX )

All the LSV publications