Searching for authors named "Harish Devarajan" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Probabilistic Analysis for Combinatorial Functions of Moving Points
- …Probabilistic Analysis for Combinatorial Functions of Moving Points Julien Basch Harish Devarajan…
- Cited by 8 (4 self) – Add To MetaCart
-
Correctness Proof For A Network Synchronizer
- … PROOF FOR A NETWORK SYNCHRONIZER Harish Devarajan Alan Fekete Nancy Lynch Liuba Shrira December 1993…
- Cited by 1 (0 self) – Add To MetaCart
-
Probabilistic Analysis for Combinatorial Functions of Moving Points
- …Probabilistic Analysis for Combinatorial Functions of Moving Points Li Zhang y Harish Devarajan…
- Cited by 2 (0 self) – Add To MetaCart
-
Full completeness of the multiplicative linear logic of Chu spaces
- …Full completeness of the multiplicative linear logic of Chu spaces Harish Devarajan Stanford…
- Cited by 21 (7 self) – Add To MetaCart
-
STeP: The Stanford Temporal Prover
- … Col'on, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma and Tom'as Uribe…
- Cited by 57 (2 self) – Add To MetaCart
Showing 1 through 5.
