Jeff Lewis

According to our database, Jeff Lewis authored at least 3 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Cryptol: specification, implementation and verification of high-grade cryptographic applications.

Jeff Lewis

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

1999

Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic.

Kurt Keutzer, Kurt Wolf, David Pietromonaco, Jay Maxey, Jeff Lewis, Martin Lefebvre, Jeff Burns

Proceedings of the 36th Conference on Design Automation, 1999

1991

EDA environments in 1995: specification, not implementation.

Jeff Lewis

Proceedings of the Compcon Spring '91, San Francisco, 1991