by Hutchison, David, Kanade, Takeo, Kittler, Josef, Clerc, Maurice, Stutzle, Thomas, Winfield, Alan
Year of Publication 2008

by ESA, Halperin, Dan, Mehlhorn, Kurt
Year of Publication 2008

by Moulton, Vincent, Singh, Mona
Year of Publication 2010

by International Workshop on Mathematics Mechanization, GIAE, Li, Hongbo, Olver, Peter J., Sommer, Gerald
Year of Publication 2005

by Conference on Computability in Europe (4th : 2008 : Athens, Greece), Beckmann, Arnold, Dimitracopoulos, Costas, Löwe, Benedikt
Year of Publication 2008

by International Workshop on Experimental and Efficient Algorithms, Demetrescu, Camil
Year of Publication 2007

by Boztas, Serdar, Lu, Hsiao-feng
Year of Publication 2007

by AAECC, Fossorier, Marc, Imai, Hideki, Lin, Shu, Poli, Alain
Year of Publication 2006