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 and L. PaulevéGoal-Driven Unfolding of Petri NetsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
P. Bouyer, S. Haddad and V. JugéUnbounded product-form Petri netsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
B. Bollig, K. Quaas and A. SangnierThe Complexity of Flat Freeze LTLIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
S. Akshay, P. Gastin, S. N. Krishna and I. SarkarTowards an Efficient Tree Automata based technique for Timed SystemsIn CONCUR'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2017. To appear. BibTeX )
P. Bouyer, S. Jaziri and N. MarkeyOn the Determinization of Timed SystemsIn FORMATS'17. Springer, September 2017. To appear. BibTeX )

All the LSV publications