N. Raja

12 papers Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Double Auctions: Formalization and Automated Checkers.
J. Autom. Reason.
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2024 J jnl
Double Auctions: Formalization and Automated Checkers.
CoRR
Mohit Garg, N. Raja, Suneel Sarswat, Abhishek Kr Singh
2006 J jnl
A closer look at constraints as processes.
Inf. Process. Lett.
N. Raja, R. K. Shyamasundar
2006 J jnl
Actors as a Coordinating Model of Computation.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
2005 J jnl
A Negation-free Proof of Cantor's Theorem.
Notre Dame J. Formal Log.
N. Raja
2004 J jnl
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
2003 J jnl
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
1998 — conf
Mobile Computation: Calculus and Languages (A Tutorial).
ASIAN
N. Raja, R. K. Shyamasundar
1997 J jnl
Combinatory Formaulations of Concurrent Languages.
ACM Trans. Program. Lang. Syst.
N. Raja, R. K. Shyamasundar
1996 — conf
Actors as a Coordinating Model of Computation (Extended Abstract).
Ershov Memorial Conference
N. Raja, R. K. Shyamasundar
1995 — conf
Combinatory Formulations of Concurrent Languages.
ASIAN
N. Raja, R. K. Shyamasundar
1995 J jnl
The Quine-Bernays Combinatory Calculus.
Int. J. Found. Comput. Sci.
N. Raja, R. K. Shyamasundar
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling