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

M. HilaireComplexity of the reachability problem for parametric timed automata.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, September 2018. BibTeX )
Th. Chatain, S. Haar, J. Kolcák, A. Thakkar and L. PaulevéConcurrency in Boolean networks.  Research Report hal-01893106, HAL, October 2018. 33 pages. Web page | PDF | BibTeX )
E. LefaucheuxControlling Information in Probabilistic Systems.  Thèse de doctorat, Université Rennes 1, Rennes, France, September 2018. PDF | BibTeX )
N. GrosshansThe limits of Neciporuk's method and the power of programs over monoids taken from small varieties of finite monoids.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, September 2018. BibTeX )
A. MansuttiExtending propositional separation logic for robustness propertiesIn FSTTCS'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, December 2018. BibTeX )

All the LSV publications