Jonas Sénizergues

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Formal Analysis

Greedy Algorithm

Video Stabilization

Shannon Entropy

Top Venues

J. Autom. Reason.

Publications