Rajagopal Nagarajan

42 papers A* 3A 2B 2Misc 1Journal 10Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Formalisation and Analysis of Decoy QKD in the Isabelle Infrastructure and Insider framework using Refinement and Attack Trees. SMC Florian Kammüller, Rajagopal Nagarajan, Michael C. Parker, Catherine White
2024	—	`conf`	Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf. ESORICS Workshops (2) Florian Kammüller, Luca Piras, Bob Fields, Rajagopal Nagarajan
2020	—	`conf`	Describing and Simulating Concurrent Quantum Systems. TACAS (2) Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	—	`ed.`	From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement From Lambda Calculus to Cybersecurity Through Program Analysis Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
2020	—	`conf`	Property-based Testing of Quantum Programs in Q#. ICSE (Workshops) Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan
2018	J	`jnl`	Automated Equivalence Checking of Concurrent Quantum Systems. ACM Trans. Comput. Log. Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2017	—	`conf`	A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
2017	—	`conf`	Hamming Distance Kernelisation via Topological Quantum Computation. TPNC Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan, David Windridge
2016	—	`conf`	Quantum Bootstrap Aggregation. QI David Windridge, Rajagopal Nagarajan
2015	—	`conf`	Formalization of Quantum Protocols using Coq. QPL Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
2014	A	`conf`	Verification of Concurrent Quantum Protocols by Equivalence Checking. TACAS Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013	Misc	`conf`	A Temporal Logic for Planning under Uncertainty. FLAIRS Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan
2013	J	`jnl`	Automated Verification of Quantum Protocols by Equivalence Checking. CoRR Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013	A	`conf`	Equivalence Checking of Quantum Protocols. TACAS Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013	—	`conf`	Techniques for Formal Modelling and Analysis of Quantum Systems. Computation, Logic, Games, and Quantum Foundations Simon J. Gay, Rajagopal Nagarajan
2012	J	`jnl`	Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
2011	—	`conf`	Analysis of a Quantum Error Correcting Code using Quantum Process Calculus QPL Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
2011	—	`conf`	Formal Analysis of Quantum Systems using Process Calculus ICE Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
2008	A*	`conf`	QMC: A Model Checker for Quantum Systems. CAV Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2007	—	`conf`	Exogenous Probabilistic Computation Tree Logic. QAPL Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
2007	J	`jnl`	Guest Editorial. Formal Aspects Comput. Ranko Lazic, Rajagopal Nagarajan
2006	—	`ed.`	Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005 AVoCS Ranko Lazic, Rajagopal Nagarajan
2006	J	`jnl`	Types and typechecking for Communicating Quantum Processes. Math. Struct. Comput. Sci. Simon J. Gay, Rajagopal Nagarajan
2005	J	`jnl`	An Automated Analysis of the Security of Quantum Key Distribution CoRR Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
2005	A*	`conf`	Communicating quantum processes. POPL Simon J. Gay, Rajagopal Nagarajan
2005	J	`jnl`	On feedback and the classical capacity of a noisy quantum channel. IEEE Trans. Inf. Theory Garry Bowen, Rajagopal Nagarajan
2005	—	`conf`	Preface. AVoCS Ranko Lazic, Rajagopal Nagarajan
2005	J	`jnl`	Probabilistic Model-Checking of Quantum Protocols CoRR Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2005	—	`conf`	Simulating and Compiling Code for the Sequential Quantum Random Access Machine. QPL Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
2004	B	`conf`	On feedback and the classical capacity of a noisy quantum channel. ISIT Garry Bowen, Rajagopal Nagarajan
2003	J	`jnl`	Intensional and Extensional Semantics of Dataflow Programs. Formal Aspects Comput. Simon J. Gay, Rajagopal Nagarajan
2002	—	`conf`	Flow Analysis: Games and Nets. The Essence of Computation Chris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath
1999	J	`jnl`	A Specification Structure for Deadlock-Freedom of Synchronous Processes. Theor. Comput. Sci. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1997	—	`conf`	A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1996	—	`conf`	Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1995	A*	`conf`	A Typed Calculus of Synchronous Processes LICS Simon J. Gay, Rajagopal Nagarajan
1995	—	`ed.`	Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994 Theory and Formal Methods Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1995	—	`conf`	Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1994	—	`conf`	An Internal Language for Interaction Categories. Theory and Formal Methods Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
1994	—	`conf`	Preface. Theory and Formal Methods Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1993	—	`conf`	Modelling SIGNAL in Interaction Categories. Theory and Formal Methods Simon J. Gay, Rajagopal Nagarajan