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

Episodic Memory Deep Q-Networks., , , and . IJCAI, page 2433-2439. ijcai.org, (2018)Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement., , , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 457-461. Springer, (2004)Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation., and . CP, volume 2470 of Lecture Notes in Computer Science, page 200-215. Springer, (2002)Vigilante: End-to-end containment of Internet worm epidemics., , , , , , and . ACM Trans. Comput. Syst., 26 (4): 9:1-9:68 (2008)OpEvo: An Evolutionary Method for Tensor Operator Optimization., , , and . CoRR, (2020)FlexSaaS: A Reconfigurable Accelerator for Web Search Selection., , , , , , , , and . ACM Trans. Reconfigurable Technol. Syst., 12 (1): 5:1-5:20 (2019)Joint optimization of resource allocation and computation offloading based on game coalition in C-V2X., , , and . Ad Hoc Networks, (November 2023)Socksdirect: datacenter sockets can be fast and compatible., , , , and . SIGCOMM, page 90-103. ACM, (2019)Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver., , , , and . DAC, page 747-750. ACM, (2002)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , and . ICCAD, page 286-292. IEEE Computer Society, (2001)