Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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
 
© EPFL 2018 - Legal notice