Search filters

List of works by Shankara Narayanan Krishna

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers

scientific article published on 06 December 2022

How Hard Is Weak-Memory Testing?

scientific article published on 05 January 2024

Optimal Reads-From Consistency Checking for C11-Style Memory Models

scientific article published on 06 June 2023

Paulina is supported by:

About Paulina

Help