Frank Kalter

Frank Kalter

Professor of Sociology, University Mannheim
Verified email at uni-mannheim.de
Cited by 5325
integration migration analytical sociology formal models
Denis A. Degterev (Денис Андреевич Дегтерев)

Denis A. Degterev (Денис Андреевич Дегтерев)

Institute for African Studies (Институт Африки РАН)
Verified email at hse.ru
Cited by 3443
Africa Development Cooperation Economic Diplomacy IR theory Formal Models
Arturas Rozenas

Arturas Rozenas

Associate Professor, NYU
Verified email at nyu.edu
Cited by 1700
Comparative politics formal models statistics
Jorge Julvez

Jorge Julvez

University of Zaragoza
Verified email at unizar.es
Cited by 1266
Systems biology Computational biology Formal models Dynamical systems
Marco Patrignani

Marco Patrignani

Assistant Professor at University of Trento
Verified email at unitn.it
Cited by 1117
secure compilation programming languages formal models type systems security
Baiyu Li

Baiyu Li

Google
Verified email at cs.ucsd.edu
Cited by 1052
Cryptography Formal Models Automata Theory
Luis Vicente

Luis Vicente

Lecturer and Researcher, University of Potsdam
Verified email at uni-potsdam.de
Cited by 1035
Syntax semantics formal models
Orie Shelef

Orie Shelef

University of Utah
Verified email at eccles.utah.edu
Cited by 958
Strategy Entrepreneurship Formal Models
Anders Hessel

Anders Hessel

Head of R&D, Process Automation, Xware AB, a part of WiseTech Global
Verified email at hessel.nu
Cited by 868
Process Automation Monitoring Model-Based Testing Formal Models Real-Time Systems
Mojmír Křetínský

Mojmír Křetínský

Masaryk university, Faculty of Informatics
Verified email at fi.muni.cz
Cited by 543
Formal models concurrent processes verification.
1 - 10