- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c5 |      | Andrea Flexeder, Matthias Putz, Thomas A. Runkler: Support vector machines for program analysis. IJCNN 2012: 1-8 |
| 2011 | ||
| j1 | | Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl: Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21 (2011) |
| c4 | | Andrea Flexeder, Michael Petter, Helmut Seidl: Side-Effect Analysis of Assembly Code. SAS 2011: 77-94 |
| 2010 | ||
| c3 | | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl: Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203 |
| 2008 | ||
| c2 | | Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314 |
| 2007 | ||
| c1 | | Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299 |
| 1 | Bogdan Mihaila | |
| 2 | Markus Müller-Olm | |
| 3 | Michael Petter | |
| 4 | Matthias Putz | |
| 5 | Thomas A. Runkler | |
| 6 | Helmut Seidl |
Colors in the list of coauthors
Last update Mon May 20 08:17:08 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page