Old Web
English
Sign In
Acemap
>
authorDetail
>
Tim Stevens
Tim Stevens
University of Vermont
Theoretical computer science
Mathematical proof
Differential privacy
ENCODE
Hyperparameter
3
Papers
31
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
A Cyber-Physical System for Near Real-Time Monitoring of At-Home Orthopedic Rehabilitation and Mobile-Based Provider-Patient Communications to Improve Adherence: Development and Formative Evaluation.
2020
Tim Stevens
Ryan S. McGinnis
Blake Hewgill
Rebecca Choquette
Timothy W. Tourville
Jean Harvey
Richard R. Lachapelle
Bruce D. Beynnon
Michael J. Toth
Christian Skalka
Show All
Source
Cite
Save
Citations (1)
Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
2019
arXiv: Programming Languages
Joseph P. Near
David Darais
Chike Abuah
Tim Stevens
Pranav Gaddamadugu
Lun Wang
Neel Somani
Mu Zhang
Nikhil Sharma
Alex Shan
Dawn Song
Show All
Source
Cite
Save
Citations (5)
Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy
2019
Joseph P. Near
David Darais
Chike Abuah
Tim Stevens
Pranav Gaddamadugu
Lun Wang
Neel Somani
Mu Zhang
Nikhil Sharma
Alex Shan
Dawn Song
Show All
Source
Cite
Save
Citations (25)
1