dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mark Marron Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Ondrej Lhoták, Anindya Banerjee: Programming Paradigm Driven Heap Analysis. CC 2012: 41-60
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron: Structural Analysis: Shape Information via Points-To Computation CoRR abs/1201.1277: (2012)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding CoRR abs/1201.1327: (2012)
2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Mark Marron: Preface. Electr. Notes Theor. Comput. Sci. 279(1): 1 (2011)
2010
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur: Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrister 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrister 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Krister M. Swenson, Bernard M. E. Moret: Genomic Distances under Deletions and Insertions. Theor. Comput. Sci. 325(3): 347-360 (2004)
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Krister M. Swenson, Bernard M. E. Moret: Genomic Distances under Deletions and Insertions. COCOON 2003: 537-547

Coauthor Index

1Anindya Banerjee [15]
2Joel V. Earnest-DeYoung [3] [6]
3Manuel Fähndrich [13]
4Pierre Ganty [12]
5Manuel V. Hermenegildo [4] [5] [7] [8] [9] [10]
6Deepak Kapur [4] [5] [7] [8] [9] [10] [11]
7Ondrej Lhoták [15]
8Rupak Majumdar [11]
9Mario Méndez-Lojo [7]
10Bernard M. E. Moret [1] [2] [3] [6]
11Cesar Sanchez [13]
12Darko Stefanovic [4] [5] [7] [8] [9] [11]
13Zhendong Su [13]
14Krister M. Swenson [1] [2] [3] [6]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page