Henri Fraisse

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 7

Top Topics

Boolean Satisfiability

Top Venues

Publications

Paolo D'Alberto, Abhishek Kumar Jain, Ismail Bustany, Henri Fraisse, Mansimran Benipal
SpMV). CoRR (2023)
Henri Fraisse, Mathias Lé, David Thesmar
The Real Effects of Bank Capital Requirements. Manag. Sci. 66 (1) (2020)
Abhishek Kumar Jain, Hossein Omidian, Henri Fraisse, Mansimran Benipal, Lisa Liu, Dinesh Gaitonde
A Domain-Specific Architecture for Accelerating Sparse Matrix Vector Multiplication on FPGAs. FPL (2020)
Chirag Ravishankar, Henri Fraisse, Dinesh Gaitonde
SAT Based Place-And-Route for High-Speed Designs on 2.5D FPGAs. FPT (2018)
Henri Fraisse, Dinesh Gaitonde
A SAT-based Timing Driven Place and Route Flow for Critical Soft IP. FPL (2018)
Henri Fraisse, Abhishek Joshi, Dinesh Gaitonde, Alireza Kaviani
Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network. FPGA (2016)
Ilya Ganusov, Henri Fraisse, Aaron Ng, Rafael Trapani Possignolo, Sabya Das
Automated extra pipeline analysis of applications mapped to Xilinx UltraScale+ FPGAs. FPL (2016)
Elias Vansteenkiste, Alireza Kaviani, Henri Fraisse
Analyzing the divide between FPGA academic and commercial results. FPT (2015)
Olivier Coudert, Jean Christophe Madre, Henri Fraisse
A New Viewpoint on Two-Level Logic Minimization. DAC (1993)