K. Sakallah
发表
Hossein M. Sheini,
H. M. Sheini,
K. Sakallah,
2006,
2006 IEEE/ACM International Conference on Computer Aided Design.
K. Sakallah,
F. Aloul,
M. Mneimneh,
2001
.
Vasco M. Manquinho,
Arlindo L. Oliveira,
K. Sakallah,
1997
.
Vasco M. Manquinho,
Arlindo L. Oliveira,
K. Sakallah,
2007
.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2003,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
K. Sakallah,
F. Aloul,
I. Markov,
2002,
ICCAD 2002.
Ayman I. Kayssi,
Kunle Olukotun,
Trevor N. Mudge,
1991,
Computer.
Kunle Olukotun,
Trevor N. Mudge,
Karem A. Sakallah,
1990,
DAC '90.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1997,
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1994,
31st Design Automation Conference.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1994,
Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.
K. Sakallah,
1999
.
K. Sakallah,
João Silva,
Joonyoung Kim,
1997
.
K. Sakallah,
João Silva,
1996
.
K. Sakallah,
João Silva,
1993
.
K. Sakallah,
J. L. Bell,
J. Whittemore,
2007
.
K. Sakallah,
T. Mudge,
A. Kayssi,
1992,
[Proceedings] 1992 IEEE International Symposium on Circuits and Systems.
K. Sakallah,
F. Aloul,
I. Markov,
2001
.
K. Sakallah,
F. Aloul,
2000
.
Mark H. Liffiton,
K. Sakallah,
2009
.
K. Sakallah,
I. Markov,
2001
.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2005
.
Karem A. Sakallah,
Victor N. Kravets,
K. Sakallah,
2000
.
K. Sakallah,
F. Aloul,
I. Markov,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
H. M. Sheini,
K. Sakallah,
2002
.
K. Sakallah,
F. Aloul,
B. Sierawski,
1999
.
Trevor Mudge,
Karem A. Sakallah,
Ayman Kayssi,
1993
.
K. Sakallah,
Aman Goel,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Karem A. Sakallah,
Laurent Simon,
K. Sakallah,
2011,
SAT.
K. Sakallah,
Denis Bueno,
2018
.
Rob A. Rutenbar,
K. Sakallah,
Hui Xu,
2002,
ISPD.
K. Olukotun,
K. Sakallah,
T. Mudge,
1990,
27th ACM/IEEE Design Automation Conference.
K. Sakallah,
M. Mneimneh,
2001
.
Mark H. Liffiton,
Zaher S. Andraus,
K. Sakallah,
2005
.
Zijiang Yang,
Karem A. Sakallah,
K. Sakallah,
2010,
ICFEM.
Martha E. Pollack,
Karem A. Sakallah,
Bart Peintner,
2005,
CP.
Martha E. Pollack,
Karem A. Sakallah,
Michael D. Moffitt,
2005,
IJCAI.
Rob A. Rutenbar,
Gi-Joon Nam,
Karem A. Sakallah,
1999,
FPGA '99.
Karem A. Sakallah,
Michael A. Riepe,
K. Sakallah,
1999,
ISPD '99.
Ayman I. Kayssi,
Karem A. Sakallah,
V. Chandramouli,
1997,
Proceedings Seventeenth Conference on Advanced Research in VLSI.
Ayman I. Kayssi,
Karem A. Sakallah,
K. Sakallah,
1992,
Proceedings EURO-DAC '92: European Design Automation Conference.
Karem A. Sakallah,
Yao-Tsung Yen,
Steve S. Greenberg,
1990,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Karem A. Sakallah,
Stephen W. Director,
S. W. Director,
1985,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Karem A. Sakallah,
K. Sakallah,
2021,
Handbook of Satisfiability.
Igor L. Markov,
Karem A. Sakallah,
Mark H. Liffiton,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1999,
IEEE Trans. Computers.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1996,
Proceedings of International Conference on Computer Aided Design.
Karem A. Sakallah,
Maher N. Mneimneh,
K. Sakallah,
2005,
IEEE Design & Test of Computers.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2004,
Proceedings Design, Automation and Test in Europe Conference and Exhibition.
K. Sakallah,
2014
.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2009,
Annals of Mathematics and Artificial Intelligence.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2003,
IEEE Transactions on Computers.
K. Sakallah,
Aman Goel,
Aman Goel,
2022,
Innovations in Systems and Software Engineering.
Karem A. Sakallah,
Aman Goel,
K. Sakallah,
2021
.
Karem A. Sakallah,
Aman Goel,
K. Sakallah,
2021,
NFM.
Karem A. Sakallah,
Suho Lee,
K. Sakallah,
2014,
CAV.
Radu Grosu,
Scott A. Smolka,
Karem A. Sakallah,
2009,
IFM.
Igor L. Markov,
Karem A. Sakallah,
Yoonna Oh,
2004,
Proceedings. 41st Design Automation Conference, 2004..
T. N. Mudge,
K. Sakallah,
T. Mudge,
1995,
1992 IEEE/ACM International Conference on Computer-Aided Design.
Sean Safarpour,
Andreas G. Veneris,
Karem A. Sakallah,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Karem A. Sakallah,
Hossein M. Sheini,
K. Sakallah,
2006,
J. Satisf. Boolean Model. Comput..
K. Sakallah,
João Silva,
1996
.
Karem A. Sakallah,
K. Sakallah,
1996
.
K. Sakallah,
F. Aloul,
I. Markov,
2002,
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Aman Goel,
Karem A. Sakallah,
K. Sakallah,
2020,
TACAS.
Chao Wang,
Zijiang Yang,
Karem A. Sakallah,
2011,
NASA Formal Methods.
Rob A. Rutenbar,
Gi-Joon Nam,
Karem A. Sakallah,
2002,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Joonyoung Kim,
Karem A. Sakallah,
Jesse Whittemore,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Joao Marques-Silva,
Karem A. Sakallah,
Joonyoung Kim,
1999,
VLSI.
Karem A. Sakallah,
Hossein M. Sheini,
K. Sakallah,
2006,
SAT.
Karem A. Sakallah,
Yuji Kukimoto,
Michel Berkelaar,
2001
.
Karem A. Sakallah,
Timothy Michael Burks,
K. Sakallah,
1992,
IEEE/ACM International Conference on Computer-Aided Design.
Trevor N. Mudge,
Karem A. Sakallah,
Kunle Olukotun,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Trevor N. Mudge,
Richard B. Brown,
Karem A. Sakallah,
1998,
IEEE Trans. Very Large Scale Integr. Syst..
Karem A. Sakallah,
Mark H. Liffiton,
K. Sakallah,
2005,
SAT.
Karem A. Sakallah,
Timothy Michael Burks,
K. Sakallah,
1993,
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
Karem A. Sakallah,
Maher N. Mneimneh,
K. Sakallah,
2003,
SAT.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2002,
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
Igor L. Markov,
Karem A. Sakallah,
Hadi Katebi,
2012,
LPAR.
Karem A. Sakallah,
Hossein M. Sheini,
K. Sakallah,
2006,
SAT.
Karem A. Sakallah,
Hossein M. Sheini,
K. Sakallah,
2005,
SAT.
Atul Prakash,
Xinming Ou,
Su Zhang,
2011,
ACSAC '11.
Rob A. Rutenbar,
Gi-Joon Nam,
Karem A. Sakallah,
2002,
FPL.
Jean-Baptiste Jeannin,
Karem A. Sakallah,
Baris Kasikci,
2019,
SOSP.
Karem A. Sakallah,
Michael A. Riepe,
K. Sakallah,
1998,
TODE.
Jean-Baptiste Jeannin,
Aman Goel,
Karem A. Sakallah,
2019,
HotOS.
Karem A. Sakallah,
Michael A. Riepe,
K. Sakallah,
2003,
TODE.
Chandrasekhar Boyapati,
Karem Sakallah,
K. Sakallah,
2011
.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2008,
LPAR.
Karem A. Sakallah,
Mark H. Liffiton,
Zaher S. Andraus,
2006,
Asia and South Pacific Conference on Design Automation, 2006..
Joao Marques-Silva,
Richard B. Brown,
Karem A. Sakallah,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Trevor Mudge,
O. A. Olukotun,
Richard B. Brown,
1991
.
John P. Hayes,
Hakan Yalcin,
Cyrus Bamji,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Rob A. Rutenbar,
Gi-Joon Nam,
Karem A. Sakallah,
1999,
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Karem A. Sakallah,
Mark H. Liffiton,
K. Sakallah,
2007,
Journal of Automated Reasoning.
Rob A. Rutenbar,
Gi-Joon Nam,
Karem A. Sakallah,
2001,
IEEE Transactions on Computers.
Joao Marques-Silva,
Karem A. Sakallah,
Hadi Katebi,
2011,
SAT.
Todd M. Austin,
Karem A. Sakallah,
Fadi A. Aloul,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Rob A. Rutenbar,
Karem A. Sakallah,
Hui Xu,
2003,
ISPD '02.
Arlen Cox,
Denis Bueno,
Karem Sakallah,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Karem A. Sakallah,
Denis Bueno,
K. Sakallah,
2019,
VMCAI.
Karem A. Sakallah,
Zaher S. Andraus,
K. Sakallah,
2004,
Proceedings. 41st Design Automation Conference, 2004..
K. Sakallah,
Denis Bueno,
2020
.
Karem A. Sakallah,
V. Chandramouli,
Jesse Whittemore,
1998,
Proceedings Design, Automation and Test in Europe.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2004,
J. Univers. Comput. Sci..
Luis Miguel Silveira,
L. M. Silveira,
L. G. Silva,
1998,
1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196).
Karem A. Sakallah,
Michael Bailey,
Kevin J. Compton,
2013,
RAID.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2007,
IEEE Transactions on Computers.
Karem A. Sakallah,
Fadi A. Aloul,
Maher N. Mneimneh,
2002,
IWLS.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2000
.
Victor N. Kravets,
K. Sakallah,
V.N. Kravet,
2000,
Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
V. Chandramouli,
K. Sakallah,
K.A. Sakallah,
1996,
33rd Design Automation Conference Proceedings, 1996.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1996,
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.
Igor L. Markov,
Karem A. Sakallah,
Fadi A. Aloul,
2003,
GLSVLSI '03.
Karem A. Sakallah,
V. Chandramouli,
K. Sakallah,
1997
.
K.A. Sakallah,
L. M. Silveira,
L.G. e Silva,
1998,
ISCAS '98. Proceedings of the 1998 IEEE International Symposium on Circuits and Systems (Cat. No.98CH36187).
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Joao Marques-Silva,
Karem A. Sakallah,
K. Sakallah,
1993,
Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.