|
Search the dblp DataBase
Nevin Heintze:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nevin Heintze, Joxan Jaffar
Set Constraints and Set-Based Analysis. [Citation Graph (2, 0)][DBLP] PPCP, 1994, pp:281-298 [Conf]
- J. D. Tygar, Bennet S. Yee, Nevin Heintze
Cryptographic Postage Indicia. [Citation Graph (1, 0)][DBLP] ASIAN, 1996, pp:378-391 [Conf]
- 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]
- Nevin Heintze, Joxan Jaffar
A Finite Presentation Theorem for Approximating Logic Programs. [Citation Graph (1, 0)][DBLP] POPL, 1990, pp:197-209 [Conf]
- 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]
- Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP] APLAS, 2000, pp:33-49 [Conf]
- 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]
- Dino Oliva, Rainer Buchty, Nevin Heintze
AES and the cryptonite crypto processor. [Citation Graph (0, 0)][DBLP] CASES, 2003, pp:198-209 [Conf]
- 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]
- Nevin Heintze
Network processors: a progress report. [Citation Graph (0, 0)][DBLP] EMSOFT, 2004, pp:5- [Conf]
- Nevin Heintze, David A. McAllester
On the Complexity of Set-Based Analysis. [Citation Graph (0, 0)][DBLP] ICFP, 1997, pp:150-163 [Conf]
- Nevin Heintze
Practical Aspects of Set Based Analysis. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:765-779 [Conf]
- Nevin Heintze, Joxan Jaffar
A Generic Algorithm for CLP Analysis. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:49-63 [Conf]
- 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]
- Nevin Heintze
Set-Based Analysis of ML Programs. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1994, pp:306-317 [Conf]
- 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]
- Nevin Heintze, Joxan Jaffar
An Engine for Logic Program Analysis [Citation Graph (0, 0)][DBLP] LICS, 1992, pp:318-328 [Conf]
- 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]
- Nevin Heintze
Aliasing analysis for a million lines of C. [Citation Graph (0, 0)][DBLP] ASIA-PEPM, 2002, pp:47-49 [Conf]
- Nevin Heintze, David A. McAllester
Linear-time Subtransitive Control Flow Analysis. [Citation Graph (0, 0)][DBLP] PLDI, 1997, pp:261-272 [Conf]
- Nevin Heintze, Olivier Tardieu
Demand-Driven Pointer Analysis. [Citation Graph (0, 0)][DBLP] PLDI, 2001, pp:24-34 [Conf]
- 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]
- 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]
- Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP] POPL, 2000, pp:26-39 [Conf]
- Nevin Heintze, Jon G. Riecke
The SLam Calculus: Programming with Secrecy and Integrity. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:365-377 [Conf]
- Nevin Heintze
Control-Flow Analysis and Type Systems [Citation Graph (0, 0)][DBLP] SAS, 1995, pp:189-206 [Conf]
- 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]
- 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]
- 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]
- 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.002secs, Finished in 0.304secs
|