Jean-Daniel Zucker

Jean-Daniel Zucker

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

Corina Pasareanu

CMU/NASA Ames
Verified email at nasa.gov
Cited by 14318
Symbolic execution compositional verification abstraction
Marianna M Bolognesi

Marianna M Bolognesi

University of Bologna
Verified email at unibo.it
Cited by 1411
semantic representation abstraction metaphor and metonymy creativity multilingualism
Ali Eraslan

Ali Eraslan

Professor of Mathematics Education
Verified email at omu.edu.tr
Cited by 1372
mathematical modeling abstraction compartmentalization teacher education
Andreas Griesmayer

Andreas Griesmayer

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

Y. Andre Wang

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

Yan Zhang

Samsung - SAIT AI Lab Montreal
Verified email at samsung.com
Cited by 656
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 492
Mathematics education manipulatives virtual manipulatives abstraction geometry
Fabio Massimo Zennaro

Fabio Massimo Zennaro

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

Shaun Azzopardi

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