Alexander Linden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–2013
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TACAS | A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems. | Alexander Linden, Pierre Wolper |
| 1993 | MASCOTS | SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural Nets. | Christoph Tietz, Alexander Linden, Thomas Sudbrak |
| 1992 | KI | On Discontinuous Q-Functions in Reinforcment Learning. | Alexander Linden |