Charanjit S. Jutla

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

Computing, Computer Science, Mathematics +16

Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation

David M. Cash, Joseph Jaeger, Stanisław Jarecki et al. · 2014 · 674 citations

Computing, Computer Science, Computer Systems +17

The complexity of tree automata and logics of programs

E. Allen Emerson, Charanjit S. Jutla · 1988 · 298 citations

Computing, Computer Science, Algorithms +16

Outsourced symmetric private information retrieval

Stanisław Jarecki, Charanjit S. Jutla, Hugo Krawczyk et al. · 2013 · 230 citations

Computing, Computer Science, Cybersecurity +17

Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla · 1991 · 195 citations

Computing, Computer Science, Mathematics +16