Concepedia

Eric Mercer

EM

Statistics

Publications

18

Citations

394

H-Index

12

Active since

1974

Affiliations

Brigham Young University(Current)

University of Utah

Kansas State University

Adventium Labs (United States)

IBM (United States)

Eric Mercer is an author at Brigham Young University specializing in computer science, computer engineering, and computing.

Publications per year

1974–2022

18

Publications

18

Synchronous interlocked pipelines

Hans M. Jacobson, Prabhakar Kudva, Pradip Bose et al. · 2004 · 86 citations

Engineering, Computer Engineering, Computer Science +17

Load Balancing Parallel Explicit State Model Checking

Rahul Kumar, Eric Mercer · Electronic Notes in Theoretical Computer Science · 2005 · 55 citations · Full text

Computing, Computer Science, High-performance Computing +15

Cyberassured Systems Engineering at Scale

Darren Cofer, Isaac Amundson, Junaid Babar et al. · IEEE Security & Privacy · 2022 · 27 citations

Engineering, Cybersecurity, Systems Engineering +17

MCC: A runtime verification tool for MCAPI user applications

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer et al. · 2009 · 25 citations

Computing, Computer Engineering, Computer Science +14

Modular verification of timed circuits using automatic abstraction

Hao Zheng, Eric Mercer · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2003 · 25 citations

Computing, Computer Engineering, Computer Science +16

1–5 of 18