Follow
Andreas Haas
Andreas Haas
Verified email at cs.uni-salzburg.at - Homepage
Title
Cited by
Cited by
Year
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
7092017
A scalable, correct time-stamped stack
M Dodds, A Haas, CM Kirsch
ACM SIGPLAN Notices 50 (1), 233-246, 2015
732015
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
662013
{Information-Acquisition-as-a-Service} for {Cyber-Physical} Cloud Computing
SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ...
2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), 2010
582010
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
412018
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 67 (11), 3598-3619, 2021
352021
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
232016
Towards the automated operations of large distributed satellite systems. Part 2: Classifications and tools
MK Ben-Larbi, KF Pozo, M Choi, T Haylok, B Grzesik, A Haas, D Krupke, ...
Advances in Space Research 67 (11), 3620-3637, 2021
172021
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
152012
Fast concurrent data structures through timestamping
A Haas
PhD thesis, University of Salzburg, 2015
142015
Scal: A benchmarking suite for concurrent data structures
A Haas, T Hütter, CM Kirsch, M Lippautz, M Preishuber, A Sokolova
Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015
112015
Computing Area-Optimal Simple Polygonizations
SP Fekete, A Haas, P Keldenich, M Perk, A Schmidt
ACM Journal of Experimental Algorithmics (JEA) 27, 1-23, 2022
102022
Effect of chemical grafting parameters on the manufacture of functionalized PVOH films having controlled water solubility
A Haas, D Schlemmer, U Grupa, M Schmid
Frontiers in chemistry 5, 38, 2017
102017
Local linearizability
A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ...
arXiv preprint arXiv:1502.07118, 2015
92015
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
82011
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
62010
Fast Concurrent Data-Structures Through Explicit Timestamping
M Dodds, A Haas, CM Kirsch
order 100, 4, 2014
52014
On hard instances of the minimum-weight triangulation problem
SP Fekete, A Haas, Y Lieder, E Niehs, M Perk, V Sack, C Scheffer
36th European Workshop on Computational Geometry (EuroCG 2020) 3, 2020
42020
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
42019
Mixer device
M Fischer, A Haas, S Sauer, D Sailer, B Burkhardt
US Patent 10,508,579, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20