Tony Andrews

2004
3	EE	Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
2	EE	Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
2001
1	EE	Bimal Metha, Marc Levy, Greg Meredith, Tony Andrews, Brian Beckman, Johannes Klein, Amit Mital: BizTalk Server 2000 Business Process Orchestration. IEEE Data Eng. Bull. 24(1): 35-39 (2001)

Coauthor Index

1	Brian Beckman	[1]
2	Johannes Klein	[1]
3	Marc Levy	[1]
4	Greg Meredith	[1]
5	Bimal Metha	[1]
6	Amit Mital	[1]
7	Shaz Qadeer	[2] [3]
8	Sriram K. Rajamani	[2] [3]
9	Jakob Rehof	[3]
10	Yichen Xie	[2] [3]

Colors in the list of coauthors