Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
publications [2014/01/14 09:31] vkuncak |
publications [2014/07/02 12:49] kuraj [Master's Theses (Partial List)] |
||
---|---|---|---|
Line 20: | Line 20: | ||
[[http://infoscience.epfl.ch/search?ln=en&p=author%3A%22Kuncak%2C+V.%22+or+author%3A%22Piskac%2C+R.%22+or+author%3A%22Jacobs%2C+S.%22+or+author%3A%22Hojjat%2C+H.%22&sf=year&rg=100|Partial List from EPFL Infoscience]] | [[http://infoscience.epfl.ch/search?ln=en&p=author%3A%22Kuncak%2C+V.%22+or+author%3A%22Piskac%2C+R.%22+or+author%3A%22Jacobs%2C+S.%22+or+author%3A%22Hojjat%2C+H.%22&sf=year&rg=100|Partial List from EPFL Infoscience]] | ||
- | ===== Master's Theses ===== | + | ===== Master's Theses (Partial List) ===== |
* Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | ||
Line 30: | Line 30: | ||
* 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]] | ||
* 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]] | ||
+ | * Ivan Kuraj: [[http://infoscience.epfl.ch/record/183898|Interactive Code Generation]] | ||
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. |