Dermot Cochran

	2009
3		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
	2006
2		Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262
1		Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers: Formal techniques in a remote voting system. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)

Coauthor Index

1	Patrice Chalin	[2]
2	Julien Charles	[3]
3	Fintan Fairmichael	[2] [3]
4	Radu Grigore	[3]
5	Viliam Holub	[3]
6	Engelbert Hubbers	[1] [2]
7	Mikolás Janota	[3]
8	Joseph Kiniry (Joseph R. Kiniry)	[1] [2] [3]
9	Alan E. Morkan	[1] [2]
10	Martijn Oostdijk	[1] [2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page