Christian Schilling

From MaRDI portal
Person:2105417

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Deriving density-matrix functionals for excited states2024-08-27Paper
Verified propagation of imprecise probabilities in non-linear ODEs2024-07-10Paper
Synthesis of hybrid automata with affine dynamics from time-series data2024-02-21Paper
Membership-based synthesis of linear hybrid automata2024-02-16Paper
\textsf{symQV}: automated symbolic verification of quantum programs2023-08-17Paper
Simulation relations and applications in formal methods2023-08-10Paper
An effective solution to convex 1-body \(N\)-representability2023-06-20Paper
Synthesis of parametric hybrid automata from time series2023-06-02Paper
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg–Kohn theorem to convexified N-representability2023-05-10Paper
Reachability of weakly nonlinear systems using Carleman linearization2023-03-31Paper
1-matrix functional for long-range interaction energy of two hydrogen atoms2023-03-11Paper
Fermionic systems for quantum information people2023-02-16Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)2022-12-08Paper
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks2022-12-07Paper
Conservative time discretization: a comparative study2022-08-19Paper
Reachability of weakly nonlinear systems using Carleman linearization2021-08-23Paper
Foundation of one-particle reduced density matrix functional theory for excited states2021-06-07Paper
Ensemble reduced density matrix functional theory for excited states and hierarchical generalization of Pauli's exclusion principle2021-06-04Paper
Minimization of Visibly Pushdown Automata Using Partial Max-SAT2020-08-05Paper
JuliaReach2019-10-22Paper
Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems2019-08-30Paper
JuliaReach: a Toolbox for Set-Based Reachability2019-01-30Paper
Relating the pure and ensemble density matrix functional2018-12-21Paper
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices2018-12-06Paper
Reconstructing quantum states from single-party information2017-03-05Paper
The quantum marginal problem2016-06-24Paper
Influence of the Fermionic Exchange Symmetry beyond Pauli's Exclusion Principle2015-09-01Paper
Quantum Marginal Problem and its Physical Relevance2015-07-01Paper
Duality of reduced density matrices and their eigenvalues2014-11-04Paper
Quasipinning and its relevance for $N$-Fermion quantum states2014-08-29Paper
A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem2014-01-17Paper
Ground and Excited States from Ensemble Variational PrinciplesN/APaper
What Can Quantum Information Theory Offer to Quantum Chemistry?N/APaper

Research outcomes over time

This page was built for person: Christian Schilling