Rajagopal Nagarajan

Available identifiers

Publication	Date of Publication	Type
Hamming Distance Kernelisation via Topological Quantum Computation	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5015189	2021-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4986182	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
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
https://portal.mardi4nfdi.de/entity/Q3560846	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rajagopal Nagarajan