Flemming Andersen
发表
Morten Hass,
Flemming Andersen,
Quistgaard Troels,
2012
.
Onur Aciiçmez,
Kris Tiri,
Michael Neve,
2007,
FSE.
Anders B. Rodell,
Flemming Andersen,
Paul Cumming,
2001,
NeuroImage.
Brad Kemp,
Flemming Andersen,
Thomas Levin Klausen,
2011
.
Claus Svarer,
Sune H. Keller,
Oline Vinter Olesen,
2009
.
Kim Dam Petersen,
Flemming Andersen,
Jimmi S. Pettersson,
1994,
TPHOLs.
Kim Dam Petersen,
Flemming Andersen,
Jimmi S. Pettersson,
1993
.
Gaurav Singh,
John Erickson,
Jesse D. Bingham,
2009,
2009 Formal Methods in Computer-Aided Design.
Adnan Aziz,
Jason Baumgartner,
Vigyan Singhal,
2000,
CAV.
Kim Dam Petersen,
Flemming Andersen,
Flemming Andersen,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Kim Dam Petersen,
Flemming Andersen,
Jimmi S. Pettersson,
1993,
HUG.
Flemming Andersen,
Hideaki Watanabe,
Stephen M. Evans,
2001,
NeuroImage.
Kim Dam Petersen,
Ulla Binau,
Flemming Andersen,
1995,
TAPSOFT.