| 2024 |
C |
ed. |
ISMM
Michael D. Bond, Jae W. Lee, Hannes Payer
|
| 2019 |
C |
conf |
ISMM
Ulan Degenbaev, Michael Lippautz, Hannes Payer
|
| 2019 |
J |
jnl |
ACM Queue
Ulan Degenbaev, Michael Lippautz, Hannes Payer
|
| 2019 |
J |
jnl |
Commun. ACM
Ulan Degenbaev, Michael Lippautz, Hannes Payer
|
| 2018 |
— |
conf |
MOBILESoft@ICSE
Nadja Peters, Sangyoung Park, Daniel Clifford, S. Kyostila, Ross McIlroy, Benedikt Meurer, Hannes Payer, Samarjit Chakraborty
|
| 2018 |
J |
jnl |
Proc. ACM Program. Lang.
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer
|
| 2018 |
A |
conf |
ICS
Nadja Peters, Sangyoung Park, Daniel Clifford, S. Kyostila, Ross McIlroy, Benedikt Meurer, Hannes Payer, Samarjit Chakraborty
|
| 2018 |
C |
ed. |
ISMM
Hannes Payer, Jennifer B. Sartor
|
| 2016 |
A* |
conf |
PLDI
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
|
| 2016 |
J |
jnl |
ACM Queue
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
|
| 2016 |
J |
jnl |
Commun. ACM
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
|
| 2016 |
B |
conf |
CONCUR
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
|
| 2016 |
Misc |
conf |
CODES+ISSS
Nadja Peters, Sangyoung Park, Samarjit Chakraborty, Benedikt Meurer, Hannes Payer, Daniel Clifford
|
| 2015 |
J |
jnl |
CoRR
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
|
| 2015 |
C |
conf |
ISMM
Daniel Clifford, Hannes Payer, Michael Stanton, Ben L. Titzer
|
| 2014 |
C |
conf |
DLS
Martin Aigner, Thomas Hütter, Christoph M. Kirsch, Alexander Miller, Hannes Payer, Mario Preishuber
|
| 2014 |
C |
conf |
ISMM
Daniel Clifford, Hannes Payer, Michael Starzinger, Ben L. Titzer
|
| 2014 |
J |
jnl |
CoRR
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
|
| 2013 |
— |
conf |
Conf. Computing Frontiers
Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin
|
| 2013 |
B |
conf |
PaCT
Christoph M. Kirsch, Michael Lippautz, Hannes Payer
|
| 2013 |
A* |
conf |
POPL
Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
|
| 2013 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
|
| 2012 |
— |
conf |
RACES@SPLASH
Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer
|
| 2012 |
A* |
conf |
DAC
Christoph M. Kirsch, Hannes Payer
|
| 2012 |
— |
conf |
ICA3PP (1)
Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
|
| 2011 |
A* |
conf |
PODC
Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
|
| 2010 |
J |
jnl |
IEEE Trans. Inf. Technol. Biomed.
Michael Häfner, Leonhard Brunauer, Hannes Payer, Robert Resch, Alfred Gangl, Andreas Uhl, Friedrich Wrba, Andreas Vécsei
|
| 2010 |
— |
conf |
HotCloud
Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta
|
| 2009 |
J |
jnl |
Comput. Methods Programs Biomed.
Andreas Vécsei, Thomas Fuhrmann, Michael Liedlgruber, Leonhard Brunauer, Hannes Payer, Andreas Uhl
|
| 2009 |
— |
conf |
IIES@EuroSys
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
|
| 2009 |
— |
conf |
SIES
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
|
| 2008 |
— |
conf |
USENIX ATC
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger
|
| 2007 |
Misc |
conf |
SAC
Richard Brunauer, Andreas Löcker, Helmut A. Mayer, Gerhard Mitterlechner, Hannes Payer
|
| 2007 |
B |
conf |
CBMS
Michael Häfner, Leonhard Brunauer, Hannes Payer, Robert Resch, Friedrich Wrba, Alfred Gangl, Andreas Vécsei, Andreas Uhl
|