The following pages link to Rajagopal Nagarajan (Q706489):
Displayed 21 items.
- Intensional and extensional semantics of dataflow programs (Q706490) (← links)
- Item:Q706489 (redirect page) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- LOSSLESS QUANTUM DATA COMPRESSION AND QUANTUM KOLMOGOROV COMPLEXITY (Q3015424) (← links)
- SECOND QUANTIZED KOLMOGOROV COMPLEXITY (Q3536074) (← links)
- On Feedback and the Classical Capacity of a Noisy Quantum Channel (Q3546602) (← links)
- (Q3560846) (← links)
- (Q4364392) (← links)
- (Q4414728) (← links)
- Automated Equivalence Checking of Concurrent Quantum Systems (Q4617973) (← links)
- Quantum error-correcting output codes (Q4620288) (← links)
- (Q4870808) (← links)
- (Q4885871) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q4986182) (← links)
- (Q5015189) (← links)
- Hamming Distance Kernelisation via Topological Quantum Computation (Q5055989) (← links)
- Communicating quantum processes (Q5276142) (← links)
- Equivalence Checking of Quantum Protocols (Q5326347) (← links)
- Types and typechecking for Communicating Quantum Processes (Q5482266) (← links)