Rajagopal Nagarajan

Available identifiers

zbMath Open nagarajan.rajagopalWikidataQ102342775 ScholiaQ102342775MaRDI QIDQ706489

List of research outcomes

Publication	Date of Publication	Type
Describing and animating quantum protocols	2024-10-01	Paper
Specification structures and propositions-as-types for concurrency	2024-06-21	Paper
Hamming Distance Kernelisation via Topological Quantum Computation	2022-12-09	Paper
Formalization \textit{of} quantum protocols using Coq	2021-12-06	Paper
Analysis of a quantum error correcting code using quantum process calculus	2021-04-27	Paper
Quantum error-correcting output codes	2019-02-08	Paper
Automated equivalence checking of concurrent quantum systems	2019-02-07	Paper
Communicating quantum processes	2017-07-14	Paper
Exogenous probabilistic computation tree logic	2014-01-17	Paper
Simulating and compiling code for the sequential quantum random access machine	2013-12-06	Paper
Equivalence checking of quantum protocols	2013-08-05	Paper
Techniques for Formal Modelling and Analysis of Quantum Systems	2013-05-28	Paper
Lossless quantum data compression and quantum Kolmogorov complexity	2011-07-13	Paper
Specification and verification of quantum protocols	2010-05-14	Paper
On Feedback and the Classical Capacity of a Noisy Quantum Channel	2008-12-21	Paper
SECOND QUANTIZED KOLMOGOROV COMPLEXITY	2008-11-17	Paper
Types and typechecking for Communicating Quantum Processes	2006-08-28	Paper
Intensional and extensional semantics of dataflow programs	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4414728	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4885871	2000-04-26	Paper
A specification structure for deadlock-freedom of synchronous processes	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4364392	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4870808	1996-05-07	Paper

Research outcomes over time

This page was built for person: Rajagopal Nagarajan