| | Preview | Author(s) | Title | Type | Issue Date |
| 461 | | Träff, Jesper Larsson | Signature Datatypes for Type Correct Collective Operations, Revisited | Konferenzbeitrag Inproceedings | 2020 |
| 462 | | di Angelo, Monika ; Salzer, Gernot | Assessing the Similarity of Smart Contracts by Clustering their Interfaces | Konferenzbeitrag Inproceedings | 2020 |
| 463 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 464 | | Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu | SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities | Konferenzbeitrag Inproceedings | 2020 |
| 465 | | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |
| 466 | | Meiyi, Ma ; Bartocci, Ezio ; Stankovic, John ; Feng, Lu | Predictive monitoring with uncertainty for deep learning enabled smart cities | Konferenzbeitrag Inproceedings | 2020 |
| 467 | | Hunold, Sascha ; Bhatele, Abhinav ; Bosilca, George ; Knees, Peter | Predicting MPI Collective Communication Performance Using Machine Learning | Konferenzbeitrag Inproceedings | 2020 |
| 468 | | Träff, Jesper Larsson ; Hunold, Sascha | Decomposing MPI Collectives for Exploiting Multi-lane Communication | Konferenzbeitrag Inproceedings | 2020 |
| 469 | | Platzer, Michael ; Puschner, Peter | An Instruction Filter for Time-Predictable Code Execution on Standard Processors | Konferenzbeitrag Inproceedings | 2020 |
| 470 | | Heinzl, Bernhard ; Kastner, Wolfgang | A general variable neighborhood search for simulation-based energy-aware flow shop scheduling | Konferenzbeitrag Inproceedings | 2020 |
| 471 | | Hasani, Ramin ; Lechner, Mathias ; Amini, Alexander ; Rus, Daniela ; Grosu, Radu | A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits | Konferenzbeitrag Inproceedings | 2020 |
| 472 | | Trautner, Thomas ; Ayatollahi, Iman ; Strutzenberger, Diana ; Frühwirth, Thomas ; Pauker, Florian ; Kittl, Burkhard | Behavioral modeling of manufacturing skills in OPC UA for automated execution by an independent cell controller | Konferenzbeitrag Inproceedings | 2020 |
| 473 | | Bartocci, Ezio ; Kovacs, Laura ; Bura, Efstathia | ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs | Präsentation Presentation | 2020 |
| 474 | | Stagl, Martin Johann | Servitization of 5D-digital twins for industrial energy storage systems | Thesis Hochschulschrift | 2020 |
| 475 | | di Angelo, Monika ; Salzer, Gernot | Tokens, Types, and Standards: Identification and Utilization in Ethereum | Konferenzbeitrag Inproceedings | 2020 |
| 476 | | von Kirchbach, Konrad ; Lehr, Markus ; Hunold, Sascha ; Schulz, Christian ; Träff, Jesper Larsson | Efficient Process-to-Node Mapping Algorithms for Stencil Computations | Konferenzbeitrag Inproceedings | 2020 |
| 477 | | Forsell, Martti ; Roivainen, Jussi ; Träff, Jesper Larsson | Optimizing Memory Access in TCF Processors with Compute-Update Operations | Konferenzbeitrag Inproceedings | 2020 |
| 478 | | Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Konferenzbeitrag Inproceedings | 2020 |
| 479 | | Marchisio, Alberto ; Bussolino, Beatrice ; Colucci, Alessio ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | Q-CapsNets: A Specialized Framework for Quantizing Capsule Networks | Konferenzbeitrag Inproceedings | 2020 |
| 480 | | Marchisio, Alberto ; Bussolino, Beatrice ; Colucci, Alessio ; Hanif, Muhammad Abdullah ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | FasTrCaps: An Integrated Framework for Fast yet Accurate Training of Capsule Networks | Konferenzbeitrag Inproceedings | 2020 |