D. Geist
发表
Daniel Geist,
Sharon Barner,
Anna Gringauze,
2002,
CAV.
Alan Hartman,
Daniel Geist,
Yaron Wolfsthal,
1999,
DAC '99.
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996
.
G. Biran,
D. Geist,
T. Arons,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
O. Grumberg,
D. Geist,
A. Schuster,
2022
.
D. Geist,
M. Benjamin,
J. Dushina,
2003,
Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003..
Assaf Schuster,
Orna Grumberg,
Daniel Geist,
2002,
Formal Methods Syst. Des..
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
ASICON 2001. 2001 4th International Conference on ASIC Proceedings (Cat. No.01TH8549).
Ilan Beer,
Cindy Eisner,
Daniel Geist,
2001,
Formal Methods Syst. Des..
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Daniel Geist,
Mike Benjamin,
Julia Dushina,
2001,
Proceedings 19th IEEE VLSI Test Symposium. VTS 2001.
Orna Grumberg,
Daniel Geist,
Sagi Katz,
1999,
CHARME.
Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
1997,
CAV.
Avner Landver,
Daniel Geist,
Yossi Lichtenstein,
1996,
FMCAD.
Ilan Beer,
Daniel Geist,
D. Geist,
1994,
CAV.
Michael Yoeli,
Ilan Beer,
Shoham Ben-David,
1994,
CAV.
Enrico Tronci,
J. van Leeuwen,
Jan van Leeuwen,
2003,
Lecture Notes in Computer Science.
D. Geist,
Y. Wolfsthal,
R. Armoni,
1995,
Eighteenth Convention of Electrical and Electronics Engineers in Israel.
D. Geist,
A. Hartman,
Y. Wolfsthal,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
Daniel Geist,
Yaron Wolfsthal,
Younes Lahbib,
2005,
Sixth international symposium on quality electronic design (isqed'05).