Differences
This shows you the differences between two versions of the page.
| 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]] | ||
| + | |||