Fintan Fairmichael

	2011
5		Daniel M. Zimmerman, Joseph R. Kiniry, Fintan Fairmichael: Toward instant gradeification. CSEE&T 2011: 406-410
	2010
4		Fintan Fairmichael, Joseph Kiniry: Verified Visualisation of Textual Modelling Languages. ECEASST 36: (2010)
	2009
3		Joseph R. Kiniry, Fintan Fairmichael: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE 2009: 242-261
2		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
1		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

Coauthor Index

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

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