LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
publications [2014/01/14 10:40]
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]] 
- 
- 
-===== LARA Reports and Partial Cumulative List ===== 
- 
-[[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 (Partial List) ===== ===== Master'​s Theses (Partial List) =====
Line 30: Line 17:
   * 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.+