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]
publications2 [2010/12/14 16:55] (current)
Line 163: Line 163:
 </​style>​ </​style>​
 </​html>​ </​html>​
 +======Our publications ======
 +//Note: you can search for LARA publications on [[http://​​c=Infoscience%2FResearch%2FIC%2FLARA&​as=0&​ln=en|Infoscience]] ​
 <php> <php>
 include '​http://​​curator/​publications/​exporter/​1586/';​ include '​http://​​curator/​publications/​exporter/​1586/';​
 </​php>​ </​php>​
 +See also Master'​s theses:
 +  * Remi Bonnet: [[https://​​record/​148637|Well-structured Petri Nets extensions with data]]
 +  * Mikaël Mayer: [[mikael_msc:​top|Complete Program Synthesis for Linear Arithmetic]]
 +  * Ersoy Bayramoglu: [[http://​​record/​141558|Programming with Undo]]
 +  * Sebastian Gfeller: [[http://​​record/​139555|Robust Dynamically Deployed Static Analysis for Java]]
 +  * Mirco Dotta: [[http://​​record/​135961|State Exploration of Scala Actor Programs]]
 +  * Philippe Suter: [[http://​​record/​126445|Non-Clausal Satisfiability Modulo Theories]]
 +  * Gizil Oguz: [[http://​​record/​126292|Decision Tree Learning for Drools]]