Harry C. Li

	2008
12		Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin: BAR primer. DSN 2008: 287-296
11		Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li: Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD 2008: 1-8
10		Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin: FlightPath: Obedience vs. Choice in Cooperative Services. OSDI 2008: 355-368
	2007
9		Allen Clement, Jeff Napper, Harry C. Li, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin: Theory of BAR games. PODC 2007: 358-359
8		Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi: The Paxos Register. SRDS 2007: 114-126
7		Lorenzo Alvisi, Jeroen Doumen, Rachid Guerraoui, Boris Koldehofe, Harry C. Li, Robbert van Renesse, Gilles Trédan: How robust are gossip-based communication protocols? Operating Systems Review 41(5): 14-18 (2007)
6		Etienne Riviere, Roberto Baldoni, Harry C. Li, José Pereira: Compositional gossip: a conceptual architecture for designing gossip-based applications. Operating Systems Review 41(5): 43-50 (2007)
	2006
5		Harry C. Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, Michael Dahlin: BAR Gossip. OSDI 2006: 191-204
	2005
4		Harry C. Li, Shriram Krishnamurthi, Kathi Fisler: Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12(3): 349-382 (2005)
	2002
3		Harry C. Li, Shriram Krishnamurthi, Kathi Fisler: Interfaces for Modular Feature Verification. ASE 2002: 195-204
2		Harry C. Li, Shriram Krishnamurthi, Kathi Fisler: Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98
1		Harry C. Li, Kathi Fisler, Shriram Krishnamurthi: The Influence of Software Module Systems on Modular Verification. SPIN 2002: 60-78

Coauthor Index

1	Amitanand S. Aiyer	[8]
2	Lorenzo Alvisi	[5] [7] [8] [9] [10] [11] [12]
3	Roberto Baldoni	[6]
4	Allen Clement	[5] [8] [9] [10] [11] [12]
5	Michael Dahlin	[5] [9] [10] [12]
6	Jeroen Doumen	[7]
7	Kathi Fisler	[1] [2] [3] [4]
8	Rachid Guerraoui	[7]
9	Manos Kapritsos	[10]
10	Boris Koldehofe	[7]
11	Shriram Krishnamurthi	[1] [2] [3] [4]
12	Mirco Marchetti	[10]
13	Federico Mari	[11]
14	Jean-Philippe Martin	[9] [12]
15	Igor Melatti	[11]
16	Jeff Napper	[5] [9] [12]
17	José Pereira	[6]
18	Robbert van Renesse	[7]
19	Etienne Riviere	[6]
20	Luke Robison	[10]
21	Indrajit Roy	[5]
22	Ivano Salvo	[11]
23	Gilles Trédan	[7]
24	Enrico Tronci	[11]
25	Edmund L. Wong	[5]

Colors in the list of coauthors