Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

publications2 [2010/12/06 10:21]
wikiadmin
publications2 [2010/12/14 16:55] (current)
wikiadmin
Line 163: Line 163:
 </​style>​ </​style>​
 </​html>​ </​html>​
 +
 +======Our publications ======
 +
 +//Note: you can search for LARA publications on [[http://​infoscience.epfl.ch/?​c=Infoscience%2FResearch%2FIC%2FLARA&​as=0&​ln=en|Infoscience]] ​
 +//
  
 <php> <php>
 include '​http://​infoscience.epfl.ch/​curator/​publications/​exporter/​1586/';​ include '​http://​infoscience.epfl.ch/​curator/​publications/​exporter/​1586/';​
 </​php>​ </​php>​
 +
 +See also Master'​s theses:
 +  * 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]]
 +  * Ersoy Bayramoglu: [[http://​infoscience.epfl.ch/​record/​141558|Programming with Undo]]
 +  * 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]]
 +  * 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]]
 +
 
publications2.txt · Last modified: 2010/12/14 16:55 by wikiadmin