Paulo Oliva

	2009
16		Gilda Ferreira, Paulo Oliva: Functional Interpretations of Intuitionistic Linear Logic. CSL 2009: 3-19
	2008
15		Mircea-Dan Hernest, Paulo Oliva: Hybrid Functional Interpretations. CiE 2008: 251-260
14		Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A General Framework for Sound and Complete Floyd-Hoare Logics CoRR abs/0807.1016: (2008)
13		Paulo Oliva, Thomas Streicher: On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic. Fundam. Inform. 84(2): 207-220 (2008)
	2007
12		Paulo Oliva: Modified Realizability Interpretation of Classical Linear Logic. LICS 2007: 431-442
11		Paulo Oliva: Computational Interpretations of Classical Linear Logic. WoLLIC 2007: 285-296
10		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)
	2006
9		Ursula Martin, Erik A. Mathiesen, Paulo Oliva: Hoare Logic in the Abstract. CSL 2006: 501-515
8		Paulo Oliva: Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. CiE 2006: 423-434
7		Ulrich Berger, Paulo Oliva: Modified bar recursion. Mathematical Structures in Computer Science 16(2): 163-183 (2006)
	2005
6		Paulo Oliva: Unifying Functional Interpretations. Mathematics, Algorithms, Proofs 2005
5		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)
	2003
4		Paulo Oliva: Polynomial-time Algorithms from Ineffective Proofs. LICS 2003: 128-137
3		Ulrich Kohlenbach, Paulo Oliva: Proof mining in L1-approximation. Ann. Pure Appl. Logic 121(1): 1-38 (2003)
	2002
2		Paulo Oliva: On the Computational Complexity of Best L1-approximation. Math. Log. Q. 48(S1): 66-77 (2002)
	1998
1		Eugene W. Myers, Paulo Oliva, Katia S. Guimarães: Reporting Exact and Approximate Regular Expression Matches. CPM 1998: 91-103

Coauthor Index

1	Rob Arthan	[14]
2	Ulrich Berger	[7]
3	Fernando Ferreira	[5] [10]
4	Gilda Ferreira	[16]
5	Katia S. Guimarães	[1]
6	Mircea-Dan Hernest	[15]
7	Ulrich Kohlenbach	[3]
8	Ursula Martin	[9] [14]
9	Erik A. Mathiesen	[9] [14]
10	Eugene W. Myers (Gene Myers)	[1]
11	Thomas Streicher	[13]

Colors in the list of coauthors