bibliographer - Jyotirmoy V. Deshmukh

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Differentiable Weighted Automata Anand Balakrishnan Jyotirmoy V. Deshmukh [github]

Nondeterministic Streaming String Transducers Rajeev Alur Jyotirmoy V. Deshmukh [github]

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta Jyotirmoy V. Deshmukh E. Allen Emerson [github]

Simulation-guided lyapunov analysis for hybrid dynamical systems James Kapinski Jyotirmoy V. Deshmukh Sriram Sankaranarayanan Nikos Arechiga [github]

Hyperproperties of real-valued signals Luan Viet Nguyen James Kapinski Xiaoqing Jin Jyotirmoy V. Deshmukh Taylor T. Johnson [github]

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]