Daniel Geist
发表
Enrico Tronci,
Daniel Geist,
2003
.
Daniel Geist,
Oded Vaida,
2008,
2008 IEEE International High Level Design Validation and Test Workshop.
Assaf Schuster,
Orna Grumberg,
Daniel Geist,
2000,
CAV.
Daniel Geist,
Barry K. Rosen,
Indira Nair,
1995,
IEEE Trans. Very Large Scale Integr. Syst..
Alan Hartman,
Daniel Geist,
Yaron Wolfsthal,
1999,
DAC '99.
Daniel Geist,
2003,
CHARME.
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001
.
Daniel Geist,
Yaron Wolfsthal,
Younes Lahbib,
2005,
Sixth international symposium on quality electronic design (isqed'05).
Orna Grumberg,
Daniel Geist,
Sagi Katz,
1999,
CHARME.
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
ASICON 2001. 2001 4th International Conference on ASIC Proceedings (Cat. No.01TH8549).
Daniel Geist,
Yoad Lustig,
Ishai Rabinovitz,
2006,
Electron. Notes Theor. Comput. Sci..
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996
.
Daniel Geist,
Ervin Y. Rodin,
E. Rodin,
1992,
Comput. Oper. Res..
Enrico Tronci,
J. van Leeuwen,
Jan van Leeuwen,
2003,
Lecture Notes in Computer Science.
Ilan Beer,
Daniel Geist,
D. Geist,
1994,
CAV.
Daniel Geist,
Sharon Barner,
Anna Gringauze,
2002,
CAV.
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2003,
ASP-DAC '03.
Daniel Geist,
David R. King,
Giora Biran,
1999,
DAC '99.
Assaf Schuster,
Orna Grumberg,
Daniel Geist,
2002,
Formal Methods Syst. Des..
Baruch Schieber,
Ayal Zaks,
Daniel Geist,
2005,
Discret. Appl. Math..
Ilan Beer,
Cindy Eisner,
Daniel Geist,
2001,
Formal Methods Syst. Des..
Shoham Ben-David,
Cindy Eisner,
Daniel Geist,
2003,
Formal Methods Syst. Des..
Michael Yoeli,
Ilan Beer,
Shoham Ben-David,
1994,
CAV.
Daniel Geist,
Michael W. Vannier,
M. Vannier,
1988,
Medical Imaging.
Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
1997,
CAV.
Daniel Geist,
Michael W. Vannier,
M. Vannier,
1989,
Comput. Graph..
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
Proceedings 19th IEEE VLSI Test Symposium. VTS 2001.
Daniel Geist,
Mark Moulin,
Leonid Gluhovsky,
2006,
Intell. Autom. Soft Comput..
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996,
FMCAD.
Daniel Geist,
Yuval Lirov,
1989,
Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics.