Dino Oliva

	2004
10		Rainer Buchty, Nevin Heintze, Dino Oliva: Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS 2004: 184-198
9		Riccardo Pucella, Erik Meijer, Dino Oliva: Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel CoRR cs.PL/0405082: (2004)
	2003
8		Dino Oliva, Rainer Buchty, Nevin Heintze: AES and the cryptonite crypto processor. CASES 2003: 198-209
	1998
7		Andrew P. Tolmach, Dino Oliva: From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. J. Funct. Program. 8(4): 367-412 (1998)
	1997
6		Simon L. Peyton Jones, Thomas Nordin, Dino Oliva: C-: A Portable Assembly Language. Implementation of Functional Languages 1997: 1-19
	1996
5		Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton: A Software Engineering Experiment in Software Component Generation. ICSE 1996: 542-552
	1995
4		Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou: Calculating Software Generators from Solution Specifications. TAPSOFT 1995: 546-560
3		Dino Oliva, John D. Ramsdell, Mitchell Wand: The VLISP Verified PreScheme Compiler. Lisp and Symbolic Computation 8(1-2): 111-182 (1995)
	1994
2		Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou: Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada 1994: 396-404
	1992
1		Mitchell Wand, Dino Oliva: Proving the Correctness of Storage Representations. LISP and Functional Programming 1992: 151-160

Coauthor Index

1	Jeffrey M. Bell	[2] [4] [5]
2	Françoise Bellegarde (Françoise Bellegarde-Webb)	[2] [4]
3	Rainer Buchty	[8] [10]
4	Nevin Heintze	[8] [10]
5	James Hook	[2] [4] [5]
6	Simon L. Peyton Jones	[6]
7	Richard B. Kieburtz (Dick Kieburtz)	[2] [4] [5]
8	Alex Kotov	[2] [5]
9	Jeffrey Lewis	[2] [4] [5]
10	Laura McKinney	[2] [5]
11	Erik Meijer	[9]
12	Thomas Nordin	[6]
13	Riccardo Pucella	[9]
14	John D. Ramsdell	[3]
15	Tim Sheard	[2] [4] [5]
16	Ira Smith	[5]
17	Andrew P. Tolmach	[7]
18	L. Tong	[2]
19	Lisa Walton	[2] [4] [5]
20	Mitchell Wand	[1] [3]
21	Tong Zhou	[2] [4]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page