Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

publications [2014/01/14 10:40]
vkuncak
publications [2014/07/02 12:49] (current)
kuraj [Master's Theses (Partial List)]
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.
 
publications.txt · Last modified: 2014/07/02 12:49 by kuraj