K. Madhukar

Available identifiers

Publication	Date of Publication	Type
Quantified invariants via syntax-guided synthesis	2024-02-16	Paper
Efficiently learning safety proofs from appearance as well as behaviours	2023-05-26	Paper
Compositional Safety Refutation Techniques	2022-08-12	Paper
Sequentialization Using Timestamps	2017-05-19	Paper
The dynamics and rheology of a dilute suspension of periodically forced neutrally buoyant spherical particles in a quiescent Newtonian fluid at low Reynolds numbers	2013-03-21	Paper
Edge domination on bipartite permutation graphs and cotriangulated graphs	1997-02-28	Paper

This page was built for person: K. Madhukar