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
Last revision Both sides next revision
publications [2014/01/14 10:40]
vkuncak
publications [2019/09/18 10:56]
vkuncak [Individual Publication Lists]
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]] 
  
  
Line 30: Line 22:
   * 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.