Alexander Linden

Publication Activity (10 Years)

Years Active: 1989-2013
Publications (10 Years): 0

Top Venues

TACAS

Bielefeld University, Germany (PHD)

Education History

Bielefeld University, Germany

PHD

Publications

Alexander Linden, Pierre Wolper
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. TACAS (2013)
Alexander Linden, Pierre Wolper
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. SPIN (2011)
Alexander Linden, Pierre Wolper
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. SPIN (2010)
Michael Fleyer, Alexander Linden, Moshe Horowitz, Amir Rosenthal
Multirate synchronous sampling of sparse multiband signals. IEEE Trans. Signal Process. 58 (3) (2010)
Michael Fleyer, Amir Rosenthal, Alexander Linden, Moshe Horowitz
Multirate Synchronous Sampling of Sparse Multiband Signals CoRR (2008)
Christoph Tietz, Alexander Linden, Thomas Sudbrak
SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural Nets. MASCOTS (1993)
Alexander Linden, Gerhard Paass
Bericht von der Konferenz "Neural Information Processing Szstems - Natural and Synthetic" (NIPS) 1992. Künstliche Intell. 7 (3) (1993)
Alexander Linden, Thomas Sudbrak, Christoph Tietz, F. Weber
An Object-Oriented Framework for the Simulation of Neural Networks. NIPS (1992)
Alexander Linden
On Discontinuous Q-Functions in Reinforcment Learning. GWAI (1992)
Alexander Linden, Christoph Tietz
Eine Softwareumgebung für Design und Analyse komplexer neuronaler Systeme. Wirtschaftsinf. 33 (5) (1991)
Sebastian Thrun, Alexander Linden
Inversion in Time. EURASIP Workshop (1990)
Sebastian Thrun, Knut Möller, Alexander Linden
Planning with an Adaptive World Model. NIPS (1990)
Sebastian Thrun, Knut Möller, Alexander Linden
Adaptive Look-Ahead Planning. ÖGAI (1990)
Jörg Kindermann, Alexander Linden
Inversion of neural networks by gradient descent. Parallel Comput. 14 (3) (1990)
Jörg Kindermann, Alexander Linden
Detection of Minimal Microfeatures by Internal Feedback. ÖGAI (1989)

Alexander Linden.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Linden