Concepedia

Peter C. Dillinger

PC

Statistics

Publications

6

Citations

181

H-Index

6

Active since

2005

Affiliations

The University of Texas at Austin(Current)

Georgia Institute of Technology

Peter C. Dillinger is an author at The University of Texas at Austin specializing in computer science, computing, and formal methods.

Publications per year

2005–2021

6

Publications

6

Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 53 citations · Full text

Computing, Computer Science, Formal Methods +13

FPGA-Based Real-Time Image Segmentation for Medical Systems and Data Processing

Peter C. Dillinger, J.F. Vogelbruch, Jessica Leinen et al. · IEEE Transactions on Nuclear Science · 2006 · 34 citations

Engineering, Computer Engineering, Computer Science +17

ACL2s: “The ACL2 Sedan”

Peter C. Dillinger, Panagiotis Manolios, Daron Vroon et al. · Electronic Notes in Theoretical Computer Science · 2007 · 33 citations · Full text

Computing, Computer Science, Educational Technology +9

Ribbon filter: practically smaller than Bloom and Xor

Peter C. Dillinger, Stefan Walzer · arXiv (Cornell University) · 2021 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +15

FPGA based real-time image segmentation for medical systems and data processing

Peter C. Dillinger, J.F. Vogelbruch, Jessica Leinen et al. · 2005 · 19 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 6