Discover open access scientific publications

Search, annotate, share and cite publications

Publications by André Platzer

Differential Equation Invariance Axiomatization

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2020English

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Vector Barrier Certificates and Comparison Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Differential Equation Axiomatization

2018English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy