|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Ahmad, Sabtain ; Schneidergruber, Thomas ; Brandic, Ivona ; Scholz, Johannes | On-Device Federated Learning for Remote Alpine Livestock Monitoring | Inproceedings Konferenzbeitrag  | 23-Aug-2026 |
| 2 | | Laso Rodriguez, 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 |
| 3 | | Yadav, Drishti ; Mandrioli, Claudio ; Bartocci, Ezio ; Bianculli, Domenico | Fault Injection for Simulink-based CPS Models: Insights and Future Directions | Inproceedings Konferenzbeitrag  | 28-Jan-2026 |
| 4 |  | Hollerer, Siegfried | Integrated Safety and Security Knowledge Modeling | Thesis Hochschulschrift  | 2026 |
| 5 |  | Bhosale, Pushparaj Rajaram | Automatic Risk Management for Industrial Control Systems | Thesis Hochschulschrift  | 2026 |
| 6 |  | Ostrowski, Erik | Weakly Supervised and Embedded Semantic Segmentation for Computer Aided Diagnostics | Thesis Hochschulschrift  | 2026 |
| 7 |  | Strasser, Michael | Effiziente Validierung von UML-Sequenzdiagrammen gegen UML-Zustandsautomaten mittels Kronecker Algebra | Thesis Hochschulschrift  | 2026 |
| 8 |  | Chakarov, Teodor | Performance and Scalability Analysis of Dask Applications on Large Scale Systems | Thesis Hochschulschrift  | 2026 |
| 9 |  | Leszczyk, Jan | Computational Modeling of Macaque Locomotion: From Motion Capture to Joint Torque Actuation | Thesis Hochschulschrift  | 2026 |
| 10 |  | Hacker, Clemens | 5D path-planning : velocity based, optimal path-planning for mobile robots with Ackermann-steering | Thesis Hochschulschrift  | 2026 |
| 11 | | Abd Alrahman, Yehia ; Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir | A compositional semantics for reconfigurable multi-mode interaction in R-CHECK | Article Artikel  | 2026 |
| 12 | | Träff, Jesper Larsson | Lectures on Parallel Computing | Book Buch | 2026 |
| 13 | | Randone, Francesca ; Doz, Romina ; Tribastone, Mirco ; Bortolussi, Luca | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling | Inproceedings Konferenzbeitrag  | 2026 |
| 14 |  | Kienast, Hanna | Enhancing QAOA using QRAC encoding for combinatorial optimization problems | Thesis Hochschulschrift  | 2026 |
| 15 | | 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 |
| 16 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel  | 9-Dec-2025 |
| 17 | | 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 |
| 18 |  | 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 |
| 19 | | 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 |
| 20 | | 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 |
| 21 | | 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 |
| 22 |  | Chiari, Michele ; Mandrioli, Dino ; Pradella, Matteo | Cyclic operator precedence grammars for parallel parsing | Article Artikel  | Nov-2025 |
| 23 | | 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 |
| 24 |  | Kopetz, H. | A short Note on Data versus Information | Preprint Preprint  | 23-Oct-2025 |
| 25 | | 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 |
| 26 |  | 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 |
| 27 | | 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 |
| 28 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag  | 1-Oct-2025 |
| 29 | | Maroun, Emad Jacob ; Schoeberl, Martin ; Puschner, Peter | Optimized Constant Execution Time Code | Inproceedings Konferenzbeitrag  | 29-Sep-2025 |
| 30 | | 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 |
| 31 | | 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 |
| 32 | | 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 |
| 33 | | 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 |
| 34 | | 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 |
| 35 | | Di Stefano, Luca | Execution and Monitoring of HOA Automata with HOAX | Inproceedings Konferenzbeitrag  | 12-Sep-2025 |
| 36 | | 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 |
| 37 | | 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 |
| 38 | | Kanatbekova, Meerzhan ; De Maio, Vincenzo ; Brandic, Ivona | Qubit-Efficient QUBO Formulation for Constrained Optimization Problems | Preprint Preprint | 9-Sep-2025 |
| 39 | | 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 |
| 40 | | Hsu, Tzu-Han ; Oliveira Da Costa, Ana ; Wintenberg, Andrew ; Bartocci, Ezio ; Bonakdarpour, Borzoo | Gray-box runtime enforcement of hyperproperties | Article Artikel  | Sep-2025 |
| 41 | | Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona | Breaking Down Quantum Compilation: Profiling and Identifying Costly Passes | Inproceedings Konferenzbeitrag  | 27-Aug-2025 |
| 42 |  | Amiri, Amirali | Requirements Validation of Event-Driven Supply Chains Using Model-Based Systems Engineering | Inproceedings Konferenzbeitrag  | 20-Aug-2025 |
| 43 | | Müller-Gritschneder, Daniel ; Lieber, Peter | Combining TinyML & Model-based Architecture Methods for Predictive Maintenance in Highly Regulated Environments | Presentation Vortrag | 16-Aug-2025 |
| 44 | | Salimi Beni, Majid ; Laso, Ruben ; Cosenza, Biagio ; Benkner, Siegfried ; Hunold, Sascha | Exploring NCCL Tuning Strategies for Distributed Deep Learning | Inproceedings Konferenzbeitrag  | 13-Aug-2025 |
| 45 | | 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 |
| 46 | | Scharwitzl, Clemens ; Steininger, Andreas | Circuits for Autonomous Clock Frequency Supervision | Article Artikel  | 25-Jul-2025 |
| 47 |  | Vardas, Ioannis ; Träff, Jesper Larsson ; Laso, Ruben ; Hunold, Sascha | Mpisee: communicator-centric profiling of MPI applications | Article Artikel  | 25-Jul-2025 |
| 48 | | Azzopardi, Shaun ; Di Stefano, Luca ; Piterman, Nir ; Schneider, Gerardo | Full LTL Synthesis over Infinite-State Arenas | Inproceedings Konferenzbeitrag  | 23-Jul-2025 |
| 49 | | Pontiggia, Francesco ; Bartocci, Ezio ; Chiari, Michele | POPACheck: A Model Checker for Probabilistic Pushdown Automata | Inproceedings Konferenzbeitrag  | 22-Jul-2025 |
| 50 | | Bammer, Ferdinand ; Huemer, Florian Ferdinand ; Mahmoudi, Ramin ; Cherepanov, Maksym | Imaging-Ellipsometry in the Infrared | Inproceedings Konferenzbeitrag | 13-Jul-2025 |
| 51 | | Träff, Jesper Larsson | Communication Round and Computation Efficient Exclusive Prefix-Sums Algorithms (for MPI_Exscan) | Preprint Preprint  | 7-Jul-2025 |
| 52 | | 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 |
| 53 | | Kappes, Johannes ; Geier, Johannes ; van Kempen, Phillipp ; Mueller-Gritschneder, Daniel ; Schlichtmann, Ulf | Automated Graph-level Passes for TinyML Fault Tolerance | Inproceedings Konferenzbeitrag  | 30-Jun-2025 |
| 54 | | Müller-Gritschneder, Daniel | Towards an Automated Toolchain and Fusion-based Instruction Identification for RISC-V Custom Extensions | Presentation Vortrag | 25-Jun-2025 |
| 55 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine | Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study | Inproceedings Konferenzbeitrag  | 8-Jun-2025 |
| 56 |  | Lehninger, Philipp ; Jantsch, Axel ; Steininger, Andreas ; Worsey, Elliott ; Marot, Victor ; Pamunuwa, Dinesh | Muller C-Element for NEMS | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 57 | | Brunnbauer, Axel ; Lemmel, Julian ; Babaiee, Zahra ; Neubauer, Sophie ; Grosu, Radu | Scalable Offline Reinforcement Learning for Mean Field Games | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 58 | | Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan | Decentralized Planning Using Probabilistic Hyperproperties | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 59 | | Salzmann, Josef | Distributed Locally Synchronous Grid Oscillator via Perpetual Token Exchange | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 60 | | Elshehaby, Raghda ; Függer, Matthias ; Huemer, Florian Ferdinand ; Steininger, Andreas | Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 61 | | Chiari, Michele ; Giornetta, Michele ; Mandrioli, Dino ; Pradella, Matteo | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars | Inproceedings Konferenzbeitrag  | Jun-2025 |
| 62 | | Müller-Gritschneder, Daniel | Low Overhead Fault Tolerance for tinyML and Security Applications | Presentation Vortrag | 30-May-2025 |
| 63 |  | Reicher, Matthias ; Bader, Markus | Multi Robot Route Planning for ROS2 | Inproceedings Konferenzbeitrag  | 27-May-2025 |
| 64 |  | Friedl, Jakob ; Bader, Markus | A Modular and Configurable Architecture for ROS 2 Hardware Integration with micro-ROS | Inproceedings Konferenzbeitrag  | 27-May-2025 |
| 65 |  | Salimi Beni, Majid ; Laso, Ruben ; Cosenza, Biagio ; Benkner, Siegfried ; Hunold, Sascha | Optimizing Distributed Deep Learning Training by Tuning NCCL | Inproceedings Konferenzbeitrag  | 22-May-2025 |
| 66 |  | Vardas, Ioannis ; Laso Rodriguez, Ruben ; Salimi Beni, Majid | ncclsee: A Lightweight Profiling Tool for NCCL | Inproceedings Konferenzbeitrag  | 22-May-2025 |
| 67 | | Rüb, Marcus ; Konegen, Daniel ; Selle, Patrick ; Sikora, Axel ; Müller-Gritschneder, Daniel | DRIP: DRop unImportant data Points -- Enhancing Machine Learning Efficiency with Grad-CAM-Based Real-Time Data Prioritization for On-Device Training | Preprint Preprint | 22-May-2025 |
| 68 | | Geier, Johannes ; Kontopoulos, Leonidas ; Müller-Gritschneder, Daniel ; Schlichtmann, Ulf | Rapid Fault Injection Simulation by Hash-Based Differential Fault Effect Equivalence Checks | Inproceedings Konferenzbeitrag  | 21-May-2025 |
| 69 | | Salzmann, Josef ; Schmid, Ulrich | Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks | Inproceedings Konferenzbeitrag  | 21-May-2025 |
| 70 | | Felber, Stephan ; Hummes Flores, Bernardo ; Rincon Galeana, Hugo | Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed Systems | Inproceedings Konferenzbeitrag  | 21-May-2025 |
| 71 | | Schmid, Ulrich ; Roman Kuznets | Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings | Proceedings Tagungsband  | 15-May-2025 |
| 72 | | Nesterini, Eleonora ; Bartocci, Ezio ; Gambi, Alessio ; Nickovic, Dejan ; Seshia, Sanjit A. ; Torfah, Hazem | Mining Specifications for Predictive Safety Monitoring | Inproceedings Konferenzbeitrag  | 7-May-2025 |
| 73 | | Buchsteiner, Jakob ; Marth, Daniel ; Taferner, Moritz ; Bader, Markus | ROS with LEGO Spike | Inproceedings Konferenzbeitrag  | May-2025 |
| 74 |  | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael | Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs | Article Artikel  | May-2025 |
| 75 | | Zilk, Felix ; Tundo, Alessandro ; De Maio, Vincenzo ; Brandic, Ivona | Breaking Down Quantum Compilation: Profiling and Identifying Costly Passes | Preprint Preprint | 21-Apr-2025 |
| 76 | | Lemmel, Julian ; Grosu, Radu | Real-Time Recurrent Reinforcement Learning | Inproceedings Konferenzbeitrag  | 11-Apr-2025 |
| 77 | | Babaiee, Zahra ; Mohseni Kiasari, Peyman ; Rus, Daniela ; Grosu, Radu | The Master Key Filters Hypothesis: Deep Filters Are General | Inproceedings Konferenzbeitrag  | 11-Apr-2025 |
| 78 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel  | Apr-2025 |
| 79 |  | Bhole, Mukund ; Sauter, Thilo ; Semper, Sabrina ; Kastner, Wolfgang | Why to Fail Fast and Often: A Strategy for OT Safety and Security Evaluation | Article Artikel  | 20-Mar-2025 |
| 80 | | 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 | Preprint Preprint | 14-Mar-2025 |
| 81 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine | Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version) | Preprint Preprint  | 26-Feb-2025 |
| 82 |  | Träff, Jesper Larsson | Optimal, Non-pipelined Reduce-scatter and Allreduce Algorithms | Preprint Preprint  | 13-Feb-2025 |
| 83 | | Berducci, Luigi ; Aguilar, Edgar A ; Ničković, Dejan ; Grosu, Radu | HPRS: hierarchical potential-based reward shaping from task specifications | Article Artikel  | 10-Feb-2025 |
| 84 | | Liu, Wenliang ; Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control | Article Artikel  | 4-Feb-2025 |
| 85 | | Pacher, Felix ; Steindl, Gernot | Enabling Semantically Enriched Data Streams from OPC UA in Industrial Cyber-Physical Systems | Inproceedings Konferenzbeitrag  | Feb-2025 |
| 86 | | Li, Penghua ; Wu, Xiankui ; Grosu, Radu ; Hou, Jie ; Ilolov, Mamadsho ; Xiang, Sheng | Applying Neural Network to Health Estimation and Lifetime Prediction of Lithium-Ion Batteries | Article Artikel  | Feb-2025 |
| 87 | | Ostrowski, Erik ; Shafique, Muhammad | Embedded-ViT: A Framework for Embedded Deployment of Vision-Transformer in Medical Applications | Inproceedings Konferenzbeitrag  | 22-Jan-2025 |
| 88 | | Ostrowski, Erik ; Shafique, Muhammad | J-Net: A Low-Resolution Lightweight Neural Network for Semantic Segmentation in the Medical Field for Embedded Deployment | Inproceedings Konferenzbeitrag  | 22-Jan-2025 |
| 89 | | Ilager, Shashikant ; Briem, Lukas Florian ; Brandic, Ivona | GREEN-CODE: Learning to Optimize Energy Efficiency in LLM-based Code Generation | Preprint Preprint | 19-Jan-2025 |
| 90 | | Maliakel, Paul Joe ; Ilager, Shashikant ; Brandic, Ivona | Investigating Energy Efficiency and Performance Trade-offs in LLM Inference Across Tasks and DVFS Settings | Preprint Preprint | 14-Jan-2025 |
| 91 | | Felber, Stephan ; Galeana, Hugo Rincon | Stabilizing Consensus Is Impossible in Lossy Iterated Immediate Snapshot Models | Inproceedings Konferenzbeitrag  | 8-Jan-2025 |
| 92 | | Lorber, Florian ; Seceleanu, Cristina ; Tappler, Martin | Message from the A-MOST 2025 Workshop Chairs | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 93 | | Rüb, Marcus ; Konegen, Daniel ; Sikora, Axel ; Mueller-Gritschneder, Daniel | DRIP: DRop unImportant data Points - Enhancing Machine Learning Efficiency with Grad-CAM-Based Streaming Data Prioritization for On-Device Training | Inproceedings Konferenzbeitrag  | 1-Jan-2025 |
| 94 |  | Bhole, Mukund ; Sauter, Thilo ; Kastner, Wolfgang | Enhancing Industrial Cybersecurity: Insights from Analyzing Threat Groups and Strategies in Operational Technology Environments | Article Artikel  | 2025 |
| 95 |  | Amiri, Amirali ; Nastic, Stefan ; Javadi, Bahman ; Kastner, Wolfgang | Self-Adaptive Intelligent Deployment of Message Brokers: An Empirical Study on IoT Performance | Inproceedings Konferenzbeitrag  | 2025 |
| 96 |  | Amiri, Amirali ; Nastic, Stefan ; Kastner, Wolfgang | Supply chain optimization using model-based systems engineering and the internet of things | Article Artikel  | 2025 |
| 97 | | Bartocci, Ezio ; Desharnais, Josée ; Lindner, Peter ; Sokolova, Ana | A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case | Book Contribution Buchbeitrag  | 2025 |
| 98 | | Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura | Automated Monitoring of Web User Interfaces | Article Artikel  | 2025 |
| 99 | | Körber, Nikolai ; Kromer, Eduard ; Siebert, Andreas ; Hauke, Sascha ; Mueller-Gritschneder, Daniel ; Schuller, Björn | EGIC: Enhanced Low-Bit-Rate Generative Image Compression Guided by Semantic Segmentation | Inproceedings Konferenzbeitrag  | 2025 |
| 100 | | Tundo, Alessandro ; Filippini, Federica ; Regonesi, Francesco ; Ciavotta, Michele ; Savi, Marco | Decentralized Edge Workload Forecasting With Gossip Learning | Article Artikel  | 2025 |