Andreas Haas
Publication Activity (10 Years)
Years Active: 1998-2022
Publications (10 Years): 16
Publications (10 Years): 16
Publications
- Sándor P. Fekete, Andreas Haas, Phillip Keldenich, Michael Perk, Arne Schmidt
- Andreas Rossberg, Ben L. Titzer, Andreas Haas, Derek L. Schuff, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien, Michael Holman
- Mike Dodds, Andreas Haas, Christoph M. Kirsch
- Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut VeithLocal Linearizability. CoRR (2015)
- Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer