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

F. GilbertExtending higher-order logic with predicate subtyping.  Thèse de doctorat, Université Paris 7, Paris, France, April 2018. PDF | BibTeX )
G. BurelLinking Focusing and Resolution with Selection.  Research Report hal-01670476, HAL Research Report, April 2018. Web page | PDF | BibTeX )
M. Függer, Th. Nowak and M. SchwarzTight Bounds for Asymptotic and Approximate ConsensusIn PODC'18. ACM Press, July 2018. To appear. Web page | PDF (long version) | BibTeX )
A. Saoud, A. Girard and L. FribourgContract based Design of Symbolic Controllers for Vehicle PlatooningIn HSCC'18, pages 277-278. ACM Press, April 2018. Poster. PDF | BibTeX )
F. BlanquiSize-based termination of higher-order rewritingJournal of Functional Programming 28, April 2018. Web page | PDF | BibTeX )

All the LSV publications