Immediate Impact
1 standout
Citing Papers
Conditional rewriting logic as a unified model of concurrency
1992 Standout
Works of Michael Pfender being referenced
Primitive recursive algebraic theories and program schemes
1977
Universal algebra in S-monoidal categories
1974
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Michael Pfender | 17 | 14 | 3 | 4 | 6 | 28 | |
| Pierre-Évariste Dagand | 21 | 11 | 2 | 6 | 7 | 27 | |
| Yoad Lustig | 22 | 23 | 5 | 5 | 29 | ||
| Chao Wang | 9 | 21 | 3 | 3 | 6 | 31 | |
| Frédéric Vogels | 21 | 16 | 3 | 5 | 21 | ||
| Martijn Oostdijk | 20 | 12 | 3 | 8 | 24 | ||
| Healfdene Goguen | 28 | 18 | 5 | 6 | 30 | ||
| Dan Hirsch | 16 | 9 | 7 | 8 | 25 | ||
| Olli Saarikivi | 13 | 13 | 2 | 7 | 25 | ||
| Russell O’Connor | 27 | 27 | 4 | 2 | 6 | 37 | |
| Patrick M. Rondon | 21 | 10 | 5 | 5 | 26 |
All Works
Loading papers...