| Relating structure and power: Comonadic semantics for computational resources S Abramsky, N Shah Journal of Logic and Computation 31 (6), 1390-1428, 2021 | 66 | 2021 |
| The pebble-relation comonad in finite model theory Y Montacute, N Shah Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 21 | 2022 |
| A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05387, 2022 | 9 | 2022 |
| A categorical account of composition methods in logic T Jakl, D Marsden, N Shah 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 4 | 2023 |
| Linear arboreal categories S Abramsky, Y Montacute, N Shah arXiv preprint arXiv:2301.10088, 2023 | 3 | 2023 |
| Generalizations of Bilinear Maps--Technical Report T Jakl, D Marsden, N Shah arXiv preprint arXiv:2205.05382, 2022 | 3 | 2022 |
| Relating Structure and Power: Extended version S Abramsky, N Shah arXiv preprint arXiv:2010.06496, 2020 | 3 | 2020 |
| Relating Structure and Power: Comonadic Semantics for Computational Resources-Extended Abstract S Abramsky, N Shah Coalgebraic Methods in Computer Science, CMCS, 1-5, 2018 | 1 | 2018 |
| No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads A Karamlou, N Shah Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024 | | 2024 |
| A categorical account of composition methods in logic (extended version) T Jakl, D Marsden, N Shah arXiv preprint arXiv:2405.06664, 2024 | | 2024 |
| No-go Theorems: Polynomial Comonads That do Not Distribute over Distribution Monads A Karamlou, N Shah | | 2024 |
| Comonadic Account of Feferman-Vaught-Mostowski Theorems T Jakl, D Marsden, N Shah complexity 2, 19, 2022 | | 2022 |
| Bisimulation between hom sets and logics without counting N Shah Structure Meets Power Workshop, 23, 2021 | | 2021 |
| 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) D Kozen, T Schwentick, S Abramsky, N Shah, A Zaid, B Ahrens, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| A categorical account of composition methods in logic D Marsden, N Shah, T Jakl | | |
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
