| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Andrea Flexeder, Michael Petter, Helmut Seidl: Side-Effect Analysis of Assembly Code. SAS 2011: 77-94 |
| 4 | | 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) |
| 3 | | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl: Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203 |
| 2 | | Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314 |
| 1 | | Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299 |
Selection of 5 from 5 records - Andrea Flexeder has 4 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page