| Bringing the web up to speed with WebAssembly A Haas, A Rossberg, DL Schuff, BL Titzer, M Holman, D Gohman, ... Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 245 | 2017 |
| Information-acquisition-as-a-service for cyber-physical cloud computing SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ... Proceedings of the 2nd USENIX conference on Hot topics in cloud computing, 14-14, 2010 | 57 | 2010 |
| Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ... Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013 | 55 | 2013 |
| A scalable, correct time-stamped stack M Dodds, A Haas, CM Kirsch ACM SIGPLAN Notices 50 (1), 233-246, 2015 | 51 | 2015 |
| How FIFO is your concurrent FIFO queue? A Haas, CM Kirsch, M Lippautz, H Payer Proceedings of the 2012 ACM workshop on Relaxing synchronization for …, 2012 | 16 | 2012 |
| Local linearizability for concurrent container-type data structures A Haas, TA Henzinger, A Holzer, C Kirsch, M Lippautz, H Payer, A Sezgin, ... Leibniz International Proceedings in Informatics 59, 2016 | 14 | 2016 |
| Bringing the web up to speed with webassembly A Rossberg, BL Titzer, A Haas, DL Schuff, D Gohman, L Wagner, A Zakai, ... Communications of the ACM 61 (12), 107-115, 2018 | 12 | 2018 |
| Local linearizability A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ... arXiv preprint arXiv:1502.07118, 2015 | 9 | 2015 |
| Short-term memory for self-collecting mutators M Aigner, A Haas, CM Kirsch, M Lippautz, A Sokolova, S Stroka, ... ACM SIGPLAN Notices 46 (11), 99-108, 2011 | 8 | 2011 |
| Scal: A benchmarking suite for concurrent data structures A Haas, T Hütter, CM Kirsch, M Lippautz, M Preishuber, A Sokolova International Conference on Networked Systems, 1-14, 2015 | 6 | 2015 |
| Short-term memory for self-collecting mutators-revised version M Aigner, A Haas, CM Kirsch, A Sokolova Tech. Rep. 2010-06, Department of Computer Sciences, University of Salzburg, 2010 | 6 | 2010 |
| Fast concurrent data structures through timestamping A Haas PhD thesis, University of Salzburg, 2015 | 5 | 2015 |
| Fast Concurrent Data-Structures Through Explicit Timestamping M Dodds, A Haas, CM Kirsch order 100, 4, 2014 | 5 | 2014 |
| Diamant: Zauber und Geschichte eines Wunders der Natur A Haas, L Hödl, H Schneider Springer, 2004 | 5 | 2004 |
| Solving large-scale minimum-weight triangulation instances to provable optimality A Haas arXiv preprint arXiv:1802.06415, 2018 | 3 | 2018 |
| Computing Area-Optimal Simple Polygonalizations SP Fekete, A Haas, P Keldenich, M Perk, A Schmidt Journal of Experimental Algorithmics, 2020 | 2 | 2020 |
| Verbundverhalten und Rissbreitenbeschränkung unter Querzug K Zilch, R Niedermeier, A Haas KURZBERICHTE AUS DER BAUFORSCHUNG 50 (2), 2009 | 2 | 2009 |
| Towards the automated operations of large distributed satellite systems. Part 1: Review and paradigm shifts MK Ben-Larbi, KF Pozo, T Haylok, M Choi, B Grzesik, A Haas, D Krupke, ... Advances in Space Research, 2020 | 1 | 2020 |
| Automated data retrieval from large-scale distributed satellite systems D Krupke, V Schaus, A Haas, M Perk, J Dippel, B Grzesik, MKB Larbi, ... 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 1 | 2019 |
| Epidemiology and in vitro susceptibility of Fusarium species from human infections in Germany-results of a retrospective multicenter study AG Hamprecht, S Goettig, A Haas, J Held, MB Koeppel, O Kurzai, A Saleh, ... Med. Mycol. 56, S64-1, 2018 | 1 | 2018 |
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
