Login / Signup
Tyler D. Smith
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 3
Top Topics
Times Faster
Simulated Annealing
Formal Analysis
Selection Algorithm
Top Venues
IEEE BigData
CoRR
</>
Publications
</>
Tyler D. Smith
,
Ryan Peroutka
,
Robert Edman
Compositional Formal Analysis Based on Conventional Engineering Models.
CoRR
(2020)
Tyler D. Smith
Countering Inside Threat Actors in Algorithm-Based Media.
IEEE BigData
(2018)
Victoria L. Lemieux
,
Tyler D. Smith
Leveraging Archival Theory to Develop A Taxonomy of Online Disinformation.
IEEE BigData
(2018)