Differential Invariants
Differential Invariants is a formal method in hybrid systems verification that constitutes a logical technique for deducing sets of states invariant under the continuous dynamics of a system, enabling the sound reasoning about differential equations within a discrete-continuous state transition framework.
359
Publications
22.1K
Citations
516
Authors
325
Institutions
Publications per year
2017–2026
34
Parents
359
A performance evaluation of local descriptors
Krystian Mikolajczyk, C. Schmid · 2003 · 956 citations · Full text
Equivalence, invariants, and symmetry
Choice Reviews Online · 1996 · 862 citations
On the Curvatura Integra in a Riemannian Manifold
Shiing-Shen Chern · Annals of Mathematics · 1945 · 300 citations
1–5 of 359
516
10
h-index
7
h-index
6
h-index
5
h-index
5
h-index
1–5 of 516
325

University of Minnesota
Minneapolis, United States
10 h-index
12 publications
561 citations
Carnegie Mellon University
Pittsburgh, United States
8 h-index
11 publications
570 citations
University of Wisconsin–Madison
Madison, United States
7 h-index
7 publications
198 citations
Los Alamos National Laboratory
Los Alamos, United States
7 h-index
8 publications
994 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
7 h-index
11 publications
8.9K citations

Centre National de la Recherche Scientifique
Paris, France
7 h-index
10 publications
2.1K citations
Clemson University
Clemson, United States
6 h-index
8 publications
649 citations
Institut de Mathématiques de Jussieu-Paris Rive Gauche
Paris, France
6 h-index
8 publications
213 citations
1–8 of 325
Repository · 14 publications · 372 citations
13
h-index
14 publications · 1.2K citations
12
h-index
TRAN · 11 publications · 336 citations
11
h-index
Repository · 12 publications · 277 citations
11
h-index
7 publications · 242 citations
7
h-index
1–5