Antonio J. Fernández-Leiva

Antonio J. Fernández-Leiva

University of Málaga
Dirección de correo verificada de lcc.uma.es
Citado por 21652
ROLF LAKAEMPER

ROLF LAKAEMPER

Associate Professor of Computer Science, Temple University
Dirección de correo verificada de temple.edu
Citado por 3091
Ian Parberry

Ian Parberry

Professor of Computer Science & Engineering, University of North Texas
Dirección de correo verificada de unt.edu
Citado por 2878
Tomoyuki Kaneko

Tomoyuki Kaneko

The University of Tokyo
Dirección de correo verificada de graco.cu-tokyo.ac.jp
Citado por 701
Gizem Kayar

Gizem Kayar

Assistant Professor
Dirección de correo verificada de yasar.edu.tr
Citado por 678
Robert P. Cook

Robert P. Cook

University
Dirección de correo verificada de chattanoogastate.edu
Citado por 440
Daisaku Yokoyama

Daisaku Yokoyama

Research Associate, Institute of Industrial Science, The University of Tokyo
Dirección de correo verificada de tkl.iis.u-tokyo.ac.jp
Citado por 405
Tetsuro TANAKA

Tetsuro TANAKA

Associate Professor of Information Technology Center, The University of Tokyo
Dirección de correo verificada de ecc.u-tokyo.ac.jp
Citado por 232
Ivan Perez

Ivan Perez

NASA/NIA Formal Methods Group, Keera Studios, University of Nottingham
Dirección de correo verificada de nasa.gov
Citado por 137
1 - 10