François Garillot

François Garillot

Lurk Lab
在 garillot.net 的电子邮件经过验证
被引用次数：1230
Distributed Systems Blockchain Stream Processing Formal Proof Cryptography
Nam Trung Tran

Nam Trung Tran

Institute of Mathematics, Vietnam Academy of Science and Technology
在 math.ac.vn 的电子邮件经过验证
被引用次数：1071
Algebra Combinatorics Formal Proof
Keisuke Nakano

Keisuke Nakano

Tohoku University
在 acm.org 的电子邮件经过验证
被引用次数：956
Formal Language Formal Proof Programming Language Functional Programming
hoang le truong

hoang le truong

Associate Professor
在 math.ac.vn 的电子邮件经过验证
被引用次数：721
Commutative Algebra Algebraic Geometry Formal proof
Koji Yamamoto

Koji Yamamoto

Fujitsu Research, Fujitsu
在 acm.org 的电子邮件经过验证
被引用次数：139
Software engineering Program analysis Formal proof Formal method Program semantics
Florent BREHARD

Florent BREHARD

Uppsala universitet
在 math.uu.se 的电子邮件经过验证
被引用次数：103
rigorous numerics computer algebra formal proof computer-assisted proofs
Horace Blanc

Horace Blanc

Université Paris Cité
在 etu.u-paris.fr 的电子邮件经过验证
formal proof medecine