Radu Grigore

	2009
5		Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210
4		Mikolás Janota, João Marques-Silva, Radu Grigore: Algorithms for finding dispensable variables CoRR abs/0910.0013: (2009)
3		Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva: How to Complete an Interactive Configuration Process? CoRR abs/0910.3913: (2009)
	2007
2		Mikolás Janota, Radu Grigore, Michal Moskal: Reachability analysis for annotated code. SAVCBS 2007: 23-30
1		Radu Grigore, Michal Moskal: Edit and verify CoRR abs/0708.0713: (2007)

Coauthor Index

1	Goetz Botterweck	[3]
2	Julien Charles	[5]
3	Dermot Cochran	[5]
4	Fintan Fairmichael	[5]
5	Viliam Holub	[5]
6	Mikolás Janota	[2] [3] [4] [5]
7	Joseph Kiniry (Joseph R. Kiniry)	[5]
8	Michal Moskal	[1] [2]
9	João P. Marques Silva (João Marques-Silva)	[3] [4]