Ulrich Hoffmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1998–2017
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PPAM | Pardis: A Process Calculus for Parallel and Distributed Programming in Haskell. | Christopher Blcker, Ulrich Hoffmann |
| 2009 | ACII | Affective brain-computer interfaces: Psychophysiological markers of emotion in healthy persons and in persons with amyotrophic lateral sclerosis. | Femke Nijboer, Stefan Carmien, Enrique Leon, Fabrice O. Morin, Randal A. Koene, Ulrich Hoffmann |
| 2006 | ESANN | Spatial filters for the classification of event-related potentials. | Ulrich Hoffmann, Jean-Marc Vesin, Touradj Ebrahimi |
| 2002 | ICANN | Vergence Control and Disparity Estimation with Energy Neurons: Theory and Implementation. | Wolfgang Strzl, Ulrich Hoffmann, Hanspeter A. Mallot |
| 1998 | FM | Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. | Wolfgang Goerigk, Ulrich Hoffmann |