Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jared Davis

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7861
- ask others
Jared Davis, Sol Swords: Verified AIG Algorithms in ACL2. ACL2 2013: 95-110
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7123
- ask others
Ruben Gamboa, Jared Davis (Eds.): Proceedings International Workshop on the ACL2 Theorem Prover and its Applications. EPTCS 114, 2013
2011
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/MyreenD11
- ask others
Magnus O. Myreen, Jared Davis: A Verified Runtime for a Verified Theorem Prover. ITP 2011: 265-280
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/memocode/SlobodovaDSH11
- ask others
Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr.: A flexible formal verification framework for industrial scale validation. MEMOCODE 2011: 89-97
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4676
- ask others
Sol Swords, Jared Davis: Bit-Blasting ACL2 Theorems. ACL2 2011: 84-102

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsc/DavisFCCT08
- ask others
Jared Davis, Barbara Fordyce, James Cicala, Matthew L. Cooper, Omer Tsimhoni: Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense. Winter Simulation Conference 2008: 2835-2843
2006
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acl2/Davis06
- ask others
Jared Davis: Memories: array-like records for ACL2. ACL2 2006: 57-60
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acl2/Davis06a
- ask others
Jared Davis: Reasoning about ACL2 file input. ACL2 2006: 117-126
2004
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hase/WickstromDMRW04
- ask others
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter: The SSP: An Example of High-Assurance Systems Engineering. HASE 2004: 167-177