Publications

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

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

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), ACM, 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), IEEE, 2019, ISBN: 978-1-7281-1542-9, p. 1 - 5
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: 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, Springer, LNCS 11599 (2020), p. 91 - 105
bib details doi pdf

M. Di Angelo, A. Soare, G. Salzer: Smart Contracts in View of the Civil Code
SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; in: SAC '19: Symposium on Applied Computing Proceedings, ACM, 2019, ISBN: 978-1-4503-5933-7, p. 392 - 399
bib details doi pdf

M. Di Angelo, G. Salzer: A Survey of Tools for Analyzing Ethereum Smart Contracts
IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; in: 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings, IEEE, 2019, ISBN: 978-1-7281-1264-0, p. 69 - 78
bib details doi pdf

M. Zeiner, M. Schwarz, U. Schmid: On Linear-Time Data Dissemination in Dynamic Rooted Trees
Discrete Applied Mathematics, 255 (2019), p. 307 - 319
bib details doi pdf

H. Isakovic, D. Ratasich, C. Hirsch, M. Platzer, B. Wally, T. Rausch, D. Nickovic, W. Krenn, G. Kappel, S. Dustdar, R. Grosu: CPS/IoT Ecosystem: A Platform for Research and Education
14th Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), Turin, Italien; in: Cyber Physical Systems. Model-Based Design. 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018), and 14th International Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018), R. Chamberlain, W. Taha, M. Törngren (ed.); Springer International Publishing, 2019, ISBN: 978-3-030-23702-8
bib details doi

A. Ismail, H. Truong, W. Kastner: Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey
Journal of Big Data, 6 (2019), p. 1 - 26
bib details doi

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi 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 150 151 152 153 154 155 156 157 158 >   >>