John R Harrison

John R Harrison

Amazon Web Services
在 amazon.com 的电子邮件经过验证
被引用次数：7631
Formalization verification automated reasoning theorem proving
David Alex Lamb

David Alex Lamb

School of Computing, Queen's University
在 queensu.ca 的电子邮件经过验证
被引用次数：854
software design formalization
Ryan Teeter

Ryan Teeter

Assistant Professor of Accounting and Information Systems, University of Pittsburgh
在 katz.pitt.edu 的电子邮件经过验证
被引用次数：811
Continuous auditing remote auditing audit automation formalization data standards
Odette Chams-Anturi

Odette Chams-Anturi

Universidad de la Costa
在 cuc.edu.co 的电子邮件经过验证
被引用次数：214
Ambidexterity Innovation Formalization
Racky Balde

Racky Balde

UNU-MERIT, Maastricht University
在 maastrichtuniversity.nl 的电子邮件经过验证
被引用次数：116
entrepreneurship formalization Informality taxation employment
Twivwe Siwale

Twivwe Siwale

Country Economist - International Growth Center
在 theigc.org 的电子邮件经过验证
被引用次数：106
Taxation formalization Institutions
Sina Hazratpour

Sina Hazratpour

Johns Hopkins University
在 jhu.edu 的电子邮件经过验证
被引用次数：21
Higher Category Theory Homotopy Type Theory Logic and Foundation Formalization AI Safety
Alena Gusakov

Alena Gusakov

Masters Student, University of Waterloo
在 udel.edu 的电子邮件经过验证
被引用次数：12
graph theory combinatorics formalization
Utensil Song

Utensil Song

Independent
在 mail3.sysu.edu.cn 的电子邮件经过验证
被引用次数：11
Clifford algebras formalization