Concepedia

Aman Goel

AG

Statistics

Publications

6

Citations

163

H-Index

6

Active since

2003

Affiliations

University of Michigan(Current)

University of Southern California

Aman Goel is an author at University of Michigan specializing in computer science, computing, and computer engineering.

Publications per year

2003–2021

6

Publications

6

SCADDAR: an efficient randomized technique to reorganize continuous media blocks

Aman Goel, Cyrus Shahabi, Shunan Yao et al. · 2003 · 71 citations

Computing, Computer Engineering, Computer Science +17

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin et al. · 2019 · 41 citations · Full text

Computing, Computer Science, Distributed Systems +15

Interactively mapping data sources into the semantic web

Craig A. Knoblock, Pedro Szekely, José Luis Ambite et al. · 2011 · 16 citations

Computing, Computer Science, Information Systems +13

Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs

Aman Goel, Karem A. Sakallah · 2019 · 13 citations

Engineering, Computer Engineering, Computer Science +15

Towards an Automatic Proof of Lamport's Paxos

Aman Goel, Karem A. Sakallah · arXiv (Cornell University) · 2021 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 6