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. Halfon, Ph. Schnoebelen and G. ZetzscheDecidability, complexity, and expressiveness of first-order logic over the subword orderingIn LICS'17. IEEE Press, June 2017. To appear. Web page | BibTeX )
Th. Colcombet, M. Jurdziński, R. Lazić and S. SchmitzPerfect Half Space GamesIn LICS'17. IEEE Press, June 2017. To appear. BibTeX )
P. O'Hanlon, R. Borgaonkar and L. HirschiMobile subscriber WiFi privacyIn Proceedings of Mobile Security Technologies (MoST'17), held as part of the IEEE Computer Society Security and Privacy Workshops, San Jose, CA, USA, May 2017. 2017. To appear. PDF | BibTeX )
S. Haar, S. Perchy and F. ValenciaD-SPACES: Implementing Declarative Semantics for Spatially Structured InformationIn ICSC'17, IEEE ICSC 11. IEEE Press, January 2017. Web page | PDF | BibTeX )
M. Guzman, S. Haar, S. Perchy, C. Rueda and F. ValenciaBelief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion 86(1), pages 107-133, 2017. Web page | PDF | BibTeX )

All the LSV publications