Note: you can search for LARA publications on Infoscience

See also Master's theses:

• Remi Bonnet: Well-structured Petri Nets extensions with data
• Mikaël Mayer: Complete Program Synthesis for Linear Arithmetic
• Ersoy Bayramoglu: Programming with Undo
• Sebastian Gfeller: Robust Dynamically Deployed Static Analysis for Java
• Mirco Dotta: State Exploration of Scala Actor Programs
• Philippe Suter: Non-Clausal Satisfiability Modulo Theories
• Gizil Oguz: Decision Tree Learning for Drools