Dmitry Korchemny

	2006
2		Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar: Deterministic Dynamic Monitors for Linear-Time Assertions. FATES/RV 2006: 163-177
	2005
1		Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884

Coauthor Index

1	Roy Armoni	[1] [2]
2	Sergey Egorov	[1]
3	Ranan Fraer	[1]
4	Andreas Tiemeyer	[2]
5	Moshe Y. Vardi	[1] [2]
6	Yael Zbar	[2]