Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
CMU/NASA Ames
Verified email at nasa.gov
Cited by 14071
Symbolic execution
compositional verification
abstraction
Ali Eraslan
Professor of Mathematics Education
Verified email at omu.edu.tr
Cited by 1343
mathematical modeling
abstraction
compartmentalization
teacher education
Marianna M Bolognesi
University of Bologna
Verified email at unibo.it
Cited by 1335
semantic representation
abstraction
metaphor and metonymy
creativity
multilingualism
Andreas Griesmayer
Imperial College London
Verified email at arm.com
Cited by 961
Software Verification
Abstraction
Repair
Y. Andre Wang
University of Toronto
Verified email at utoronto.ca
Cited by 719
social cognition
attitudes
abstraction
structural equation modeling
empathy
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
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
University of Bergen
Verified email at uib.no
Cited by 326
Machine Learning
Causality
Abstraction
Shaun Azzopardi
University of Gothenburg
Verified email at gu.se
Cited by 275
Reactive Synthesis
Runtime Verification
Abstraction
Static Analysis
Deontic Logic
1 - 10
Privacy
Terms
Help
About Scholar
Search help