Christian Schilling

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Schilling