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, S. Haar and L. PaulevéMost Permissive Semantics of Boolean Networks.  Research Report 1808.10240, Computing Research Repository, August 2018. 15 pages. Web page | PDF | BibTeX )
G. Barthe, X. Fan, J. Gancher, B. Grégoire, C. Jacomme and E. ShiSymbolic Proofs for Lattice-Based CryptographyIn CCS'18. ACM Press, October 2018. To appear. BibTeX )
D. Baelde, A. Lick and S. SchmitzDecidable XPath Fragments in the Real World, Preprint, 2018. Web page | BibTeX )
D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Tense Logic over Ordinals, Preprint, 2018. Web page | BibTeX )
M. Függer and Th. NowakFast Multidimensional Asymptotic and Approximate ConsensusIn DISC'18, Leibniz International Proceedings in Informatics, pages 27:1-27:15. Leibniz-Zentrum für Informatik, October 2018. Web page | PDF (long version) | BibTeX )

All the LSV publications