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. F. Atig, B. Bollig and P. HabermehlEmptiness of ordered multi-pushdown automata is 2ETIME-completeInternational Journal of Foundations of Computer Science, 2017. To appear. BibTeX )
S. Demri, D. Kapur and C. Weidenbach (eds.)Special Issue of Selected Extended Papers of IJCAR 2014Journal of Automated Reasoning 58(1), 2017. Web page | BibTeX )
F. ThiréReverse engineering on arithmetic proofs.  Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, August 2016. 26 pages. Web page | PDF | BibTeX )
P. Arrighi, S. Martiel and S. PerdrixReversible Causal Graph DynamicsIn RC'16, LNCS 9720, pages 73-88. Springer, July 2016. Web page | BibTeX )
R. CauderlierA Rewrite System for Proof ConstructivizationIn LFMTP'16, pages 2:1-2:7. ACM Press, June 2016. Web page | PDF | BibTeX )

All the LSV publications