×
Edit Profile (opens in new tab)

Schilling, Christian

Co-Author Distance
Author ID: schilling.christian Recent zbMATH articles by "Schilling, Christian"
Published as: Schilling, Christian; Schilling, C.
Documents Indexed: 33 Publications since 2013, including 11 Additional arXiv Preprints
1 Contribution as Editor
Co-Authors: 51 Co-Authors with 30 Joint Publications
1,200 Co-Co-Authors
all top 5

Co-Authors

4 single-authored
6 Forets, Marcelo
5 Bogomolov, Sergiy
5 Henzinger, Thomas A.
5 Liebert, Julia
3 Frehse, Goran
3 Soto, Miriam García
2 Bauer-Marquart, Fabian
2 Castillo, Federico
2 Ding, Lexin
2 Jiang, Yunping
2 Kong, Hui
2 Labbé, Jean-Philippe
2 Leue, Stefan
2 Podelski, Andreas
2 Schilling, Rolf
1 Aliverti-Piuri, Damiano
1 Barcza, Gergely
1 Bartocci, Ezio
1 Benavides-Riveros, Carlos L.
1 Benet, Luis
1 Boetius, David
1 Caltais, Georgiana
1 Chatterjee, Kaustav
1 Cioslowski, Jerzy
1 Ferson, Scott A.
1 Gray, Ander
1 Grosu, Radu
1 Heizmann, Matthias
1 Hong, Cheng-Lin
1 Larsen, Kim Guldstrand
1 Legeza, Örs
1 Liao, Ke
1 Lopes, Alexandre
1 Maciążek, Tomasz
1 M��té, Mihály
1 Padrol, Arnau
1 Philippe, Eva
1 Pittalis, Stefano
1 Potomkin, Kostiantyn
1 Sawicki, Adam
1 Smaus, Jan-Georg
1 Srba, Jiří
1 Szalay, Szilárd
1 Tennie, Felix
1 Tischner, Daniel
1 Vedral, Vlatko
1 Viry, Frédéric
1 Vrana, Péter
1 Wenzelmann, Fabian
1 Zeleznik, Luka
1 Zimborás, Zoltán
all top 5

Serials

2 Journal of Physics A: Mathematical and Theoretical
1 Information and Computation
1 International Journal of Approximate Reasoning
1 New Journal of Physics
1 Annales Henri Poincaré
1 Lecture Notes in Computer Science
1 SciPost Physics
all top 5

Fields

12 Computer science (68-XX)
8 Systems theory; control (93-XX)
7 Quantum theory (81-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 General and overarching topics; collections (00-XX)
1 Commutative algebra (13-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Operator theory (47-XX)
1 Convex and discrete geometry (52-XX)
1 Operations research, mathematical programming (90-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

16 Publications have been cited 74 times in 59 Documents Cited by ▼ Year ▼
JuliaReach: a toolbox for set-based reachability. Zbl 1542.93019
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian
20
2019
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian
15
2018
Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A.
8
2017
The quantum marginal problem. Zbl 1339.81104
Schilling, C.
7
2015
Membership-based synthesis of linear hybrid automata. Zbl 1533.68158
García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka
5
2019
Conservative time discretization: a comparative study. Zbl 1504.93022
Forets, Marcelo; Schilling, Christian
3
2022
An effective solution to convex 1-body \(N\)-representability. Zbl 1530.81148
Castillo, Federico; Labbé, Jean-Philippe; Liebert, Julia; Padrol, Arnau; Philippe, Eva; Schilling, Christian
3
2023
Discrete abstraction of multiaffine systems. Zbl 1428.92040
Kong, Hui; Bartocci, Ezio; Bogomolov, Sergiy; Grosu, Radu; Henzinger, Thomas A.; Jiang, Yu; Schilling, Christian
2
2016
Fermionic systems for quantum information people. Zbl 1519.81120
Szalay, Szilárd; Zimborás, Zoltán; Máté, Mihály; Barcza, Gergely; Schilling, Christian; Legeza, Örs
2
2021
Reachability of weakly nonlinear systems using Carleman linearization. Zbl 07670974
Forets, Marcelo; Schilling, Christian
2
2021
Minimization of visibly pushdown automata using partial Max-SAT. Zbl 1452.68107
Heizmann, Matthias; Schilling, Christian; Tischner, Daniel
2
2017
Duality of reduced density matrices and their eigenvalues. Zbl 1301.81373
Schilling, Christian; Schilling, Rolf
1
2014
SpecRepair: counter-example guided safety repair of deep neural networks. Zbl 1514.68119
Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian
1
2022
Synthesis of hybrid automata with affine dynamics from time-series data. Zbl 07807675
Soto, Miriam García; Henzinger, Thomas A.; Schilling, Christian
1
2021
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg-Kohn theorem to convexified \(N\)-representability. Zbl 1510.81163
Liebert, Julia; Schilling, Christian
1
2023
symQV: automated symbolic verification of quantum programs. Zbl 1529.68152
Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian
1
2023
An effective solution to convex 1-body \(N\)-representability. Zbl 1530.81148
Castillo, Federico; Labbé, Jean-Philippe; Liebert, Julia; Padrol, Arnau; Philippe, Eva; Schilling, Christian
3
2023
An exact one-particle theory of bosonic excitations: from a generalized Hohenberg-Kohn theorem to convexified \(N\)-representability. Zbl 1510.81163
Liebert, Julia; Schilling, Christian
1
2023
symQV: automated symbolic verification of quantum programs. Zbl 1529.68152
Bauer-Marquart, Fabian; Leue, Stefan; Schilling, Christian
1
2023
Conservative time discretization: a comparative study. Zbl 1504.93022
Forets, Marcelo; Schilling, Christian
3
2022
SpecRepair: counter-example guided safety repair of deep neural networks. Zbl 1514.68119
Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian
1
2022
Fermionic systems for quantum information people. Zbl 1519.81120
Szalay, Szilárd; Zimborás, Zoltán; Máté, Mihály; Barcza, Gergely; Schilling, Christian; Legeza, Örs
2
2021
Reachability of weakly nonlinear systems using Carleman linearization. Zbl 07670974
Forets, Marcelo; Schilling, Christian
2
2021
Synthesis of hybrid automata with affine dynamics from time-series data. Zbl 07807675
Soto, Miriam García; Henzinger, Thomas A.; Schilling, Christian
1
2021
JuliaReach: a toolbox for set-based reachability. Zbl 1542.93019
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Potomkin, Kostiantyn; Schilling, Christian
20
2019
Membership-based synthesis of linear hybrid automata. Zbl 1533.68158
García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka
5
2019
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. Zbl 1417.93059
Bogomolov, Sergiy; Forets, Marcelo; Frehse, Goran; Viry, Frédéric; Podelski, Andreas; Schilling, Christian
15
2018
Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A.
8
2017
Minimization of visibly pushdown automata using partial Max-SAT. Zbl 1452.68107
Heizmann, Matthias; Schilling, Christian; Tischner, Daniel
2
2017
Discrete abstraction of multiaffine systems. Zbl 1428.92040
Kong, Hui; Bartocci, Ezio; Bogomolov, Sergiy; Grosu, Radu; Henzinger, Thomas A.; Jiang, Yu; Schilling, Christian
2
2016
The quantum marginal problem. Zbl 1339.81104
Schilling, C.
7
2015
Duality of reduced density matrices and their eigenvalues. Zbl 1301.81373
Schilling, Christian; Schilling, Rolf
1
2014
all cited Publications top 5 cited Publications
all top 5

Cited by 131 Authors

12 Schilling, Christian
8 Bogomolov, Sergiy
7 Althoff, Matthias
6 Forets, Marcelo
5 Bak, Stanley
5 Frehse, Goran
5 Kochdumper, Niklas
4 Boreale, Michele
3 Li, Dongxu
3 Wetzlinger, Mark
2 Cordwell, Katherine
2 Dreossi, Tommaso
2 Gurung, Amit
2 Henzinger, Thomas A.
2 Johnson, Taylor T.
2 Kulmburg, Adrian
2 Liebert, Julia
2 Martius, Georg
2 Mitsch, Stefan
2 Padrol, Arnau
2 Philippe, Eva
2 Platzer, André
2 Podelski, Andreas
2 Potomkin, Kostiantyn
2 Ray, Rajarshi
2 Sogokon, Andrew
2 Soto, Miriam García
2 Tan, Yong Kiam
1 Ábrahám, Erika
1 Adimoolam, Arvind
1 Ait-Ameur, Yamine
1 Aldazabal, I.
1 Alhejji, Mohammad A.
1 An, Jie
1 Baldi, Simone
1 Bartocci, Ezio
1 Bauer-Marquart, Fabian
1 Beneš, Nikola
1 Benet, Luis
1 Black, Alexander E.
1 Bresolin, Davide
1 Brim, Luboš
1 Casagrande, Alberto
1 Castillo, Federico
1 Chen, Yu-Fang
1 Cheng, Zhengqian
1 Collins, Benoît
1 Collins, Peter J.
1 Collodi, Luisa
1 Damers, Julien
1 Dang, Thao
1 De Loera, Jesús A.
1 Ding, Minghui
1 Dong, Weijie
1 Dorigo, Luca
1 Dražanová, Jana
1 Dupont, Guillaume
1 Ebert, Tristan
1 Ferson, Scott A.
1 Gauwin, Olivier
1 Geretti, Luca
1 Gonzalez, Sanja Živanović
1 Gray, Ander
1 Hamilton, Nathaniel P.
1 Hencey, Brandon
1 Jaulin, Luc
1 Jin, Xiangyu
1 Knill, Emanuel
1 Labbé, Jean-Philippe
1 Ladner, Tobias
1 Larsen, Kim Guldstrand
1 Le Penven, Alexis
1 Legeza, Örs
1 Leue, Stefan
1 Lew, Ethan
1 Li, Shaoyuan
1 Li, Yinong
1 Lin, Lin
1 Lindsey, Michael
1 Luo, Ertai
1 Lütjeharms, Niklas
1 Manzanas Lopez, Diego
1 Manzetti, Sergio
1 Máté, Mihály
1 Mateis, Cristinel
1 McSwiggen, Colin
1 Moghari, Somaye
1 Musau, Patrick
1 Muscholl, Anca
1 Nam, Phan Thanh
1 Nesterini, Eleonora
1 Nickovic, Dejan
1 Nikitin, A. S.
1 Pastva, Samuel
1 Petrov, Klára
1 Piazza, Carla
1 Pippia, Eleonora
1 Raskin, Michael A.
1 Rath, Jagat Jyoti
1 Rohou, Simon
...and 31 more Authors
all top 5

Cited in 20 Serials

6 Information and Computation
3 Automatica
3 Nonlinear Analysis. Hybrid Systems
2 Journal of Mathematical Chemistry
2 SciPost Physics
1 Communications in Mathematical Physics
1 Communications on Pure and Applied Mathematics
1 Journal of the Franklin Institute
1 Journal of Mathematical Physics
1 Transactions of the American Mathematical Society
1 Combinatorica
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Computational Mathematics and Modeling
1 Formal Methods in System Design
1 Lobachevskii Journal of Mathematics
1 Annales Henri Poincaré
1 Logical Methods in Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 SIAM Journal on Applied Algebra and Geometry
all top 5

Cited in 23 Fields

31 Computer science (68-XX)
30 Systems theory; control (93-XX)
12 Quantum theory (81-XX)
4 Mechanics of particles and systems (70-XX)
4 Statistical mechanics, structure of matter (82-XX)
3 Combinatorics (05-XX)
3 Convex and discrete geometry (52-XX)
3 Operations research, mathematical programming (90-XX)
2 Mathematical logic and foundations (03-XX)
2 Partial differential equations (35-XX)
2 Operator theory (47-XX)
2 Geometry (51-XX)
2 Information and communication theory, circuits (94-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Category theory; homological algebra (18-XX)
1 Topological groups, Lie groups (22-XX)
1 Ordinary differential equations (34-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Statistics (62-XX)
1 Numerical analysis (65-XX)

Citations by Year