| Publication | Date of Publication | Type |
|---|
Deriving density-matrix functionals for excited states
SciPost Physics | 2024-08-27 | Paper |
Verified propagation of imprecise probabilities in non-linear ODEs
International Journal of Approximate Reasoning | 2024-07-10 | Paper |
Synthesis of hybrid automata with affine dynamics from time-series data
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Membership-based synthesis of linear hybrid automata
Computer Aided Verification | 2024-02-16 | Paper |
\textsf{symQV}: automated symbolic verification of quantum programs
Formal Methods | 2023-08-17 | Paper |
Simulation relations and applications in formal methods
Lecture Notes in Computer Science | 2023-08-10 | Paper |
An effective solution to convex 1-body \(N\)-representability
Annales Henri Poincaré | 2023-06-20 | Paper |
Synthesis of parametric hybrid automata from time series
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg–Kohn theorem to convexified N-representability
New Journal of Physics | 2023-05-10 | Paper |
Reachability of weakly nonlinear systems using Carleman linearization
| 2023-03-31 | Paper |
1-matrix functional for long-range interaction energy of two hydrogen atoms
| 2023-03-11 | Paper |
Fermionic systems for quantum information people
Journal of Physics A: Mathematical and Theoretical | 2023-02-16 | Paper |
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
Information and Computation | 2022-12-08 | Paper |
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
| 2022-12-07 | Paper |
Conservative time discretization: a comparative study
| 2022-08-19 | Paper |
Reachability of weakly nonlinear systems using Carleman linearization
| 2021-08-23 | Paper |
Foundation of one-particle reduced density matrix functional theory for excited states
| 2021-06-07 | Paper |
Ensemble reduced density matrix functional theory for excited states and hierarchical generalization of Pauli's exclusion principle
| 2021-06-04 | Paper |
Minimization of visibly pushdown automata using partial Max-SAT
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
JuliaReach
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems
| 2019-08-30 | Paper |
JuliaReach: a Toolbox for Set-Based Reachability
| 2019-01-30 | Paper |
Relating the pure and ensemble density matrix functional
| 2018-12-21 | Paper |
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Reconstructing quantum states from single-party information
| 2017-03-05 | Paper |
The quantum marginal problem
Mathematical Results in Quantum Mechanics | 2016-06-24 | Paper |
Influence of the Fermionic Exchange Symmetry beyond Pauli's Exclusion Principle
| 2015-09-01 | Paper |
Quantum Marginal Problem and its Physical Relevance
| 2015-07-01 | Paper |
Duality of reduced density matrices and their eigenvalues
Journal of Physics A: Mathematical and Theoretical | 2014-11-04 | Paper |
Quasipinning and its relevance for $N$-Fermion quantum states
| 2014-08-29 | Paper |
A pretty complete combinatorial algorithm for the threshold synthesis problem
Lecture Notes in Computer Science | 2014-01-17 | Paper |
Ground and Excited States from Ensemble Variational Principles
| N/A | Paper |
What Can Quantum Information Theory Offer to Quantum Chemistry?
| N/A | Paper |
