Publications

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

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

K. Winkler, U. Schmid, Y. Moses: A Characterization of Consensus Solvability for Closed Message Adversaries
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; in: 23rd International Conference on Principles of Distributed Systems, 2019, p. 17:1 - 17:16
bib details doi

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743, p. 307 - 322
bib details doi

T. Nowak, U. Schmid, K. Winkler: Topological Characterization of Consensus under General Message Adversaries
38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; in: PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, New York, NY, USA (2019), ISBN: 978-1-4503-6217-7, p. 218 - 227
bib details doi

K. Winkler, U. Schmid: An Overview of Recent Results for Consensus in Directed Dynamic Networks
Bulletin of the EATCS, 128 (2019); 30 pages
bib details

K. Winkler, M. Schwarz, U. Schmid: Consensus in rooted dynamic networks with short-lived stability
Distributed Computing, 32 (2019), p. 443 - 458
bib details doi

J. Träff (invited): On optimal Trees for irregular gather and scatter collectives?
FernUniversität in Hagen, Prof. Dr. Jörg Keller, Hagen, Germany
bib details

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa (invited): Byzantine Causal Cone
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Budapest, Hungary
bib details

R. Kuznets (invited): Causality in the Age of Fake News
Seminar "Logic and Theoretical Computer Science", University of Bern (2019), Bern
bib details

C. Zanabria, F. Pröstl Andrén, T. Strasser, W. Kastner: A Model-Driven and Ontology-based Engineering Approach for Smart Grid Automation Applications
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal; in: Proceedings of the IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, IEEE, 2019, ISBN: 978-1-7281-4878-6; 7 pages
bib details pdf

J. Träff, T. Hoefler: Foreword EuroMPI 2019
Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019, T. Hoefler, J. Träff (ed.); ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9, p. 1:1 - 1:2
bib details doi

T. Hoefler, J. Träff: Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019
ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9; 134 pages
bib details

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Institut für Computer Engineering E191-02, TUW-281149, 2019
bib details pdf

J. Träff (invited): On optimal Trees for irregular gather and scatter collectives?
Humboldt-Universität zu Berlin, Research Group on Modeling and Analysis of Complex Systems, Berlin, Germany
bib details

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 67:1 - 67:10
bib details doi

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
CoRR - Computing Research Repository, arXiv:1907.13077, 2019; 10 pages
bib details

J. Träff, S. Hunold: Cartesian Collective Communication
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 48:1 - 48:11
bib details doi

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

<<   < 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 >   >>