Igor Siveroni

Igor Siveroni

University of Engineering and Technology (UTEC)
在 utec.edu.pe 的电子邮件经过验证
被引用次数：10771
Programming language theory computational biology scientific computing phylodynamics program analysis
Chris Hankin

Chris Hankin

Professor of Computing Science, Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：8682
Security Program Analysis Programming Language Theory
Vineet Gupta

Vineet Gupta

Google Inc
在 google.com 的电子邮件经过验证
被引用次数：4255
Programming Language Theory Machine Learning
Ugo Dal Lago

Ugo Dal Lago

University of Bologna and INRIA Sophia Antipolis
在 cs.unibo.it 的电子邮件经过验证
被引用次数：3393
Programming Language Theory Implicit Computational Complexity Quantum Computing Probabilistic Programming Cryptography
Eugene Stark

Eugene Stark

Professor of Computer Science, Stony Brook University
在 cs.stonybrook.edu 的电子邮件经过验证
被引用次数：2284
Programming Language Theory Concurrency Theory
Hans Hüttel

Hans Hüttel

Associate Professor, Aalborg University
在 cs.aau.dk 的电子邮件经过验证
被引用次数：1624
Theory of Computation Programming Language Theory Process Calculi
Eijiro Sumii

Eijiro Sumii

Tohoku University
在 ecei.tohoku.ac.jp 的电子邮件经过验证
被引用次数：1256
Programming Language Theory
Guoqiang Li

Guoqiang Li

Associate Professor of School of Software, Shanghai Jiao Tong University
在 sjtu.edu.cn 的电子邮件经过验证
被引用次数：1054
formal verification programming language theory knowledge reasoning and verification
Makoto Hamana

Makoto Hamana

Associate Professor, Gunma University
在 cs.gunma-u.ac.jp 的电子邮件经过验证
被引用次数：655
Programming Language Theory Term Rewriting Category Theory
Mohammad Raza

Mohammad Raza

Researcher, Microsoft Corporation
在 microsoft.com 的电子邮件经过验证
被引用次数：485
Programming language theory Artificial Intelligence Data management
1 - 10