Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications chronologically - back to overwiew...

J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
IEEE Transactions on Parallel and Distributed Systems, Volume 30 (2019), p. 2060 - 2074
bib details doi

W. Kastner, S. Gaida, H. Tellioglu: Knowledge-based building management combining human perception and building automation systems
First International Conference on Societal Automation (SA 2019), Krakow, Poland; in: Proceedings of the First International Conference on Societal Automation (SA 2019), 2019
bib details pdf

M. Schäffer, M. Di Angelo, G. Salzer: Performance and Scalability of Private Ethereum Blockchains
Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; in: BPM Blockchain and Central and Eastern Europe Forum, Proceeddings, Springer, 361 (2019), ISBN: 978-3-030-30429-4, p. 1 - 15
bib details doi pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

M. Kronegger, S. Ordyniak, A. Pfandler: Backdoors to planning
Artificial Intelligence, 269 (2019), p. 49 - 75
bib details doi

J. Fichte, M. Kronegger, S. Woltran (invited): A Multiparametric View on Answer Set Programming
Annals of Mathematics and Artificial Intelligence, 86 (2019), p. 121 - 147
bib details doi

R. Kuznets (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

M. Di Angelo, G. Salzer: Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time
BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; in: Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19), 2019, ISBN: 978-1-4503-6785-1, p. 1 - 10
bib details doi pdf

M. Di Angelo, G. Salzer: Collateral Use of Deployment Code for Smart Contracts in Ethereum
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2019, ISBN: 978-1-7281-1542-9; 5 pages
bib details doi pdf

S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger: Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and Performance
Reliable Software Technologies - Ada-Europe, Warsaw
bib details

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

S. Hunold, A. Carpen-Amarie: On the Importance of Data Quality when Tuning MPI Libraries
Austrian HPC Meeting 2019 - AHPC19, Grundlsee, Austria; in: Austrian HPC Meeting 2019 - AHPC19 (AHPC19 booklet of abstracts), G. Haase (ed.); Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 15
bib details

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Scalable Algorithms for MPI Intergroup Allgather and Allgatherv
Parallel Computing, Volume 85 (2019), p. 220 - 230
bib details doi

J. Träff (invited): On Optimal Trees for Irregular Gather and Scatter Collectives
Kolloquium Mathematische Informatik, Goethe-Universität Frankfurt am Main, Frankfurt am Main, Germany
bib details

D. Ratasich, M. Platzer, R. Grosu, E. Bartocci (invited): Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; in: 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), IEEE, 2019, p. 23 - 32
bib details doi

M. Kainer, J. Träff: More Parallelism in Dijkstra's Single-Source Shortest Path Algorithm
CoRR - Computing Research Repository, arXiv:1903.12085, 2019; 29 pages
bib details

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
The 12th Annual Meeting of the Asian Association for Algorithms and Computation, Seoul, South Korea
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

M. Di Angelo, C. Sack, G. Salzer: SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; in: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings, 2019; 15 pages
bib details pdf

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 >   >>