|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Doz, Romina ; Randone, Francesca ; Bortolussi, Luca ; Medvet, Eric | Inferring Structural Causal Models from Data with Grammatical Evolution | Inproceedings Konferenzbeitrag  | 2027 |
| 2 | | Gao, Qi ; Han, Li ; Hunold, Sascha ; Robert, Yves ; Vivien, Frédéric | Coping With Silent Errors for Workflows of Moldable Tasks | Article Artikel | 1-Nov-2026 |
| 3 |  | Hunold, Sascha ; Träff, Jesper Larsson ; Laso, Ruben | Tuned your MPI library? Now check the performance guidelines | Article Artikel   | Sep-2026 |
| 4 | | Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes | On-Device Federated Learning for Remote Alpine Livestock Monitoring | Inproceedings Konferenzbeitrag | 23-Aug-2026 |
| 5 | | Laso, Ruben ; Salimi Beni, Majid ; Vardas, Ioannis ; Benkner, Siegfried ; Hunold, Sascha | Where Did My NCCL Calls Go? A Profiler Comparison | Inproceedings Konferenzbeitrag | 19-Aug-2026 |
| 6 | | Heugenhauser, Johanna ; Herbst, Sabrina ; Drucks, Tamara ; Scherfler, Christoph ; Urbanic Purkart, Tadeja ; Hassler, Eva Maria ; Partl, Richard ; Leoni, Marlene ; Ali, Kariem Mahdy ; Iglseder, Sarah ; Freyschlag, Christian ; Mangesius, Stephanie ; Grams, Astrid ; Nevinny-Stickel, Meinhard ; Nowosielski, Martha | Radiomics for risk stratification in brain metastases: potential in melanoma brain metastases | Article Artikel | 7-Aug-2026 |
| 7 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 8 | | Šabanović, Ahmed ; Maliakel, Paul Joe ; Brandić, Ivona | INAR-VL: Input-Aware Routing for Edge–Cloud Vision–Language Inference | Inproceedings Konferenzbeitrag | 20-Jun-2026 |
| 9 | | Esterbauer, Leonhard ; Thoma, Max ; Schwarzinger, Tobias ; Strasser, Thomas I. ; Kastner, Wolfgang | Web of Things-Driven On-Device Automation for Resource-Constrained Energy Devices | Inproceedings Konferenzbeitrag | 20-Jun-2026 |
| 10 |  | Felber, Stephan | Characterizing Stabilizing Consensus Topologically and Epistemically | Presentation Vortrag | 15-Jun-2026 |
| 11 | | Schlögl, Thomas | Tool-Supported Action Model Synthesis for Truly Private Model Updates | Presentation Vortrag | 15-Jun-2026 |
| 12 |  | Lehninger, Philipp ; Steininger, Andreas ; Jantsch, Axel | Effect of Self-Timed Design Styles on the Lifetime of NEMS Circuits | Inproceedings Konferenzbeitrag | 3-Jun-2026 |
| 13 | | Kessler, Stefan ; Bader, Markus | Investigating Data Injection and Localization Spoofing in ROS2 Mobile Robotics | Inproceedings Konferenzbeitrag | 1-Jun-2026 |
| 14 | | Burin, Jürgen ; Afsah, Anjum, ; Steininger, Andreas | Amplifier Circuit-Based Metastability Model | Inproceedings Konferenzbeitrag | Jun-2026 |
| 15 |  | Träff, Jesper Larsson | Effective MPI: User-defined Datatypes and Cartesian Communicators for Zero-copy All-to-all Communication in Multidimensional Tori | Preprint Preprint | 28-May-2026 |
| 16 | | Lindeberg, Tony ; Babaiee, Zahra ; Mohseni Kiasari, Peyman | Modeling and Analysis of the 8 Filters from the “Master Key Filters Hypothesis” for Depthwise-Separable Deep Networks in Relation to Idealized Receptive Fields Based on Scale-Space Theory | Article Artikel | 27-May-2026 |
| 17 | | Djajapermana, Mikhael ; Reiber, Moritz ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | Hybrid Convolution and Vision Transformer NAS Search Space for TinyML Image Classification | Inproceedings Konferenzbeitrag | 8-May-2026 |
| 18 |  | Träff, Jesper Larsson | Two Efficient Message-passing Exclusive Scan Algorithms | Preprint Preprint | 28-Apr-2026 |
| 19 |  | Bilal, Mohammad ; Ehrenmüller, Katrin ; Steindl, Gernot ; Zheng, Zhuoxun ; Ahmetaj, Shqiponja ; Soylu, Ahmet ; Sallinger, Emanuel ; Kastner, Wolfgang | Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUML | Article Artikel | 22-Apr-2026 |
| 20 |  | Laso, Ruben ; Salimi Beni, Majid ; Vardas, Ioannis ; Benkner, Siegfried ; Hunold, Sascha | To ncclsee, or Not to ncclsee: That is the Profiling Question | Inproceedings Konferenzbeitrag | 10-Apr-2026 |
| 21 |  | Bammer, Ferdinand ; Mahmoudi, Ramin ; Cherepanov, Maksym ; Huemer, Florian | Real-time imaging-ellipsometry with a polarization camera in R2R-applications | Article Artikel | Mar-2026 |
| 22 | | Clement, Mihaela-Larisa ; Farsang, Monika ; Stanusoiu, Mihai-Teodor ; Rus, Daniela ; Hasani, Ramin ; Grosu, Radu ; Bartocci, Ezio | Evaluating Domain-Shift Generalization of Liquid Neural Networks in Autonomous Driving | Inproceedings Konferenzbeitrag | 28-Feb-2026 |
| 23 | | Lemmel, Julian ; Resch, Felix ; Farsang, Monika ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Online Fine-Tuning of Pretrained Controllers for Autonomous Driving via Real-Time Recurrent RL | Inproceedings Konferenzbeitrag | 28-Feb-2026 |
| 24 |  | Lemmel, Julian ; Kranzl, Manuel ; Lamine, Adam ; Neubauer, Philipp ; Grosu, Radu ; Neubauer, Sophie | Online Fine-Tuning of Carbon Emission Predictions using Real-Time Recurrent Learning for State Space Models | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 25 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag | 28-Jan-2026 |
| 26 | | Voelcker, Claas ; Brunnbauer, Axel ; Hussing, Marcel ; Nauman, Michal ; Abbeel, Pieter ; Eaton, Eric ; Grosu, Radu ; Farahmand, Amir-massoud ; Gilitschenski, Igor | Relative Entropy Pathwise Policy Optimization | Inproceedings Konferenzbeitrag | 26-Jan-2026 |
| 27 |  | Hollerer, Siegfried | Integrated Safety and Security Knowledge Modeling | Thesis Hochschulschrift | 2026 |
| 28 |  | Bhosale, Pushparaj Rajaram | Automatic Risk Management for Industrial Control Systems | Thesis Hochschulschrift | 2026 |
| 29 |  | Hacker, Clemens | 5D path-planning : velocity based, optimal path-planning for mobile robots with Ackermann-steering | Thesis Hochschulschrift | 2026 |
| 30 | | Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | A compositional semantics for reconfigurable multi-mode interaction in R-CHECK | Article Artikel | 2026 |
| 31 | | Träff, Jesper Larsson | Lectures on Parallel Computing | Book Buch | 2026 |
| 32 | | Grosu, Radu | ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks | Book Contribution Buchbeitrag | 2026 |
| 33 |  | Srećković, Marijana ; Kovacic, Iva ; Hartmann, Dominik ; Krauser, Philipp ; Kjäer, Martin ; Preindl, Thomas ; Kastner, Wolfgang ; Romm, Thomas ; Crudici, Andreea ; Flaszynska, Julia ; Bauer, Pia ; Kessler, Andrea ; Kneidinger, Peter ; Kessler, Fabian ; Heinrich, Peter | Reconsidering digital deconstruction, reuse and recycle processes using BIM and Blockchain (DiCYCLE) | Report Bericht | 2026 |
| 34 | | Bolelli, Federico ; LUMETTI, LUCA ; van Nistelrooij, Niels ; Vinayahalingam, Shankeeth ; Di Bartolomeo, Mattia ; Marchesini, Kevin ; Pellacani, Arrigo ; Candeloro, Ettore ; Rosati, Gabriele ; Xi, Tong ; Isensee, Fabian ; Kirchhoff, Yannick ; Krämer, Lars ; Rokuss, Maximilian ; Ulrich, Constantin ; Maier-Hein, Klaus ; Jiang, Yuxian ; Liu, Yusheng ; Wang, Lisheng ; Wang, Haoshen ; Chen, Siyu ; Cui, Zhiming ; Shi, Pengcheng ; pan, zhaohong ; Liang, Xiaokun ; Ma, Qi ; Konukoglu, Ender ; Wodzinski, Marek ; Müller, Henning ; Mai, Haipeng ; Dang, Xiaobing ; Bhandary, Shrajan ; Grosu, Radu ; Bergé, Stefaan ; Anesi, Alexandre ; Grana, Costantino | Multi-structure segmentation in CBCT volumes: The ToothFairy2 challenge | Article Artikel | 2026 |
| 35 |  | Felber, Stephan | Complete Characterization of Stabilizing Consensus in Distributed Systems | Thesis Hochschulschrift | 2026 |
| 36 | | Bolelli, Federico ; Luca Lumetti ; van Nistelrooij, Niels ; Vinayahalingam, Shankeeth ; Di Bartolomeo, Mattia ; Marchesini, Kevin ; Pellacani, Arrigo ; Candeloro, Ettore ; Rosati, Gabriele ; Xi, Tong ; Isensee, Fabian ; Kirchhoff, Yannick ; Krämer, Lars ; Rokuss, Maximilian ; Ulrich, Constantin ; Maier-Hein, Klaus ; Jiang, Yuxian ; Liu, Yusheng ; Wang, Lisheng ; Wang, Haoshen ; Chen, Siyu ; Cui, Zhiming ; Shi, Pengcheng ; pan, zhaohong ; Liang, Xiaokun ; Ma, Qi ; Konukoglu, Ender ; Wodzinski, Marek ; Müller, Henning ; Mai, Haipeng ; Dang, Xiaobing ; Bhandary, Shrajan ; Grosu, Radu ; Bergé, Stefaan ; Anesi, Alexandre ; Costantino Grana | Multi-structure segmentation in CBCT volumes: The ToothFairy2 challenge | Article Artikel | 2026 |
| 37 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | Model Checking Probabilistic Operator Precedence Automata | Article Artikel | 2026 |
| 38 |  | Cerar, Jurij | Enhancing the performance analysis of NCCL GPU collectives | Thesis Hochschulschrift | 2026 |
| 39 |  | Chakarov, Teodor | Performance and scalability analysis of dask applications on large scale systems | Thesis Hochschulschrift | 2026 |
| 40 |  | Hagn, Maximilian | LLM-driven translation of GPU code across parallel execution models | Thesis Hochschulschrift | 2026 |
| 41 |  | Strasser, Michael | Efficient validation of UML sequence diagrams against UML state machines via Kronecker algebra | Thesis Hochschulschrift | 2026 |
| 42 | | Bhandary, Shrajan ; Kuhn, Dejan ; Babaiee, Zahra ; Fechter, Tobias ; Grosu, Anca-Ligia ; Grosu, Radu | Learning Robust Medical Image Segmentation with Inductive Bias | Inproceedings Konferenzbeitrag | 2026 |
| 43 | | Schuchart, Joseph ; Bouteiller, Aurelien ; Hunold, Sascha ; Jaeger, Julien ; Niethammer, Christoph ; Smith, Brian | Recent Advances in the Message Passing Interface | Proceedings Tagungsband | 2026 |
| 44 |  | Kienast, Hanna | Enhancing QAOA using QRAC encoding for combinatorial optimization problems | Thesis Hochschulschrift | 2026 |
| 45 |  | Salzmann, Josef ; Karl, Alexander ; Waldhör, Dominic ; Grasser, Tibor ; Waltl, Michael | An efficient SPICE framework for simulation of BTI effects at the circuit level | Article Artikel | 2026 |
| 46 | | Neufeld, Emery ; Engesser, Thorsten ; Tappler, Martin | Scalable Learning of Challenging Normative Behaviours with Deep RL | Inproceedings Konferenzbeitrag | 2026 |
| 47 | | Schlögl, Thomas ; Kuznets, Roman ; Cignarale, Giorgio | Consistent update synthesis via privatized beliefs | Article Artikel | 2026 |
| 48 | | Marzari, Luca ; Liu, Changliu ; Donti, Priya ; Marchesini, Enrico | Ɛ-retraining reinforcement learning algorithms | Article Artikel | 2026 |
| 49 | | Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling | Inproceedings Konferenzbeitrag | 2026 |
| 50 |  | Tremurici, Norbert | Efficient integrity-tree-aware scheduling for memory controllers with encryption | Thesis Hochschulschrift | 2026 |
| 51 |  | Schnirzer, Harald | Extending a fast performance estimation approach for out-of-order processors | Thesis Hochschulschrift | 2026 |
| 52 |  | Leszczyk, Jan | Computational modeling of macaque locomotion: from motion capture to joint torque actuation | Thesis Hochschulschrift | 2026 |
| 53 |  | Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | sweap: Reactive Synthesis for Infinite-State Integer Problems | Inproceedings Konferenzbeitrag | 2026 |
| 54 |  | Bhole, Mukund Padmakarrao | Model-Based Security & Safety Evaluation of Operational Technology Components | Thesis Hochschulschrift | 2026 |
| 55 |  | Mohamed, Sherif | Higher language features for weak memory models | Thesis Hochschulschrift | 2026 |
| 56 | | Marzari, Luca ; Bartocci, Ezio ; Marchesini, Enrico | A Survey on the Verification of Reinforcement Learning Policies | Inproceedings Konferenzbeitrag | 2026 |
| 57 | | Marzari, Luca ; Marchesini, Enrico | Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning | Inproceedings Konferenzbeitrag | 2026 |
| 58 |  | Tepaev, Alexander | Comparative evaluation of TLA+ and R-CHECK specifications | Thesis Hochschulschrift | 2026 |
| 59 |  | Mohr, Rafael | Semantic properties in ethereum bytecode using static analysis | Thesis Hochschulschrift | 2026 |
| 60 |  | Steinhauser, Jens | A Global Trajectory Planner for Mobile Robots | Thesis Hochschulschrift | 2026 |
| 61 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Presentation Vortrag | 17-Dec-2025 |
| 62 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 63 | | El Shahaby, Raghda ; Függer, Matthias ; Huemer, Florian ; Steininger, Andreas | SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits | Inproceedings Konferenzbeitrag | 9-Dec-2025 |
| 64 |  | Chiari, Michele ; Camilli, Matteo ; Bersani, Marcello M. ; van Beusekom, Rutger ; Tamburri, Damian A. | Reality Check on Formal Methods in Industry: A Study of Verum Dezyne | Article Artikel | Dec-2025 |
| 65 |  | Träff, Jesper Larsson | Optimal, Non-pipelined Reduce-scatter and Allreduce Algorithms with an Application to All-to-all Communication | Article Artikel | Dec-2025 |
| 66 | | Stauß, Philipp ; Prömpers, Martin ; Ilcik, Martin ; Shariattalab, Nooshin ; Bader, Markus ; Korjenic, Azra ; Kovacic, Iva | Green Facade Digital Twin : GreenFDT | Presentation Vortrag | 28-Nov-2025 |
| 67 | | van Kempen, Philipp ; Hager-Clukas, Andreas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | GenIE: Reuse-Oriented Generation of Domain-Specific Instruction Extensions | Inproceedings Konferenzbeitrag | 17-Nov-2025 |
| 68 | | Klotz, Steven ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Müller-Gritschneder, Daniel | Embedding Current Constraints in Reinforcement Learning for Electric Motor Control | Inproceedings Konferenzbeitrag | 11-Nov-2025 |
| 69 |  | Chiari, Michele ; Mandrioli, Dino ; Pradella, Matteo | Cyclic operator precedence grammars for parallel parsing | Article Artikel | Nov-2025 |
| 70 | | Ehrenmüller, Katrin ; Diwold, Konrad ; Schwarzinger, Tobias ; Steindl, Gernot ; Prüggler, Wolfgang ; Ekaputra, Fajar J. ; Sabou, Marta | Enhancing Transparency in Smart Grids: the SENSE Framework | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 71 |  | Kopetz, H. | A short Note on Data versus Information | Preprint Preprint | 23-Oct-2025 |
| 72 | | Fraigniaud, Pierre ; Nguyen, Minh Hang ; Paz, Ami ; Schmid, Ulrich ; Rincon Galeana, Hugo | Lower Bounds for k-Set Agreement in Fault-Prone Networks | Inproceedings Konferenzbeitrag | 22-Oct-2025 |
| 73 |  | Pallez, Guillaume ; Hill, Judith ; Hunold, Sascha | Implementing a Reproducibility Initiative in HPC: Experiences from SC'24 | Inproceedings Konferenzbeitrag | 21-Oct-2025 |
| 74 |  | Schwarzinger, Tobias ; Thoma, Max ; Preindl, Thomas ; Kjäer, Martin ; Just, Valentin Philipp ; Steindl, Gernot | RDF fusion: an extensible SPARQL engine for hybrid data models | Article Artikel | 20-Oct-2025 |
| 75 | | Jones, Jefferson Parker ; Van Kempen, Philipp ; Mueller-Gritschneder, Daniel | Vicuna2.0: RISC-V Embedded Vector Unit with Half-Precision Floating-Point Support for TinyML | Inproceedings Konferenzbeitrag | 6-Oct-2025 |
| 76 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 77 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Optimized Constant Execution Time Code | Inproceedings Konferenzbeitrag | 29-Sep-2025 |
| 78 | | Chen, Hongkai ; Zhang, Zeyu ; Roy, Shouvik ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott ; Lin, Shan | Cumulative-Time Signal Temporal Logic | Article Artikel | 26-Sep-2025 |
| 79 | | Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele | A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators | Article Artikel | 26-Sep-2025 |
| 80 | | Thoma, Moritz ; Tobias Preintner ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Vemparala, Manoj-Rohit ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Uncertainty Aware Training to Improve Uncertainty Active Learning for Semantic Segmentation | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 81 | | Thoma, Moritz ; Villasante, Jorge ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Groetzinger, Maximilian ; Dylkin, Daniil ; Vemparala, Manoj-Rohit ; Fasfous, Nael ; Frickenstein, Alexander ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Flar-SVD: Fast and Latency-Aware Singular Value Decomposition for Model Compression | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 82 | | Thoma, Moritz ; Aghajanzadeh, Emad ; Balamuthu Sampath, Shambhavi ; Mori, Pierpaolo ; Fasfous, Nael ; Frickenstein, Alexander ; Vemparala, Manoj-Rohit ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | SuperFast: Fast Supernet Training Using Initial Knowledge | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 83 | | Mohammad Hosseini, Ali ; Sauter, Thilo ; Kastner, Wolfgang | Trustworthy AI for Security Decision-Making in ICSs: Towards Compliance with the EU AI Act | Inproceedings Konferenzbeitrag | 12-Sep-2025 |
| 84 | | Di Stefano, Luca | Execution and Monitoring of HOA Automata with HOAX | Inproceedings Konferenzbeitrag | 12-Sep-2025 |
| 85 | | Klotz, Steven ; Kulkarni, Sourabh ; Joglekar, Nehaja ; Bucksch, Thorsten ; Goswami, Dip ; Mueller-Gritschneder, Daniel | Sim-to-Real: Tiny Deep Learning Agents on Resource-Constrained Embedded Microcontrollers | Inproceedings Konferenzbeitrag | 11-Sep-2025 |
| 86 | | Kanatbekova, Meerzhan ; De Maio, Vincenzo ; Brandic, Ivona | Qubit-Efficient QUBO Formulation for Constrained Optimization Problems | Preprint Preprint | 9-Sep-2025 |
| 87 | | Thain, Douglas ; Nabrzyski, Jarek ; Brandic, Ivona ; Wisniewski, Robert | HPDC '25: Proceedings of the 34th International Symposium on High-Performance Parallel and Distributed Computing | Proceedings Tagungsband | 9-Sep-2025 |
| 88 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel | Sep-2025 |
| 89 | | Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona | Breaking Down Quantum Compilation: Profiling and Identifying Costly Passes | Inproceedings Konferenzbeitrag | 27-Aug-2025 |
| 90 |  | Amiri, Amirali | Requirements Validation of Event-Driven Supply Chains Using Model-Based Systems Engineering | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 91 | | Müller-Gritschneder, Daniel ; Lieber, Peter | Combining TinyML & Model-based Architecture Methods for Predictive Maintenance in Highly Regulated Environments | Presentation Vortrag | 16-Aug-2025 |
| 92 | | Salimi Beni, Majid ; Laso, Ruben ; Cosenza, Biagio ; Benkner, Siegfried ; Hunold, Sascha | Exploring NCCL Tuning Strategies for Distributed Deep Learning | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 93 | | De Maio, Vincenzo ; Brandic, Ivona ; Deelman, Ewa ; Cito, Jürgen | The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software | Inproceedings Konferenzbeitrag | 28-Jul-2025 |
| 94 | | Scharwitzl, Clemens ; Steininger, Andreas | Circuits for Autonomous Clock Frequency Supervision | Article Artikel | 25-Jul-2025 |
| 95 |  | Vardas, Ioannis ; Träff, Jesper Larsson ; Laso, Ruben ; Hunold, Sascha | Mpisee: communicator-centric profiling of MPI applications | Article Artikel | 25-Jul-2025 |
| 96 | | Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir ; Schneider, Gerardo | Full LTL Synthesis over Infinite-State Arenas | Inproceedings Konferenzbeitrag | 23-Jul-2025 |
| 97 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag | 22-Jul-2025 |
| 98 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand ; Mahmoudi, Ramin ; Cherepanov, Maksym | Imaging-Ellipsometry in the Infrared | Inproceedings Konferenzbeitrag | 13-Jul-2025 |
| 99 | | Träff, Jesper Larsson | Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan) | Preprint Preprint | 7-Jul-2025 |
| 100 | | Ahmadifarsani, Samira ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | A High-Level Compiler Integration Approach for Deep Learning Accelerators Supporting Abstraction and Optimization | Preprint Preprint | 7-Jul-2025 |
