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

S. HalfonOn Effective Representations of Well Quasi-Orderings.  Thèse de doctorat, École Normale Supérieure Paris-Saclay, France, June 2018. BibTeX )
P. Gastin, S. Mukherjee and B. SrivathsanReachability in timed automata with diagonal constraintsIn CONCUR'18, Leibniz International Proceedings in Informatics 118. Leibniz-Zentrum für Informatik, September 2018. To appear. BibTeX )
B. Bollig, M. Fortin and P. GastinIt Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before''In CONCUR'18, Leibniz International Proceedings in Informatics 118. Leibniz-Zentrum für Informatik, September 2018. To appear. PDF (long version) | BibTeX )
B. Bérard, P. Bouyer and V. JugéFinite bisimulations for dynamical systems with overlapping trajectoriesIn CSL'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2018. To appear. BibTeX )
R. Chane-Yack-Fa, M. Frappier, A. Mammar and A. FinkelParameterized Verification of Monotone Information SystemsFormal Aspects of Computing, 2018. To appear. BibTeX )

All the LSV publications