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

• A. Da Costa, F. Laroussinie and N. Markey.  Quantified CTL: expressiveness and model checking.  Research Report LSV-12-02, Laboratoire Spécification et Vérification, ENS Cachan, France,  2012. 16 pages. ( PDF | BibTeX )
• R. Saint Bauzel and A. Finkel.  Se représenter pour mieux apprendre: les représentations mentales comme outils didactiques favorisant la transmission du savoir.  In SFP'11, pages 171-173.  2011. ( PDF | BibTeX )
• C. Gardent, G. Perrier, Y. Parmentier and S. Schmitz.  Lexical Disambiguation in LTAG using Left Context.  In LTC'11.  2011. ( Web page | BibTeX )
• B. Bérard, S. Haddad and M. Sassolas.  Interrupt Timed Automata: verification and expressiveness.  Formal Methods in System Design, 2012. To appear. ( PDF | BibTeX )
• B. Bollig and D. Kuske.  An optimal construction of Hanf sentences.  Journal of Applied Logic, 2012. To appear. ( PDF | BibTeX )

All the LSV publications