Old Web
English
Sign In
Acemap
>
authorDetail
>
Michael R. Clarkson
Michael R. Clarkson
PSPACE
Algorithm
Correctness
Computation
Temporal logic
3
Papers
22
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Election Verifiability : Cryptographic Definitions and an Analysis of Helios and JCJ ( Technical Report ) August 6 , 2015
2015
Ben Smyth Huawei
Michael R. Clarkson
Show All
Source
Cite
Save
Citations (0)
A Temporal Logic for Hyperproperties
2013
arXiv: Logic in Computer Science
Michael R. Clarkson
Bernd Finkbeiner
Masoud Koleini
Kristopher K. Micinski
Markus N. Rabe
César Sánchez
Show All
Source
Cite
Save
Citations (6)
The ontology of craniofacial development and malformation for translational craniofacial research
2013
American Journal of Medical Genetics Part C-seminars in Medical Genetics
James F. Brinkley
Charles D. Borromeo
Michael R. Clarkson
Timothy C. Cox
M. J. Cunningham
Landon T. Detwiler
Carrie L Heike
Harry Hochheiser
José L. V. Mejino
Ravensara S. Travillian
Linda G. Shapiro
Show All
Source
Cite
Save
Citations (16)
1