Concepedia

Roberto Lublinerman

RL

Statistics

Publications

17

Citations

814

H-Index

15

Active since

2006

Affiliations

Pennsylvania State University(Current)

Cadence Design Systems (United States)

Microsoft (United States)

Rice University

University of Pennsylvania

Roberto Lublinerman is an author at Pennsylvania State University specializing in computer science, computing, and programming languages.

Publications per year

2006–2013

17

Publications

17

Proving programs robust

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman et al. · 2011 · 140 citations

Computing, Computer Science, Formal Methods +15

Detecting and matching repeated patterns for automatic geo-tagging in urban environments

Grant Schindler, Panchapagesan Krishnamurthy, Roberto Lublinerman et al. · 2008 · 121 citations · Full text

Computing, Geoinformatics, Computer Vision +16

Continuity analysis of programs

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman · 2010 · 112 citations

Computing, Computer Science, Mathematics +15

Continuity and robustness of programs

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman · Communications of the ACM · 2012 · 90 citations

Computing, Computer Science, Mathematics +13

Image de-fencing

Yanxi Liu, Tamara Belkina, James Hays et al. · 2008 · 62 citations

Computing, Computer Science, Computer Vision +12

1–5 of 17