Eyal Bin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CP | Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. | Erez Bilgory, Eyal Bin, Avi Ziv |
| 2011 | ICDCS | Guaranteeing High Availability Goals for Virtual Machine Placement. | Eyal Bin, Ofer Biran, Odellia Boni, Erez Hadad, Elliot K. Kolodner, Yosef Moatti, Dean H. Lorenz |
| 2010 | SEKE | Ontology-Based Tools in the Service of Hardware Verification. | Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko |
| 2005 | DAC | A generic micro-architectural test plan approach for microprocessor verification. | Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet |
| 2002 | AAAI | Generating Random Solutions for Constraint Satisfaction Problems. | Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek |