Concepedia

Paulo Oliva

PO

Statistics

Publications

21

Citations

525

H-Index

14

Active since

2001

Affiliations

Queen Mary University of London(Current)

Aarhus University

University of Lisbon

Paulo Oliva is an author at Queen Mary University of London specializing in mathematics, computer science, and theory of computation.

Publications per year

2001–2018

21

Publications

21

Bounded functional interpretation

Fernando Ferreira, Paulo Oliva · Annals of Pure and Applied Logic · 2005 · 82 citations

Selection functions, bar recursion and backward induction

Paulo Oliva · Mathematical Structures in Computer Science · 2010 · 56 citations · Full text

Humanities, Mathematics, Game Theory +12

Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

Ulrich Kohlenbach, Paulo Oliva · BRICS Report Series · 2002 · 52 citations · Full text

Computing, Computer Science, Mathematics +11

Sequential games and optimal strategies

Paulo Oliva · Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences · 2010 · 50 citations · Full text

Social Sciences, Mathematics, Combinatorics +10

Modified bar recursion

Ulrich Berger, Paulo Oliva · Mathematical Structures in Computer Science · 2006 · 33 citations

Computing, Computer Science, Mathematics +12

1–5 of 21