Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alexander Linden
2010 – today
- 2013
[c10]Alexander Linden, Pierre Wolper: A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. TACAS 2013: 339-353- 2011
- [c9]Alexander Linden, Pierre Wolper: A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems. SPIN 2011: 144-160
- 2010
- [j4]Michael Fleyer, Alexander Linden, Moshe Horowitz, Amir Rosenthal: Multirate synchronous sampling of sparse multiband signals. IEEE Transactions on Signal Processing 58(3): 1144-1156 (2010)
- [c8]Alexander Linden, Pierre Wolper: An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. SPIN 2010: 212-226
2000 – 2009
- 2008
- [i1]Michael Fleyer, Amir Rosenthal, Alexander Linden, Moshe Horowitz: Multirate Synchronous Sampling of Sparse Multiband Signals. CoRR abs/0806.0579 (2008)
1990 – 1999
- 1995
- [b1]Alexander Linden: SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete. DISKI 93, Infix 1995, ISBN 978-3-89601-093-3, pp. I-VI, 1-172
- 1993
- [j3]Alexander Linden, Gerhard Paass: Bericht von der Konferenz ``Neural Information Processing Szstems - Natural and Synthetic'' (NIPS) 1992. KI 7(3): 26-29 (1993)
- [c7]Christoph Tietz, Alexander Linden, Thomas Sudbrak: SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural Nets. MASCOTS 1993: 339-340
- 1992
- [c6]
- [c5]Alexander Linden, Thomas Sudbrak, Christoph Tietz, F. Weber: An Object-Oriented Framework for the Simulation of Neural Networks. NIPS 1992: 797-804
- 1991
- [j2]Alexander Linden, Christoph Tietz: Eine Softwareumgebung für Design und Analyse komplexer neuronaler Systeme. Wirtschaftsinformatik 33(5): 386-397 (1991)
- 1990
- [j1]Jörg Kindermann, Alexander Linden: Inversion of neural networks by gradient descent. Parallel Computing 14(3): 277-286 (1990)
- [c4]
- [c3]Sebastian Thrun, Knut Möller, Alexander Linden: Planning with an Adaptive World Model. NIPS 1990: 450-456
- [c2]
1980 – 1989
- 1989
- [c1]Jörg Kindermann, Alexander Linden: Detection of Minimal Microfeatures by Internal Feedback. ÖGAI 1989: 230-239
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team