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

J. Maier, M. Függer, T. Nowak and U. SchmidTransistor-Level Analysis of Dynamic Delay ModelsIn ASYNC'19. IEEE Computer Society, May 2019. To appear. BibTeX )
B. Bollig, P. Bouyer and F. ReiterIdentifiers in Registers - Describing Network Algorithms with LogicIn FoSSaCS'19, LNCS. Springer, April 2019. To appear. Web page | PDF | BibTeX )
P. Jancar and S. SchmitzBisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete, Preprint, 2019. Web page | BibTeX )
S. Colin, R. Lepigre and G. SchererUnboxing Mutually Recursive Type DefinitionsIn JFLA'19. January 2019. To appear. PDF | BibTeX )
S. Haar, J. Kolcák and L. PaulevéCombining Refinement of Parametric Models with Goal-Oriented Reduction of DynamicsIn VMCAI'19, LNCS. Springer, January 2019. To appear. Web page | PDF | BibTeX )

All the LSV publications