Abhishek De

17 papers A* 1B 4C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Note on Fixed Points in Łukasiewicz Logic.
Logica Universalis
Abhishek De
2025 J jnl
An algebraic theory of ω-regular languages, via μν-expressions.
CoRR
Anupam Das, Abhishek De
2025 — conf
Bounded Henkin Quantifiers and the Exponential Time Hierarchy.
ICLA
Abhishek De
2025 B conf
Cyclic System for an Algebraic Theory of Alternating Parity Automata.
TABLEAUX
Anupam Das, Abhishek De
2025 J jnl
Cyclic system for an algebraic theory of alternating parity automata.
CoRR
Anupam Das, Abhishek De
2025 B conf
Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points.
MFCS
Anupam Das, Abhishek De
2025 J jnl
Undecidability of theories of semirings with fixed points.
CoRR
Anupam Das, Abhishek De, Stepan L. Kuznetsov
2024 — conf
A Proof Theory of (ømega-)Context-Free Languages, via Non-wellfounded Proofs.
IJCAR (2)
Anupam Das, Abhishek De
2024 J jnl
A proof theory of (omega-)context-free languages, via non-wellfounded proofs.
CoRR
Anupam Das, Abhishek De
2024 J jnl
A proof theory of right-linear (omega-)grammars via cyclic proofs.
CoRR
Anupam Das, Abhishek De
2024 A* conf
A proof theory of right-linear (ω-)grammars via cyclic proofs.
LICS
Anupam Das, Abhishek De
2023 — conf
Comparing Infinitary Systems for Linear Logic with Fixed Points.
FSTTCS
Anupam Das, Abhishek De, Alexis Saurin
2022 B conf
Decision Problems for Linear Logic with Least and Greatest Fixed Points.
FSCD
Anupam Das, Abhishek De, Alexis Saurin
2022 — —
Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax. (La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle).
Abhishek De
2022 — conf
Phase Semantics for Linear Logic with Least and Greatest Fixed Points.
FSTTCS
Abhishek De, Farzad Jafarrahmani, Alexis Saurin
2021 C conf
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.
PPDP
Abhishek De, Luc Pellissier, Alexis Saurin
2019 B conf
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory.
TABLEAUX
Abhishek De, Alexis Saurin
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski