🏷️ Logic, programming, and type systems
Statistics
| Level | 3 |
| Department | - |
| IIT Delhi Publications | 0 |
| Global Publications | 0 |
Top Researchers
- Sorav Bansal (H: 16)
- Sanjiva Prasad (H: 14)
- Pradeep Varma (H: 8)
- Kumar Madhukar (H: 7)
- Sanjiva Prasad (H: 7)
- G. Venkatesh (H: 6)
- Radha Krishan Arora (H: 6)
Publications in this Topic
ZEUS: Analyzing Safety of Smart Contracts
2018 • 720 citations
Relaxed separation logic
2013 • 125 citations
An efficiency preorder for processes
1992 • 116 citations
Probabilistic Anonymity
2005 • 102 citations
Techniques for Speculative Run-Time Parallelization of Loops
1998 • 100 citations
A distributed solution of the distributed termination problem
1983 • 92 citations
Core Hybrid Event-B I: Single Hybrid Event-B machines
2015 • 74 citations