Special issue: Formal verification of cyber-physical systems
Geretti, L
Abate, A
Nuzzo, P
Villa, T
Information and Computation
volume 289
104979
(Nov 2022)
Singularities of Fitzpatrick and convex functions
Kramkov, D
Sîrbu, M
(19 Dec 2022)
On the correspondence between symmetries of two-dimensional autonomous
dynamical systems and their phase plane realisations
Ohlsson, F
Borgqvist, J
Baker, R
(09 Dec 2022)
http://arxiv.org/abs/2212.04847v1
dynamical systems and their phase plane realisations
The Falsification Adaptive Set in Linear Models with Instrumental
Variables that Violate the Exclusion or Conditional Exogeneity Restriction
Apfel, N
Windmeijer, F
(09 Dec 2022)
http://arxiv.org/abs/2212.04814v2
Variables that Violate the Exclusion or Conditional Exogeneity Restriction
A Graphical Calculus for Lagrangian Relations
Comfort, C
Kissinger, A
Electronic Proceedings in Theoretical Computer Science
volume 372
338-351
(03 Nov 2022)
Hierarchies in relative Picard-Lefschetz theory
Berghoff, M
Panzer, E
Journal of Geometry and Physics
volume 216
1-65
(02 Jun 2025)
Explaining cosmic ray antimatter with secondaries from old supernova remnants
Mertsch, P
Vittino, A
Sarkar, S
Proceedings of Science
volume 395
(18 Mar 2022)
Specialization of Difference Equations and High Frobenius Powers
Dor, Y
Hrushovski, E
(10 Dec 2022)
Globally valued function fields: existential closure
Yaacov, I
Hrushovski, E
(14 Dec 2022)
Role of kidney stones in renal pelvis flow
Constante Amores, C
Moulton, D
Kahouadji, L
Williams, J
Turney, B
Shin, S
Chergui, J
Juric, D
Waters, S
Journal of Biomechanical Engineering
volume 145
issue 5
(01 Feb 2023)