Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
publications [2012/08/15 16:33] vkuncak |
publications [2019/09/18 10:56] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| Publication lists from home pages: | Publication lists from home pages: | ||
| * [[http://lara.epfl.ch/~kuncak/papers/vkuncak.html|Viktor Kuncak]] | * [[http://lara.epfl.ch/~kuncak/papers/vkuncak.html|Viktor Kuncak]] | ||
| - | * [[http://www.mpi-sws.org/~piskac/|Ruzica Piskac]] | ||
| - | * [[http://lara.epfl.ch/~psuter/|Philippe Suter]] | ||
| - | * [[http://icwww.epfl.ch/~hojjat/papers/hojjat.html|Hossein Hojjat]] | ||
| - | * [[http://people.epfl.ch/cgi-bin/people?id=188355&op=publications&lang=en&cvlang=en|Tihomir Gvero]] | ||
| - | * [[http://infoscience.epfl.ch/search?ln=en&p=author%3A+%22Darulova%2C+E%22&sf=year&rg=100|Eva Darulova]] | ||
| - | * [[http://people.epfl.ch/cgi-bin/people?id=175713&op=publications&lang=en&cvlang=en|Etienne Kneuss]] | ||
| - | * [[http://people.epfl.ch/cgi-bin/people?id=200254&op=publications&lang=en&cvlang=en|Andrej Spielmann]] | ||
| - | * [[https://infoscience.epfl.ch/search?ln=en&p=Losa&so=a&f=author&rg=100|Giuliano Losa]] | ||
| + | ===== Master's Theses (Partial List) ===== | ||
| - | ===== LARA Reports and Partial Cumulative List ===== | + | * 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]] | |
| - | [[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 ===== | + | |
| * 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 16: | ||
| * 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]] | ||
| - | + | * 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. | + | |