EasyChair Smart SlideDocs/Log in
Author: Yong Kiam Tan

This page shows all presentations of this author published in EasyChair Smart Slide.

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

André Platzer and Yong Kiam Tan

Vector Barrier Certificates and Comparison Systems

Vector Barrier Certificates and Comparison Systems

Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André Platzer

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan and Michael Norrish

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair