Immediate Impact
3 standout
Citing Papers
Embracing Causal Complexity
2016 Standout
A survey of autonomic computing—degrees, models, and applications
2008 Standout
Works of Steven Givant being referenced
Introduction to Boolean Algebras
2008
A Formalization of Set Theory Without Variables.
1990
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Steven Givant | 242 | 209 | 50 | 99 | 37 | 413 | |
| J. Donald Monk | 304 | 185 | 99 | 125 | 38 | 422 | |
| Peter Aczel | 270 | 341 | 34 | 85 | 19 | 508 | |
| Erwin Engeler | 242 | 255 | 14 | 63 | 31 | 411 | |
| Benedikt Löwe | 239 | 155 | 24 | 133 | 94 | 450 | |
| Elliott Mendelson | 245 | 235 | 24 | 22 | 29 | 505 | |
| Yuri Matiyasevich | 233 | 148 | 61 | 77 | 52 | 375 | |
| C. Smoryński | 262 | 238 | 40 | 98 | 38 | 455 | |
| Robert Rosebrugh | 144 | 179 | 69 | 124 | 46 | 381 | |
| Roy Dyckhoff | 215 | 317 | 43 | 45 | 35 | 400 | |
| Gonzalo E. Reyes | 183 | 166 | 104 | 153 | 42 | 461 |
All Works
Loading papers...