The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nevin Heintze: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nevin Heintze, Joxan Jaffar
    Set Constraints and Set-Based Analysis. [Citation Graph (2, 0)][DBLP]
    PPCP, 1994, pp:281-298 [Conf]
  2. J. D. Tygar, Bennet S. Yee, Nevin Heintze
    Cryptographic Postage Indicia. [Citation Graph (1, 0)][DBLP]
    ASIAN, 1996, pp:378-391 [Conf]
  3. Nevin Heintze, Joxan Jaffar
    A Decision Procedure for a Class of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1990, pp:42-51 [Conf]
  4. Nevin Heintze, Joxan Jaffar
    A Finite Presentation Theorem for Approximating Logic Programs. [Citation Graph (1, 0)][DBLP]
    POPL, 1990, pp:197-209 [Conf]
  5. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    On Meta-Programming in CLR(R). [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:52-66 [Conf]
  6. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:33-49 [Conf]
  7. 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]
  8. Dino Oliva, Rainer Buchty, Nevin Heintze
    AES and the cryptonite crypto processor. [Citation Graph (0, 0)][DBLP]
    CASES, 2003, pp:198-209 [Conf]
  9. Joseph Williams, Nevin Heintze, Bryan D. Ackland
    Communication Mechanisms for Parallel DSP Systems on a Chip. [Citation Graph (0, 0)][DBLP]
    DATE, 2002, pp:420-422 [Conf]
  10. Nevin Heintze
    Network processors: a progress report. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:5- [Conf]
  11. Nevin Heintze, David A. McAllester
    On the Complexity of Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:150-163 [Conf]
  12. Nevin Heintze
    Practical Aspects of Set Based Analysis. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:765-779 [Conf]
  13. Nevin Heintze, Joxan Jaffar
    A Generic Algorithm for CLP Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:49-63 [Conf]
  14. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:675-703 [Conf]
  15. Nevin Heintze
    Set-Based Analysis of ML Programs. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:306-317 [Conf]
  16. Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    Region Analysis and the Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:88-97 [Conf]
  17. Nevin Heintze, Joxan Jaffar
    An Engine for Logic Program Analysis [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:318-328 [Conf]
  18. Nevin Heintze, David A. McAllester
    On the Cubic Bottleneck in Subtyping and Flow Analysis. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:342-351 [Conf]
  19. Nevin Heintze
    Aliasing analysis for a million lines of C. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:47-49 [Conf]
  20. Nevin Heintze, David A. McAllester
    Linear-time Subtransitive Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:261-272 [Conf]
  21. Nevin Heintze, Olivier Tardieu
    Demand-Driven Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:24-34 [Conf]
  22. Nevin Heintze, Olivier Tardieu
    Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:254-263 [Conf]
  23. Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    A Core Calculus of Dependency. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:147-160 [Conf]
  24. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:26-39 [Conf]
  25. Nevin Heintze, Jon G. Riecke
    The SLam Calculus: Programming with Secrecy and Integrity. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:365-377 [Conf]
  26. Nevin Heintze
    Control-Flow Analysis and Type Systems [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:189-206 [Conf]
  27. Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    Design and Correctness of Program Transformations Based on Control-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:420-447 [Conf]
  28. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:231-260 [Journal]
  29. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    Meta-Programming in CLP(R). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:33, n:3, pp:221-259 [Journal]
  30. Nevin Heintze, J. D. Tygar
    A Model for Secure Protocols and Their Compositions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:1, pp:16-30 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002