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. Fortin, A. Muscholl and I. WalukiewiczModel-checking linear-time properties of parametrized asynchronous shared-memory pushdown systemsIn CAV'17, LNCS. Springer, July 2017. To appear. Web page | BibTeX )
A. Finkel and É. LozesSynchronizability of Communicating Finite State Machines is not DecidableIn ICALP'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2017. To appear. Web page | BibTeX )
G. DowekModels and termination of proof reduction in the λΠ-calculus modulo theoryIn ICALP'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2017. To appear. BibTeX )
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 )

All the LSV publications