On the Coalgebra of Partial Differential Equations (Q5092383): Difference between revisions

@@ label / en / label / en @@
+On the Coalgebra of Partial Differential Equations
@@ Property / DOI @@
-.4230/LIPIcs.MFCS.2019.24
@@ Property / DOI: 10.4230/LIPIcs.MFCS.2019.24 / rank @@
-Normal rank
@@ Property / author @@
-Michele Boreale
@@ Property / author: Michele Boreale / rank @@
-Normal rank
@@ Property / author @@
+Michele Boreale
@@ Property / author: Michele Boreale / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Trusting computations: a mechanized proof from partial differential equations to actual program
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
+Normal rank
@@ Property / cites work @@
+Algorithms for exact and approximate linear abstractions of polynomial continuous systems
+Normal rank
@@ Property / cites work @@
+Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S
+Normal rank
@@ Property / cites work @@
+Computing representations for radicals of finitely generated differential ideals
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
+Normal rank
@@ Property / cites work @@
+An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
+Normal rank
@@ Property / cites work @@
+Sufficient set of integrability conditions of an orthonomic system
+Normal rank
@@ Property / cites work @@
+Trajectories of polynomial vector fields and ascending chains of polynomial ideals
+Normal rank
@@ Property / cites work @@
+Logics of Dynamical Systems
@@ Property / cites work: Logics of Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Hybrid Games
@@ Property / cites work: Differential Hybrid Games / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of systems of nonlinear partial differential equations to simplified involutive forms
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.MFCS.2019.24
+Normal rank
@@ Property / OpenAlex ID @@
+W2970807953
@@ Property / OpenAlex ID: W2970807953 / rank @@
+Normal rank
@@ Property / title @@
+On the Coalgebra of Partial Differential Equations (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.MFCS.2019.24
@@ Property / DOI: 10.4230/LIPICS.MFCS.2019.24 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5092383