Christian Schilling

Available identifiers

zbMath Open schilling.christianDBLP72/2103-1WikidataQ62048851 ScholiaQ62048851MaRDI QIDQ2105417

List of research outcomes

Publication	Date of Publication	Type
Deriving density-matrix functionals for excited states	2024-08-27	Paper
Verified propagation of imprecise probabilities in non-linear ODEs	2024-07-10	Paper
Synthesis of hybrid automata with affine dynamics from time-series data	2024-02-21	Paper
Membership-based synthesis of linear hybrid automata	2024-02-16	Paper
\textsf{symQV}: automated symbolic verification of quantum programs	2023-08-17	Paper
Simulation relations and applications in formal methods	2023-08-10	Paper
An effective solution to convex 1-body \(N\)-representability	2023-06-20	Paper
Synthesis of parametric hybrid automata from time series	2023-06-02	Paper
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg–Kohn theorem to convexified N-representability	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	2023-02-16	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)	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	2020-08-05	Paper
JuliaReach	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	2018-12-06	Paper
Reconstructing quantum states from single-party information	2017-03-05	Paper
The quantum marginal problem	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	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	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

Research outcomes over time

This page was built for person: Christian Schilling