Tim Sauer

According to our database, Tim Sauer authored at least 4 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Raccoon: automated verification of guarded race conditions in web applications.

Simon Koch, Tim Sauer, Martin Johns, Giancarlo Pellegrino

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2013

A new technique to optimize single neuron models using experimental spike train data.

Anish Mitra, Andre Manitius, Tim Sauer

Proceedings of the American Control Conference, 2013

2009

Lessons Learned from a Structured Undergraduate Mentorship Program in Computational Mathematics at George Mason University.

John F. Wallin, Tim Sauer

Proceedings of the Computational Science, 2009

1997

System identification for chaotic integrate-and-fire dynamics.

Tim Sauer

Int. J. Intell. Syst., 1997