Peter Müller

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,405 of 35,345 by trust here, #33,294 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom Peter Müller trusts overall

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

1. Leonardo de Moura

Who trusts Peter Müller overall

1. Georgios Gousios

Papers from Peter Müller's perspective

Ordered by how strongly the researchers Peter Müller 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