Immediate Impact

2 standout

Citing Papers

Personnel scheduling: A literature review
2012 Standout
SCIP: solving constraint integer programs
2009 Standout
2 intermediate papers

Works of Gil Shurek being referenced

Constraint-Based Random Stimuli Generation for Hardware Verification
2007
Test program generation for functional verification of PowerPC processors in IBM
1995

Author Peers

Author Last Decade Papers Cites
Gil Shurek 26 71 25 41 39 5 104
Michael Vinov 11 60 15 39 32 6 92
Allon Adir 22 58 17 25 19 7 75
Steven Tjiang 40 105 54 29 21 4 133
P. Tirumalai 49 89 20 17 18 7 118
Lal George 35 78 39 18 25 5 95
E. Goldberg 13 30 32 27 58 6 77
Andrew Piziali 21 70 10 25 23 4 90
Friedhelm Stappert 16 60 19 23 25 6 89
Stanislaw Budkowski 41 43 36 54 59 6 125
Fong Pong 63 78 25 11 42 6 106

All Works

Loading papers...

Rankless by CCL
2026