Thomas Voegtlin

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 1

Top Topics

Probabilistic Reasoning

Automated Verification

Constraint Satisfaction Problems

Top Venues

Financial Cryptography Workshops

Publications

Mathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch
Automated Verification of Electrum Wallet. Financial Cryptography Workshops (2016)
Thomas Voegtlin
Adaptive Synchronization of Activities in a Recurrent Network. Neural Comput. 21 (6) (2009)
Sam McKennoch, Thomas Voegtlin, Linda G. Bushnell
Spike-Timing Error Backpropagation in Theta Neuron Networks. Neural Comput. 21 (1) (2009)
Thomas Voegtlin, Dominique Martinez
Effect of asynchronous GABA release on the oscillatory dynamics of inhibitory coupled neurons. Neurocomputing 70 (10-12) (2007)
Thomas Voegtlin
Temporal Coding using the Response Properties of Spiking Neurons. NIPS (2006)
Thomas Voegtlin
Recursive principal components analysis. Neural Networks 18 (8) (2005)
Thomas Voegtlin, Peter Ford Dominey
Linear recursive distributed representations. Neural Networks 18 (7) (2005)
Thomas Voegtlin
Recursive self-organizing maps. Neural Networks 15 (8-9) (2002)
Thomas Voegtlin, Peter F. Dominey
Recursive Self-Organizing Maps. WSOM (2001)
Thomas Voegtlin
Context Quantization and Contextual Self-Organizing Maps. IJCNN (6) (2000)
Thomas Voegtlin
Learning principal components in a contextual space. ESANN (2000)
Paul F. M. J. Verschure, Thomas Voegtlin
A bottom up approach towards the acquisition and expression of sequential representations applied to a behaving real-world device: Distributed Adaptive Control III. Neural Networks 11 (7-8) (1998)