Sára Decova

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Object Tracking

Particle Filtering

Appearance Model

Top Venues

Proc. ACM Program. Lang.

Arch. Formal Proofs

Publications

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Verified Progress Tracking for Timely Dataflow. ITP (2021)
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Formalization of Timely Dataflow's Progress Tracking Protocol. Arch. Formal Proofs 2021 (2021)
Simon Fowler, Sam Lindley, J. Garrett Morris, Sára Decova
Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3 (POPL) (2019)