197 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- R. Wille2 profiles28 · h 51
- Lukas Burgholzer20 · h 21
- Rudolf Ramler2 profiles11 · h 23
- Flavio Ferrarotti3 profiles10 · h 10
- Robert Wille4 profiles9 · h 12
- S. Hillmich9 · h 16
- B. Moser2 profiles8 · h 14
- Jorge Martinez-Gil4 profiles8 · h 8
- Nils Quetschlich8 · h 12
- J. Martinez-Gil7 · h 11
- K. Schewe7 · h 27
- Lucas Berent6 · h 9
- Johannes Kepler University of LinzAT33 papers
- Technical University of MunichDE30 papers
- Universität InnsbruckAT5 papers
- University of TartuEE5 papers
- Australian National UniversityAU4 papers
- Freie Universität BerlinDE4 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE4 papers
- IBM Research - TokyoJP3 papers
- Basque Center for Applied MathematicsES2 papers
- Chalmers University of TechnologySE2 papers
- IkerbasqueES2 papers
- Munich Center for Quantum Science and TechnologyDE2 papers
16 papers · 1 filter
Surrogate Modeling for Explainable Predictive Time Series Corrections
Alfredo Lopez, Florian Sobieczky
We introduce a local surrogate approach for explainable time-series forecasting. An initially non-interpretable predictive model to improve the forecast of a classical time-series…
Equivalence checking of quantum circuits via intermediary matrix product operator
Aaron Sander, Lukas Burgholzer, Robert Wille
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vi…
Augmenting the Interpretability of GraphCodeBERT for Code Similarity Tasks
Jorge Martinez-Gil
Assessing the degree of similarity of code fragments is crucial for ensuring software quality, but it remains challenging due to the need to capture the deeper semantic aspects of…
How Industry Tackles Anomalies during Runtime: Approaches and Key Monitoring Parameters
Monika Steidl, Benedikt Dornauer, Michael Felderer +3
Deviations from expected behavior during runtime, known as anomalies, have become more common due to the systems' complexity, especially for microservices. Consequently, analyzing…
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
Tom Peham, Ludwig Schmid, Lucas Berent +2
A central ingredient in fault-tolerant quantum algorithms is the initialization of a logical state for a given quantum error-correcting code from a set of noisy qubits. A scheme th…
Improving Source Code Similarity Detection Through GraphCodeBERT and Integration of Additional Features
Jorge Martinez-Gil
This paper investigates source code similarity detection using a transformer model augmented with an execution-derived signal. We extend GraphCodeBERT with an explicit, low-dimensi…
Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent
Mohit Kumar, Alexander Valentinitsch, Magdalena Fuchs +5
This paper develops a novel mathematical framework for collaborative learning by means of geometrically inspired kernel machines which includes statements on the bounds of generali…
Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams
Kevin Mato, Stefan Hillmich, Robert Wille
Quantum computers have the potential to solve important problems which are fundamentally intractable on a classical computer. The underlying physics of quantum computing platforms…
Localized statistics decoding for quantum low-density parity-check codes
Timo Hillmann, Lucas Berent, Armanda O. Quintavalle +3
Quantum low-density parity-check codes are a promising candidate for fault-tolerant quantum computing with considerably reduced overhead compared to the surface code. However, the…
Modular and Extendable 1D-Simulation for Microfluidic Devices
Maria Emmerich, Florina Costamoling, Robert Wille
Microfluidic devices have been the subject of considerable attention in recent years. The development of novel microfluidic devices, their evaluation, and their validation requires…
A novel framework for systematic propositional formula simplification based on existential graphs
Jordina Francès de Mas, Juliana Bowles
This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be ap…
Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control
Stefan Engels, Robert Wille
Railroad transportation plays a vital role in the future of sustainable mobility. Besides building new infrastructure, capacity can be improved by modern train control systems, e.g…
Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures
Jorge Martinez-Gil
The capability of accurately determining code similarity is crucial in many tasks related to software development. For example, it might be essential to identify code duplicates fo…
Investigating the Readability of Test Code: Combining Scientific and Practical Views
Dietmar Winkler, Pirmin Urbanke, Rudolf Ramler
The readability of source code is key for understanding and maintaining software systems and tests. Several studies investigate the readability of source code, but there is limited…
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher +2
Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations nat…
Source Code Clone Detection Using Unsupervised Similarity Measures
Jorge Martinez-Gil
Assessing similarity in source code has gained significant attention in recent years due to its importance in software engineering tasks such as clone detection and code search and…