|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Reyhani Masouleh, Moien ; Hartl-Nesic, Christian ; Kugi, Andreas | Co-optimized elasto-geometrical and hand-eye calibration of industrial robots with integrated dual laser profile scanners | Article Artikel  | Aug-2026 |
| 2 | | Schrom, Katharina ; Deutschmann-Olek, Andreas ; Falkensteiner, Roland ; Kugi, Andreas | Data-driven modeling and estimation of beam position drift for electron beam systems | Article Artikel | Jul-2026 |
| 3 |  | Lehninger, Philipp ; Elahi, Ardavan ; Schnöll, Daniel ; Jantsch, Axel ; Sauter, Thilo | Hardware-Efficient System State Detection for Embedded Condition Monitoring | Article Artikel   | May-2026 |
| 4 |  | Landauer, Julian ; Dollhäubl, Paul ; Fuchshumer, Stefan ; Posch, Wilhelm ; Kugi, Andreas ; Steinböck, Andreas | Robust control design to prevent unsteady bulging in continuous slab casters | Article Artikel | Apr-2026 |
| 5 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 6 | | Fuchs, Gerd ; Kugi, Andreas ; Kemmetmüller, Wolfgang | High-precision multi-shuttle operation of a segmented stator permanent magnet linear synchronous motor | Article Artikel | Mar-2026 |
| 7 | | Mlynář, Vojtěch ; Dago, Salambô ; Rieser, Jakob ; Ciampini, Mario A. ; Aspelmeyer, Markus ; Kiesel, Nikolai ; Kugi, Andreas ; Deutschmann-Olek, Andreas | Feedback stabilization of a nanoparticle at the intensity minimum of an optical double-well potential | Article Artikel | Mar-2026 |
| 8 | | Würkner, Nikolaus ; Tarra, Lukas ; Deutschmann-Olek, Andreas ; Kugi, Andreas | Combined feedback stabilization and iterative pulse shaping for regenerative optical amplifiers | Article Artikel | Mar-2026 |
| 9 | | Bonek, Erik ; Bittner, Matthias ; Hauer, Daniel ; Wilker, Stefan ; Jantsch, Axel | Benchmarking Recurrent Neural Networks for Efficient Load Forecasting in Low-Voltage Grids | Inproceedings Konferenzbeitrag | 22-Feb-2026 |
| 10 |  | Timmer, Jan ; Elahi, Ardavan ; Lehninger, Philipp ; Jantsch, Axel | A Low-Resource Hardware Design for Bearing Fault Detection Using Support Vector Machines | Article Artikel | 20-Feb-2026 |
| 11 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag | 2-Jan-2026 |
| 12 | | Van Nguyen, Phuoc-Chung ; To, Van-Thinh ; Nguyen Tran, Ngoc-Vi ; Phan, Tieu-Long ; Truong, Tuyen Ngoc ; Gärtner, Thomas ; Merkle, Daniel ; Stadler, Peter F. | SynCat: molecule-level attention graph neural network for precise reaction classification | Article Artikel | 2026 |
| 13 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 14 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 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 | | Zamyatin, Anton ; Indri, Patrick ; Malhotra, Sagar ; Gärtner, Thomas | Is BatchEnsemble a Single Model? On Calibration and Diversity of Efficient Ensembles | Presentation Vortrag | 6-Dec-2025 |
| 17 | | Rudolf, Dominik ; Elahi, Ardavan ; Jantsch, Axel ; Pamunuwa, Dinesh | A Fault-Tolerant Voter Circuit in NEM Technology | Inproceedings Konferenzbeitrag | 25-Nov-2025 |
| 18 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 19 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 20 |  | Ettl, Andreas ; Steinböck, Andreas ; Kugi, Andreas | Dynamical model of the lateral strip motion in a tandem hot rolling mill | Article Artikel | 15-Oct-2025 |
| 21 | | Weinbauer, Klaus ; Phan, Tieu-Long ; Stadler, Peter F. ; Gärtner, Thomas ; Malhotra, Sagar | Prime Implicant Explanations for Reaction Feasibility Prediction | Preprint Preprint | 10-Oct-2025 |
| 22 | | Hajdu, Márton ; Hozzová, Petra ; Kovacs, Laura ; Voronkov, Andrei ; Wagner, Eva Maria ; Žilinčík, Richard Steven | Synthesis Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag | 8-Oct-2025 |
| 23 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 24 | | Iglesias Vazquez, Félix ; Zseby, Tanja ; Zimek, Arthur | Interpreting and Unifying Anomaly Scores with Antagonistic Fuzzy Sets | Inproceedings Konferenzbeitrag | Oct-2025 |
| 25 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 26 | | Fischer, Nico ; Kugi, Andreas ; Steinboeck, Andreas | Empirical Roll Wear Model to Predict Changes of the Roll Surface Height Distribution in a Temper Rolling Process | Inproceedings Konferenzbeitrag | Oct-2025 |
| 27 | | Indri, Patrick ; Drucks, Tamara ; Gärtner, Thomas | Private and Expressive Graph Representations | Presentation Vortrag | 15-Sep-2025 |
| 28 | | Sandrock, Christoph ; Lüderssen, Sebastian Johannes ; Thiessen, Maximilian ; Gärtner, Thomas | Efficient Minimization of Peakless Functions on Bounded-degree Graphs | Presentation Vortrag | 15-Sep-2025 |
| 29 | | Manduchi, Laura ; Meister, Clara ; Pandey, Kushagra ; Bamler, Robert ; Cotterel, Ryan ; Däubener, Sina ; Fellenz, Sophie ; Fischer, Asja ; Gärtner, Thomas ; Kirchler, Matthias ; Kloft, Marius ; Li, Yingzhen ; Lippert, Christoph ; De Melo, Gerard ; Nalisnick, Eric ; Ommer, Björn ; Ranganath, Rajesh ; Waldron, Maja ; Ullrich, Karen ; Van den Broeck, Guy ; Vogt, Julia E. ; Wang, Yixin ; Wenzel, Florian ; Wood, Frank ; Mandt, Stephan ; Fortuin, Vincent | On the Challenges and Opportunities in Generative AI | Article Artikel | 22-Aug-2025 |
| 30 | | Blohm, Peter ; Indri, Patrick ; Gärtner, Thomas ; Malhotra, Sagar | Probably Approximately Global Robustness Certification | Inproceedings Konferenzbeitrag | 16-Aug-2025 |
| 31 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 32 | | Saha, Aakanksha ; Mattei, James ; Blasco, Jorge ; Cavallaro, Lorenzo ; Votipka, Daniel ; Lindorfer, Martina | Expert Insights into Advanced Persistent Threats: Analysis, Attribution, and Challenges | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 33 | | Rusý, Karel ; Seiler, Fabian ; Breuss, David ; Jantsch, Axel | SYNAD: A synthetic object injection methodology for enhanced anomaly detection | Inproceedings Konferenzbeitrag | 1-Aug-2025 |
| 34 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 35 | | Fischer, Andreas ; Unger, Christoph ; Kugi, Andreas ; Hartl-Nesic, Christian | Few-Shot Learning of a Force-Based Industrial Cleaning Process using an Instrumented Tool | Inproceedings Konferenzbeitrag | Jul-2025 |
| 36 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 37 |  | Lehninger, Philipp ; Jantsch, Axel ; Steininger, Andreas ; Worsey, Elliott ; Marot, Victor ; Pamunuwa, Dinesh | Muller C-Element for NEMS | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 38 |  | Kovacs, Laura | Automated Reasoning | Presentation Vortrag | Jun-2025 |
| 39 | | Mlynar, Vojtech ; Rieser, Jakob ; Salambô, Dago ; Mario A. Ciampini ; Aspelmeyer, Markus ; Kiesel, Nikolai ; Kugi, Andreas ; Deutschmann-Olek, Andreas | Dark Optical Levitation Towards Delocalized Quantum States of Motion | Presentation Vortrag | Jun-2025 |
| 40 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 41 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel | Apr-2025 |
| 42 | | Boobier, Samuel ; Heeley, Joseph ; Gärtner, Thomas ; Hierst, Jonathan D. | Interactive Knowledge-Based Kernel PCA for Solvent Selection | Article Artikel | 13-Mar-2025 |
| 43 | | Lechner, Martin ; Jantsch, Axel | OptiSim: A Hardware-Aware Optimization Space Exploration Tool for CNN Architectures | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 44 | | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | Jan-2025 |
| 45 | | Bause, Franka ; Jogl, Fabian ; Indri, Patrick ; Drucks, Tamara ; Penz, David ; Kriege, Nils ; Gärtner, Thomas ; Welke, Pascal ; Thiessen, Maximilian | Maximally Expressive GNNs for Outerplanar Graphs | Article Artikel | Jan-2025 |
| 46 | | Landauer, Julian ; Gasparini, Luca ; Kugi, Andreas ; Steinboeck, Andreas | Empirical Modeling of Unsteady Bulging in Continuous Slab Casters | Inproceedings Konferenzbeitrag | 2025 |
| 47 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 48 | | Maragkou, Sofia ; Grammatikakis, Miltos ; Papatheodorou, Nikos ; Jantsch, Axel | Secure Authentication in the Presence of Malicious Messages and Packet Reorders: Study on CAN Bus | Inproceedings Konferenzbeitrag | 2025 |
| 49 | | Jadachowski, Lukasz Piotr ; Kugi, Andreas ; Steinböck, Andreas | Induction Heating System as a Soft-Sensor for the B-H Curve of Steel Strips in a Continuous Induction Furnace | Article Artikel | 2025 |
| 50 | | Iglesias Vazquez, Felix ; Konzett, Simon ; Zseby, Tanja ; Bifet, Albert | Stream Clustering Robust to Concept Drift | Inproceedings Konferenzbeitrag | 2025 |
| 51 | | Würkner, Nikolaus ; Deutschmann-Olek, A. ; Kugi, A. | Identifikation und Optimalsteuerung zum transversalen Teilen von ultra-kalten Bose Gasen | Inproceedings Konferenzbeitrag | 2025 |
| 52 | | de Mathelin de Papigny, Guillaume Charles Marie ; Hartl-Nesic, Christian ; Kugi, Andreas | Systematic Evaluation of Trade-Offs in Motion Planning Algorithms for Optimal Industrial Robotic Work Cell Design | Inproceedings Konferenzbeitrag | 2025 |
| 53 | | Negishi, Masahiro ; Gärtner, Thomas ; Welke, Pascal | WILTing Trees: Interpreting the Distance Between MPNN Embeddings | Inproceedings Konferenzbeitrag | 2025 |
| 54 | | Bittner, Matthias ; Schnöll, Daniel ; Dallinger, Dominik ; Wess, Matthias ; Jantsch, Axel | Pruning State Space Models with Model Order Reduction for Efficient Raw Audio Classification | Inproceedings Konferenzbeitrag | 2025 |
| 55 | | Wachter, Alexander ; Hartl-Nesic, Christian ; Kugi, Andreas | Leveraging Contact Dynamics for Energy-and Torque-Optimized Inverse Kinematics | Inproceedings Konferenzbeitrag | 2025 |
| 56 | | Kofnov, Andrey ; Kapla, Daniel Benjamin ; Bartocci, Ezio ; Bura, Efstathia | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 57 | | Kuriatnikov, Yevhenii ; Würkner, Nikolaus ; Kumaran, Karthikeyan Ganesan ; Zhang, Tiantian ; Marupaka, Venkat Ramana ; Kugi, Andreas ; Schmiedmayer, Jörg ; Deutschmann-Olek, Andreas ; Prüfer, Maximilian | Fast coherent splitting of Bose-Einstein condensates | Article Artikel | 2025 |
| 58 | | Abrams, Mitchell ; Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas ; Scheutz, Matthias | Incremental Language Understanding for Online Motion Planning of Robot Manipulators | Inproceedings Konferenzbeitrag | 2025 |
| 59 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 60 | | Iglesias, Félix ; Martínez, Conrado ; Zseby, Tanja | Impact of the Neighborhood Parameter on Outlier Detection Algorithms | Inproceedings Konferenzbeitrag | 25-Oct-2024 |
| 61 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 62 | | Joshi, Rucha Bhalchandra ; Indri, Patrick ; Mishra, Subhankar | GraphPrivatizer: Improved Structural Differential Privacy for Graph Neural Networks | Article Artikel | 1-Oct-2024 |
| 63 |  | Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas | Language-guided Manipulator Motion Planning with Bounded Task Space | Inproceedings Konferenzbeitrag | 6-Sep-2024 |
| 64 | | Chen, Florian ; Gärtner, Thomas | Scalable Interactive Data Visualization | Inproceedings Konferenzbeitrag | 22-Aug-2024 |
| 65 | | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 66 | | Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper) | Inproceedings Konferenzbeitrag | 1-Jul-2024 |
| 67 |  | Pluska, Alexander ; Welke, Pascal ; Gärtner, Thomas ; Malhotra, Sagar | Logical Distillation of Graph Neural Networks | Inproceedings Konferenzbeitrag | 24-Jun-2024 |
| 68 | | Lenz, René ; Deutschmann-Olek, Andreas ; Kugi, Andreas ; Kemmetmüller, Wolfgang | Optimal fault-tolerant control with radial force compensation for multiple open-circuit faults in multiphase PMSMs - A comparison of n-phase and multiple three-phase systems | Article Artikel | Jun-2024 |
| 69 | | Seyedfaraji, Saeed ; Jager, Severin ; Shakibhamedan, Salar ; Aftab, Asad ; Rehman, Semeen | OPTIMA: Design-Space Exploration of Discharge-Based In-SRAM Computing: Quantifying Energy-Accuracy Trade-offs | Inproceedings Konferenzbeitrag | Jun-2024 |
| 70 |  | Reyhani, Moien ; Marko, Lukas ; Janisch, Georg ; Kugi, Andreas | Real-time observer designs for elastic-joint industrial robots: Experimental comparison and new strategies | Article Artikel | May-2024 |
| 71 | | Leopold, Thomas ; Jantsch, Axel | Colorado Potato Beetle Dataset and Detection for Monitoring and Management in Potato Fields | Inproceedings Konferenzbeitrag | 26-Mar-2024 |
| 72 | | Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas | Model Predictive Trajectory Planning for Human-Robot Handovers | Inproceedings Konferenzbeitrag | 2024 |
| 73 | | Bittner, Matthias ; Hauer, Daniel ; Wess, Matthias ; Schnöll, Daniel ; Diwold, Konrad ; Jantsch, Axel | Forecasting Load Profiles and Critical Overloads with Uncertainty Quantification for Low Voltage Smart Grids | Inproceedings Konferenzbeitrag | 2024 |
| 74 | | Seyedfaraji, Saeed ; Shakibhamedan, Salar ; Seyedfaraji, Amire ; Mesgari, Baset ; Taherinejad, Nima ; Jantsch, Axel ; Rehman, Semeen | E-MAC: Enhanced In-SRAM MAC Accuracy via Digital-to-Time Modulation | Article Artikel | 2024 |
| 75 | | Seyedfaraji, Saeed ; Bichl, Markus ; Aftab, Asad ; Rehman, Semeen | HOPE: Holistic STT-RAM Architecture Exploration Framework for Future Cross-Platform Analysis | Article Artikel | 2024 |
| 76 | | Vuong, An Dinh ; Vu, Minh Nhat ; Le, Hieu ; Huang, Baoru ; Binh, Huynh Thi Thanh ; Vo, Thieu ; Kugi, Andreas ; Nguyen, Anh | Grasp-Anything: Large-scale Grasp Dataset from Foundation Models | Inproceedings Konferenzbeitrag | 2024 |
| 77 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 78 | | Jadachowski, Lukas ; Kugi, Andreas ; Steinboeck, Andreas | Induction Heating System as a Soft-Sensor for the B - H Curve of Steel Strips in a Continuous Induction Furnace | Inproceedings Konferenzbeitrag | 2024 |
| 79 | | Hader, Thomas ; Ozdemir, Alex | An SMT-LIB Theory of Finite Fields | Inproceedings Konferenzbeitrag | 2024 |
| 80 | | Jogl, Fabian ; Welke, Pascal ; Gärtner, Thomas | Is Expressivity Essential for the Predictive Performance of Graph Neural Networks? | Inproceedings Konferenzbeitrag | 2024 |
| 81 | | Ebmer, Gerald ; Loch, Adam ; Vu, Minh Nhat ; Mecca, Roberto ; Germain Haessig ; Hartl-Nesic, Christian ; Vincze, Markus ; Kugi, Andreas | Real-time 6-DoF Pose Estimation by an Event-based Camera using Active LED Markers | Inproceedings Konferenzbeitrag | 2024 |
| 82 | | Weingartshofer, Thomas ; Hartl-Nesic, Christian ; Kugi, Andreas | Automatic and Flexible Robotic Drawing on Complex Surfaces With an Industrial Robot | Article Artikel | 29-Dec-2023 |
| 83 | | Meiringer, M. ; Kugi, Andreas ; Kemmetmüller, W. | Semi-autonomous operation of a mobile concrete pump | Article Artikel | Dec-2023 |
| 84 | | Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura | SMT Solving over Finite Field Arithmetic | Inproceedings Konferenzbeitrag | Jun-2023 |
| 85 | | Breuss, David ; Götzinger, Maximilian ; Vuong, Jenny ; Reisner, Clemens ; Jantsch, Axel | VADAR: A Vision-based Anomaly Detection Algorithm for Railroads | Inproceedings Konferenzbeitrag | 2023 |
| 86 | | Wagner, Marc Oliver ; Meurer, Thomas ; Kugi, Andreas | Feedforward control design for a semilinear wave equation | Artikel Article | 2009 |
