The SCEAS System
Navigation Menu

Search the dblp DataBase


Dino Oliva: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rainer Buchty, Nevin Heintze, Dino Oliva
    Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. [Citation Graph (0, 0)][DBLP]
    ARCS, 2004, pp:184-198 [Conf]
  2. Dino Oliva, Rainer Buchty, Nevin Heintze
    AES and the cryptonite crypto processor. [Citation Graph (0, 0)][DBLP]
    CASES, 2003, pp:198-209 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:542-552 [Conf]
  4. Simon L. Peyton Jones, Thomas Nordin, Dino Oliva
    C-: A Portable Assembly Language. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:1-19 [Conf]
  5. Mitchell Wand, Dino Oliva
    Proving the Correctness of Storage Representations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:151-160 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:396-404 [Conf]
  7. Richard B. Kieburtz, Françoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
    Calculating Software Generators from Solution Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:546-560 [Conf]
  8. Riccardo Pucella, Erik Meijer, Dino Oliva
    Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  9. Andrew P. Tolmach, Dino Oliva
    From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:4, pp:367-412 [Journal]
  10. Dino Oliva, John D. Ramsdell, Mitchell Wand
    The VLISP Verified PreScheme Compiler. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:111-182 [Journal]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002