( en | de | ru )

 

Disambiguation of "Rossi, André"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of gate-level arithmetic circuits by function extraction.

, , , , and . DAC, page 52:1-52:6. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adelheid Rossi

Marcus Rossi

Gabriela Rossi

Rainer Rossi

Davide Rossi

 

Other publications of authors with the same name

A component-based approach for conveying systems control design., , , and . ICINCO-SPSMC, page 329-338. INSTICC Press, (2007)Towards Effective Exact Algorithms for the Maximum Balanced Biclique Problem., , and . CoRR, (2017)Verification of gate-level arithmetic circuits by function extraction., , , , and . DAC, page 52:1-52:6. ACM, (2015)Properties and Exact Solution Approaches for the Minimum Cost Dominating Tree Problem., , and . ICDCIT, volume 10722 of Lecture Notes in Computer Science, page 3-26. Springer, (2018)A new upper bound based on Dantzig-Wolfe decomposition to maximize the stability radius of a simple assembly line under uncertainty., , and . Eur. J. Oper. Res., 313 (3): 1015-1030 (March 2024)On the Cover Scheduling Problem in Wireless Sensor Networks., , , and . INOC, volume 6701 of Lecture Notes in Computer Science, page 657-668. Springer, (2011)Algebraic approach to arithmetic design verification., , , and . FMCAD, page 67-71. FMCAD Inc., (2011)A genetic algorithm based exact approach for lifetime maximization of directional sensor networks., and . Ad Hoc Networks, 11 (3): 1006-1021 (2013)New heuristics for two bounded-degree spanning tree problems., , and . Inf. Sci., (2012)Spatial and temporal robustness for scheduling a target tracking mission using wireless sensor networks., , and . Comput. Oper. Res., (2021)