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

A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs., , and . Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 148-161. Springer, (2012)Project Debater APIs: Decomposing the AI Grand Challenge., , , , and . EMNLP (Demos), page 267-274. Association for Computational Linguistics, (2021)From Surrogacy to Adoption; From Bitcoin to Cryptocurrency: Debate Topic Expansion., , , , , , , , , and . ACL (1), page 977-990. Association for Computational Linguistics, (2019)Quality Improvement Methods for System-Level Stimuli Generation., , , and . ICCD, page 204-206. IEEE Computer Society, (2004)Throughput maximization of real-time scheduling with batching., , , , , and . SODA, page 742-751. ACM/SIAM, (2002)X-Gen: a random test-case generator for systems and SoCs., , , , , , , , and . HLDVT, page 145-150. IEEE Computer Society, (2002)Enhancing Scenario Quality Using Quasi-Events., , and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 17-29. Springer, (2014)Throughput maximization of real-time scheduling with batching., , , , , and . ACM Trans. Algorithms, 5 (2): 18:1-18:17 (2009)Learning microarchitectural behaviors to improve stimuli generation quality., , , and . DAC, page 848-853. ACM, (2011)Automatic Arguments Construction - From Search Engine to Research Engine., , and . AAAI Fall Symposia, AAAI Press, (2016)