| 2008 |
|---|
| 9 | EE | Mark Marron,
Manuel V. Hermenegildo,
Deepak Kapur,
Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
CC 2008: 245-259 |
| 8 | EE | Mark Marron,
Darko Stefanovic,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.
LCPC 2008: 94-108 |
| 7 | EE | Mark Marron,
Mario Méndez-Lojo,
Manuel V. Hermenegildo,
Darko Stefanovic,
Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures.
PASTE 2008: 43-49 |
| 6 | EE | Krister M. Swenson,
Mark Marron,
Joel V. Earnest-DeYoung,
Bernard M. E. Moret:
Approximating the true evolutionary distance between two genomes.
ACM Journal of Experimental Algorithmics 12: (2008) |
| 2007 |
|---|
| 5 | EE | Mark Marron,
Darko Stefanovic,
Manuel V. Hermenegildo,
Deepak Kapur:
Heap analysis in the presence of collection libraries.
PASTE 2007: 31-36 |
| 2006 |
|---|
| 4 | EE | Mark Marron,
Deepak Kapur,
Darko Stefanovic,
Manuel V. Hermenegildo:
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.
LCPC 2006: 345-363 |
| 2005 |
|---|
| 3 | EE | Krister M. Swenson,
Mark Marron,
Joel V. Earnest-DeYoung,
Bernard M. E. Moret:
Approximating the True Evolutionary Distance between Two Genomes.
ALENEX/ANALCO 2005: 121-129 |
| 2004 |
|---|
| 2 | EE | Mark Marron,
Krister M. Swenson,
Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions.
Theor. Comput. Sci. 325(3): 347-360 (2004) |
| 2003 |
|---|
| 1 | EE | Mark Marron,
Krister M. Swenson,
Bernard M. E. Moret:
Genomic Distances under Deletions and Insertions.
COCOON 2003: 537-547 |
