Research output per year
Research output per year
Fingerprint
Dive into the research topics where Anupam Das is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Cyclic Implicit Complexity
Curzi, G. & Das, A., 16 Apr 2026, In: ACM Transactions on Computational Logic. 27, 2, 44 p., 11.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Downloads (Pure) -
Prover-Adversary games for systems over (non-deterministic) branching programs
Das, A. & Delkos, A., 20 May 2026, In: Logical Methods in Computer Science. 22, 2, p. 18:1-18:34 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
The proof theory and semantics of second-order (intuitionistic) tense logic
Becker, J., Das, A., Marin, S. & Padhiar, P., 5 Feb 2026, arXiv.Research output: Working paper/Preprint › Preprint
File19 Downloads (Pure) -
Wider systems for linear logic with fixed points: proof theory and complexity
Das, A. & Pshenitsyn, T., 10 Feb 2026, arXiv.Research output: Working paper/Preprint › Preprint
File12 Downloads (Pure) -
An algebraic theory of ω-regular languages, via μν-expressions
Das, A. & De, A., 15 May 2025, arXiv, p. 1-23, 23 p.Research output: Working paper/Preprint › Preprint
File84 Downloads (Pure)
-
Structure vs Invariants in Proofs (StrIP) (Renewal)
Das, A. (Principal Investigator)
1/08/24 → 31/07/27
Project: Research Councils
-
Structure vs. Invariants in Proofs (StrIP)
Das, A. (Principal Investigator)
1/05/20 → 31/07/24
Project: Research Councils