Nancy Lynch

Nancy Lynch

Professor of EECS, MIT
在 csail.mit.edu 的电子邮件经过验证
被引用次数：43387
Distributed computing theory: Algorithms and … Modeling and verification Wireless networks Biological algorithms
Hugo Andrés López

Hugo Andrés López

Associate Professor, Technical University of Denmark
在 dtu.dk 的电子邮件经过验证
被引用次数：398
Business process management Distributed Systems Modeling and Verification
Alexis Marechal

Alexis Marechal

Universidad Privada Boliviana (UPB)
在 lp.upb.edu 的电子邮件经过验证
被引用次数：200
Computer Science Modeling and Verification Formal Methods
Zelalem Mihret

Zelalem Mihret

Phd student at KAIST, South Korea
在 se.kaist.ac.kr 的电子邮件经过验证
被引用次数：8
Software engineering modeling and verification
Aditya Shankar Narayanan

Aditya Shankar Narayanan

Ph.D. student, University of Waterloo
在 uwaterloo.ca 的电子邮件经过验证
被引用次数：2
Software Engineering Formal Methods Modeling and Verification