Nicolas Anquetil

Nicolas Anquetil

RMod team / Inria & University of Lille-1
在 inria.fr 的电子邮件经过验证
被引用次数:4385
Janis Voigtländer

Janis Voigtländer

Associate Professor, Formal Methods in Computer Science, University of Duisburg-Essen
在 uni-due.de 的电子邮件经过验证
被引用次数:936
Cristina Cachero-Castro

Cristina Cachero-Castro

Departamento de Lenguajes y Sistemas Informáticos (DLSI), Universidad de Alicante (UA).
在 dlsi.ua.es 的电子邮件经过验证
被引用次数:476
Elena Gómez-Martínez

Elena Gómez-Martínez

Universidad Complutense de Madrid
在 ucm.es 的电子邮件经过验证
被引用次数:360
Fahim Imam

Fahim Imam

University of California, San Diego
在 cs.queensu.ca 的电子邮件经过验证
被引用次数:356
Romuald Deshayes

Romuald Deshayes

Software Engineering Lab
在 umons.ac.be 的电子邮件经过验证
被引用次数:169
Nalaka R. Dissanayake

Nalaka R. Dissanayake

Visiting Lecturer, University of Westminster
在 westminster.ac.uk 的电子邮件经过验证
被引用次数:158
Yanal Alahmad

Yanal Alahmad

PhD Computer Science and Software Engineering
在 concordia.ca 的电子邮件经过验证
被引用次数:90
sony panca budiarto

sony panca budiarto

sekolah tinggi ilmu komputer PGRI banyuwangi
在 stikombanyuwangi.ac.id 的电子邮件经过验证
被引用次数:73
Parsa Pourali

Parsa Pourali

University of Waterloo
在 uwaterloo.ca 的电子邮件经过验证
被引用次数:66
1 - 10