Concepedia

Sean Riddle

SR

5

Publications

102

Citations

5

H-Index

2007

Active since

Affiliations

University of California, Davis(Current)

Sean Riddle is an author at University of California, Davis specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceData ScienceSemantic WebVerificationFormal MethodsAutomated ReasoningFormal VerificationGamesBusiness

Publications per year

2007–2014

5

Publications

5

Introducing W.A.T.E.R.S.: a Workflow for the Alignment, Taxonomy, and Ecology of Ribosomal Sequences

Amber Hartman, Sean Riddle, Timothy McPhillips et al. · BMC Bioinformatics · 2010 · 33 citations · Full text

An analysis of the hart intercivic DAU eSlate

Elliot Proebstel, Sean Riddle, Francis Hsu et al. · 2007 · 23 citations

Scientific workflow design 2.0: Demonstrating streaming data collections in Kepler

Lei Dou, Daniel Zinn, Timothy McPhillips et al. · 2011 · 21 citations

Cluster Computing, Engineering, Data Collections +22

Towards constraint provenance games

Sean Riddle, Sven Köhler, Bertram Ludäscher · 2014 · 13 citations

Engineering, Game Theory, Verification +19

Insider Attack Identification and Prevention Using a Declarative Approach

Anandarup Sarkar, Sven Köhler, Sean Riddle et al. · 2014 · 12 citations

Engineering, Information Security, Verification +23

Rows per page

1–5 of 5