Tim Sauer

Publication Activity (10 Years)

Years Active: 1997-2020
Publications (10 Years): 1

Top Topics

Automated Verification

Web Applications

Top Venues

Publications

Simon Koch, Tim Sauer, Martin Johns, Giancarlo Pellegrino
Raccoon: automated verification of guarded race conditions in web applications. SAC (2020)
Anish Mitra, Andre Manitius, Tim Sauer
A new technique to optimize single neuron models using experimental spike train data. ACC (2013)
John Wallin, Tim Sauer
Lessons Learned from a Structured Undergraduate Mentorship Program in Computational Mathematics at George Mason University. ICCS (2) (2009)
Tim Sauer
System identification for chaotic integrate-and-fire dynamics. Int. J. Intell. Syst. 12 (4) (1997)