Abhishek De
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Undecidability for Semirings with Fixed Points. | Anupam Das, Abhishek De, Stepan L. Kuznetsov |
| 2025 | MFCS | Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. | Anupam Das, Abhishek De |
| 2025 | TABLEAUX | Cyclic System for an Algebraic Theory of Alternating Parity Automata. | Anupam Das, Abhishek De |
| 2024 | IJCAR | A Proof Theory of (mega-)Context-Free Languages, via Non-wellfounded Proofs. | Anupam Das, Abhishek De |
| 2024 | LICS | A proof theory of right-linear (ω-)grammars via cyclic proofs. | Anupam Das, Abhishek De |
| 2022 | FSCD | Decision Problems for Linear Logic with Least and Greatest Fixed Points. | Anupam Das, Abhishek De, Alexis Saurin |
| 2021 | PPDP | Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. | Abhishek De, Luc Pellissier, Alexis Saurin |
| 2019 | TABLEAUX | Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory. | Abhishek De, Alexis Saurin |