Mostafa Hassan

Artificial Intelligence · with Eilers · 2018

A researcher in the Science corpus: 1 paper; trusts 6 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 8 citations into it; #34,402 of 35,345 by trust here, #33,294 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom Mostafa Hassan trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Leonardo de Moura
2. Nikolaj S. Bjørner
3. Jeremy G. Siek
4. Nina Narodytska
5. Walid Taha
6. Fahiem Bacchus

Who trusts Mostafa Hassan overall

1. Amir M. Mir
2. Michael Pradel
3. Georgios Gousios
4. Evaldas Latoskinas

Papers from Mostafa Hassan's perspective

Ordered by how strongly the researchers Mostafa Hassan trusts endorse each paper. Same corpus, a different order for every researcher.

1. Efficient E-Matching for SMT Solvers (CADE)
2. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
3. The ins and outs of gradual type inference
4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
5. Dependent types and multi-monadic effects in F* (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Towards Type Inference for JavaScript
7. Type Analysis for JavaScript
8. Z3: An Efficient SMT Solver
9. Maximum Satisfiability Using Core-Guided MaxSAT Resolution
10. On the Complexity of Derivation in Propositional Calculus

Their papers

• MaxSMT-Based Type Inference for Python 3 (2018) — 55 citations