Alexander Linden

According to our database1, Alexander Linden authored at least 16 papers between 1989 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.
Proceedings of the Model Checking Software, 2011

2010
Multirate synchronous sampling of sparse multiband signals.
IEEE Trans. Signal Processing, 2010

An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.
Proceedings of the Model Checking Software, 2010

2008
Multirate Synchronous Sampling of Sparse Multiband Signals
CoRR, 2008

1995
SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete.
DISKI 93, Infix, ISBN: 978-3-89601-093-3, 1995

1993
Bericht von der Konferenz "Neural Information Processing Szstems - Natural and Synthetic" (NIPS) 1992.
KI, 1993

SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural Nets.
Proceedings of the MASCOTS '93, 1993

1992
An Object-Oriented Framework for the Simulation of Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 5, [NIPS Conference, Denver, Colorado, USA, November 30, 1992

On Discontinuous Q-Functions in Reinforcment Learning.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991
Eine Softwareumgebung für Design und Analyse komplexer neuronaler Systeme.
Wirtschaftsinformatik, 1991

1990
Inversion of neural networks by gradient descent.
Parallel Computing, 1990

Adaptive Look-Ahead Planning.
Proceedings of the Konnektionismus in Artificial Intelligence und Kognitionsforschung. Proceedings 6. Österreichische Artificial Intelligence-Tagung (KONNAI), 1990

Planning with an Adaptive World Model.
Proceedings of the Advances in Neural Information Processing Systems 3, 1990

Inversion in Time.
Proceedings of the Neural Networks, 1990

1989
Detection of Minimal Microfeatures by Internal Feedback.
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989


  Loading...