Author of the publication

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.

 

Other publications of authors with the same name

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization., , , , , , , , , and 31 other author(s). CoRR, (2020)TIGRIS: An Informed Sampling-based Algorithm for Informative Path Planning., , and . IROS, page 5760-5766. IEEE, (2022)Enabling Binary Neural Network Training on the Edge., , , , , , , , and . EMDL@MobiSys, page 37-38. ACM, (2021)System interconnect design exploration for embedded MPSoCs., , , , , and . SLIP, page 1-8. IEEE Computer Society, (2011)Explaining Memorization and Generalization: A Large-Scale Study with Coherent Gradients., , and . CoRR, (2020)Learning and Memorization.. ICLR (Workshop), OpenReview.net, (2018)Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics., and . Formal Methods Syst. Des., 40 (2): 147-169 (2012)Verifying Deadlock-Freedom of Communication Fabrics., , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 214-231. Springer, (2011)Boolean factoring and decomposition of logic networks., , and . ICCAD, page 38-44. IEEE Computer Society, (2008)Reducing structural bias in technology mapping., , , , and . ICCAD, page 519-526. IEEE Computer Society, (2005)