Login / Signup
Stephen Miner
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 4
Top Topics
Selection Strategy
Attack Detection
Propositional Theories
Theory Revision
Top Venues
CoRR
SMT
IWBF
</>
Publications
</>
Sandip Purnapatra
,
Conor Miller-Lynch
,
Stephen Miner
,
Yu Liu
,
Keivan Bahmani
,
Soumyabrata Dey
,
Stephanie Schuckers
Presentation Attack Detection with Advanced CNN Models for Noncontact-based Fingerprint Systems.
CoRR
(2023)
Christopher Lynch
,
Stephen Miner
Complete Trigger Selection in Satisfiability Modulo First-Order Theories.
SMT
(2023)
Sandip Purnapatra
,
Conor Miller-Lynch
,
Stephen Miner
,
Yu Liu
,
Keivan Bahmani
,
Soumyabrata Dey
,
Stephanie Schuckers
Presentation Attack Detection with Advanced CNN Models for Noncontact-based Fingerprint Systems.
IWBF
(2023)
Christopher Lynch
,
Stephen Miner
Complete Trigger Selection in Satisfiability modulo first-order Theories.
CoRR
(2023)