Immediate Impact
2 standout
Citing Papers
Hetero-Bäcklund transformation, bilinear forms and multi-solitons for a (2＋1)-dimensional generalized modified dispersive water-wave system for the shallow water
2024 Standout
All you need to know about model predictive control for buildings
2020 Standout
Works of Andreas Dolzmann being referenced
REDLOG
1997
Simplification of Quantifier-free Formulae over Ordered Fields
1997
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Andreas Dolzmann | 116 | 67 | 6 | 32 | 4 | 166 | |
| Grigori Litvinov | 215 | 28 | 69 | 21 | 8 | 289 | |
| Rolf Hammer | 133 | 15 | 36 | 5 | 188 | ||
| Matthias Hocks | 128 | 13 | 34 | 3 | 181 | ||
| W. Kühn | 46 | 41 | 155 | 7 | 221 | ||
| M. C. Paull | 128 | 79 | 13 | 6 | 227 | ||
| P. M. Ebert | 67 | 20 | 70 | 6 | 183 | ||
| Chin-Chang Yang | 184 | 250 | 20 | 6 | 296 | ||
| Gideon Ehrlich | 110 | 141 | 9 | 8 | 6 | 282 | |
| Mark C. Hansen | 23 | 31 | 9 | 2 | 227 | ||
| Alongkrit Chutinan | 105 | 27 | 72 | 3 | 166 |
All Works
Loading papers...