dblp.uni-trier.dewww.uni-trier.de

Fadi A. Zaraket

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEFadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential circuits for program analysis. ASE 2007: 114-123
3EEFadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid: Global Optimization of Compositional Systems. FMCAD 2007: 93-100
2EEFadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid: Sequential Circuits for Relational Analysis. ICSE 2007: 13-22
2005
1 Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz: Scalable compositional minimization via static analysis. ICCAD 2005: 1060-1067

Coauthor Index

1Adnan Aziz [1] [2] [3] [4]
2Jason Baumgartner [1]
3Margarida F. Jacome [3]
4Sarfraz Khurshid [2] [3] [4]
5John Pape [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)