Nihil Shah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras. | Anuj Dawar, Nihil Shah |
| 2024 | LICS | No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. | Amin Karamlou, Nihil Shah |
| 2023 | LICS | A categorical account of composition methods in logic. | Tomas Jakl, Dan Marsden, Nihil Shah |
| 2022 | LICS | The Pebble-Relation Comonad in Finite Model Theory. | Yov Montacute, Nihil Shah |
| 2018 | CSL | Relating Structure and Power: Comonadic Semantics for Computational Resources. | Samson Abramsky, Nihil Shah |