Caterina Urban

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

Whom Caterina Urban 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

Who trusts Caterina Urban overall

1. Amir M. Mir
2. Michael Pradel

Papers from Caterina Urban's perspective

Ordered by how strongly the researchers Caterina Urban 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