Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
publications [2012/08/15 16:33] vkuncak |
publications [2014/01/14 09:31] vkuncak |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ===== Master's Theses ===== | ===== Master's Theses ===== | ||
| + | * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | ||
| + | * Regis Blanc: [[http://infoscience.epfl.ch/record/182903|Verification of Imperative Programs in Scala]] | ||
| * Remi Bonnet: [[https://infoscience.epfl.ch/record/148637|Well-structured Petri Nets extensions with data]] | * Remi Bonnet: [[https://infoscience.epfl.ch/record/148637|Well-structured Petri Nets extensions with data]] | ||
| * Mikaël Mayer: [[mikael_msc:top|Complete Program Synthesis for Linear Arithmetic]] | * Mikaël Mayer: [[mikael_msc:top|Complete Program Synthesis for Linear Arithmetic]] | ||
| Line 27: | Line 29: | ||
| * Sebastian Gfeller: [[http://infoscience.epfl.ch/record/139555|Robust Dynamically Deployed Static Analysis for Java]] | * Sebastian Gfeller: [[http://infoscience.epfl.ch/record/139555|Robust Dynamically Deployed Static Analysis for Java]] | ||
| * Mirco Dotta: [[http://infoscience.epfl.ch/record/135961|State Exploration of Scala Actor Programs]] | * Mirco Dotta: [[http://infoscience.epfl.ch/record/135961|State Exploration of Scala Actor Programs]] | ||
| - | * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | ||
| * Gizil Oguz: [[http://infoscience.epfl.ch/record/126292|Decision Tree Learning for Drools]] | * Gizil Oguz: [[http://infoscience.epfl.ch/record/126292|Decision Tree Learning for Drools]] | ||
| For publications prior to the forming of LARA in 2007, please see the individual home pages of group members. | For publications prior to the forming of LARA in 2007, please see the individual home pages of group members. | ||