Anupam Das
- Computational expressivity of (circular) proofs with fixed points
2023/02/28 by Gianluca Curzi, Curzi, Gianluca, Anupam Das +1 · 3 citations
Computer Science · Psychology · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Philosophy and Theoretical Science
- Fingerprinting Smart Devices Through Embedded Acoustic Components
2014/03/13 by Anupam Das, Nikita Borisov, Das, Anupam +3 · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #Digital Media Forensic Detection #FOS: Computer and information sciences #Music and Audio Processing #User Authentication and Security Systems
- Enabling Developers, Protecting Users: Investigating Harassment and Safety in VR
2024/03/08 by S. B. Abhinaya, B., Abhinaya S., Aafaq Sabir +3 · 2 citations
Computer Science · Psychology · #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Social Robot Interaction and HRI #Virtual Reality Applications and Impacts
- Cyclic Implicit Complexity
2021/10/03 by Gianluca Curzi, Curzi, Gianluca, Anupam Das +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- A proof theory of right-linear (omega-)grammars via cyclic proofs
2024/01/24 by Anupam Das, Das, Anupam, Abhishek De +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques