bibliographer - R Govind

bibliographer a curated TCS bibliography

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

Complexity of Consistency Testing for the Release-Acquire Semantics R Govind S Krishna Sanchari Sil B Srivathsan [github]

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm S. Akshay Paul Gastin R. Govind B. Srivathsan [github]

Reversible Transducers over Infinite Words Luc Dartois Paul Gastin Loic Germerie Guizouarn R. Govind Shankaranarayanan Krishna [github]

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation S Akshay Paul Gastin R Govind Aniruddha R Joshi B Srivathsan [github]

Abstractions for the Local-Time Semantics of Timed Automata: A Foundation for Partial-Order Methods R. Govind Frédéric Herbreteau Srivathsan Igor Walukiewicz [github]

Simulations for Event-Clock Automata S Akshay Paul Gastin R Govind B Srivathsan [github]

Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz [github]

Revisiting Local Time Semantics for Networks of Timed Automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz [github]

Revisiting local time semantics for networks of timed automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]