Jean-Daniel Zucker

Jean-Daniel Zucker

Senior Researcher, UMMISCO, IRD/Sorbonne University, France
Verified email at ird.fr
Cited by 21427
Machine Learning Data Science Abstraction Metagenomics NLP
Corina Pasareanu

Corina Pasareanu

CMU/NASA Ames
Verified email at nasa.gov
Cited by 14071
Symbolic execution compositional verification abstraction
Ali Eraslan

Ali Eraslan

Professor of Mathematics Education
Verified email at omu.edu.tr
Cited by 1343
mathematical modeling abstraction compartmentalization teacher education
Marianna M Bolognesi

Marianna M Bolognesi

University of Bologna
Verified email at unibo.it
Cited by 1335
semantic representation abstraction metaphor and metonymy creativity multilingualism
Andreas Griesmayer

Andreas Griesmayer

Imperial College London
Verified email at arm.com
Cited by 961
Software Verification Abstraction Repair
Y. Andre Wang

Y. Andre Wang

University of Toronto
Verified email at utoronto.ca
Cited by 719
social cognition attitudes abstraction structural equation modeling empathy
Yan Zhang

Yan Zhang

Samsung - SAIT AI Lab Montreal
Verified email at samsung.com
Cited by 601
Abstraction Reasoning Artificial Intelligence Machine Learning Deep Learning
Farida Nurhasanah

Farida Nurhasanah

Mathematics Education, Sebelas Maret University
Verified email at fkip.uns.ac.id
Cited by 474
Mathematics education manipulatives virtual manipulatives abstraction geometry
Fabio Massimo Zennaro

Fabio Massimo Zennaro

University of Bergen
Verified email at uib.no
Cited by 326
Machine Learning Causality Abstraction
Shaun Azzopardi

Shaun Azzopardi

University of Gothenburg
Verified email at gu.se
Cited by 275
Reactive Synthesis Runtime Verification Abstraction Static Analysis Deontic Logic
1 - 10