S. Akshay

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice

Kuldeep S. Meel, S. Akshay, S. Akshay, 2020, LICS.

Dynamic Mode Decomposition and Its Application in Various Domains: An Overview

K. P. Soman, Neethu Mohan, S. Akshay, 2020 .

Session details: Session 5A: Regular Languages and Automata

S. Akshay, 2015 .

Resilience of Timed Systems

Loïc Hélouët, Shankara Narayanan Krishna, Blaise Genest, 2021, FSTTCS.