Flavio M. de Paula
发表
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2008,
2008 Ninth International Workshop on Microprocessor Test and Verification.
Alan J. Hu,
Flavio M. de Paula,
2006,
2006 IEEE International High Level Design Validation and Test Workshop.
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2008,
2008 Formal Methods in Computer-Aided Design.
Sandip Ray,
Flavio M. de Paula,
Shobha Vasudevan,
2018,
DAC.
Flavio M. de Paula,
J. Huang,
Alessandra M. Passarotti,
2007,
NeuroImage.
Gaurav Singh,
Flavio M. de Paula,
John Erickson,
2010,
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.
Flavio M. de Paula,
Brad Bingham,
Arvind Haran,
2019,
Innovations in Systems and Software Engineering.
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2012,
CAV.
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2012,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Alan J. Hu,
André Ivanov,
Andreas G. Veneris,
2012,
GLSVLSI '12.
Flavio M. de Paula,
Brad Bingham,
Arvind Haran,
2018,
NFM.
Alan J. Hu,
Flavio M. de Paula,
2007,
2007 44th ACM/IEEE Design Automation Conference.