|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia | Moment-based Density Elicitation with Applications in Probabilistic Loops | Article Artikel  | Apr-2025 |
| 2 | | Boobier, Samuel ; Heeley, Joseph ; Gärtner, Thomas ; Hierst, Jonathan D. | Interactive Knowledge-Based Kernel PCA for Solvent Selection | Article Artikel | 13-Mar-2025 |
| 3 | | Lechner, Martin ; Jantsch, Axel | OptiSim: A Hardware-Aware Optimization Space Exploration Tool for CNN Architectures | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 4 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 5 | | Landauer, Julian ; Gasparini, Luca ; Kugi, Andreas ; Steinboeck, Andreas | Empirical Modeling of Unsteady Bulging in Continuous Slab Casters | Inproceedings Konferenzbeitrag | 2025 |
| 6 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel   | 11-Nov-2024 |
| 7 | | Iglesias, Félix ; Martínez, Conrado ; Zseby, Tanja | Impact of the Neighborhood Parameter on Outlier Detection Algorithms | Inproceedings Konferenzbeitrag | 25-Oct-2024 |
| 8 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 9 | | Joshi, Rucha Bhalchandra ; Indri, Patrick ; Mishra, Subhankar | GraphPrivatizer: Improved Structural Differential Privacy for Graph Neural Networks | Article Artikel | 1-Oct-2024 |
| 10 |  | Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas | Language-guided Manipulator Motion Planning with Bounded Task Space | Inproceedings Konferenzbeitrag | 6-Sep-2024 |
| 11 | | Chen, Florian ; Gärtner, Thomas | Scalable Interactive Data Visualization | Inproceedings Konferenzbeitrag | 22-Aug-2024 |
| 12 |  | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 13 | | 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 |
| 14 |  | Pluska, Alexander ; Welke, Pascal ; Gärtner, Thomas ; Malhotra, Sagar | Logical Distillation of Graph Neural Networks | Inproceedings Konferenzbeitrag | 24-Jun-2024 |
| 15 | | 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 |
| 16 | | 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 |
| 17 |  | 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 |
| 18 | | Leopold, Thomas ; Jantsch, Axel | Colorado Potato Beetle Dataset and Detection for Monitoring and Management in Potato Fields | Inproceedings Konferenzbeitrag | 26-Mar-2024 |
| 19 | | Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas | Model Predictive Trajectory Planning for Human-Robot Handovers | Inproceedings Konferenzbeitrag | 2024 |
| 20 |  | Hader, Thomas ; Ozdemir, Alex | An SMT-LIB Theory of Finite Fields | Inproceedings Konferenzbeitrag | 2024 |
