D. Pardo

Available identifiers

zbMath Open pardo.danielWikidataQ119371618 ScholiaQ119371618MaRDI QIDQ2321073

List of research outcomes

Publication	Date of Publication	Type
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework	2021-05-20	Paper
Global attractors for weak solutions of the three-dimensional Navier-Stokes equations with damping	2019-08-28	Paper
Symbolic abstract contract synthesis in a rewriting framework	2017-10-13	Paper
Solution of the 3D-Helmholtz equation in exterior domains using spherical harmonic decomposition	2013-07-25	Paper

Research outcomes over time

This page was built for person: D. Pardo