Immediate Impact
12 standout
Citing Papers
The Oracle Problem in Software Testing: A Survey
2014 Standout
Semantic trajectories modeling and analysis
2013 Standout
Works of Jacques Loeckx being referenced
Specification of abstract data types
1996
Automata, Languages and Programming
1974
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Jacques Loeckx | 213 | 203 | 28 | 36 | 15 | 269 | |
| B. A. Trakhtenbrot | 185 | 150 | 36 | 24 | 12 | 273 | |
| Yoram Hirshfeld | 198 | 159 | 14 | 41 | 16 | 229 | |
| R.J. vanGlabbeek | 263 | 221 | 56 | 42 | 10 | 314 | |
| Wiesław Zielonka | 256 | 191 | 40 | 33 | 9 | 293 | |
| Paul Gastin | 287 | 222 | 27 | 40 | 42 | 318 | |
| Danièle Beauquier | 176 | 104 | 14 | 19 | 22 | 215 | |
| Benjamin Rossman | 101 | 119 | 64 | 23 | 19 | 209 | |
| Yaacov Choueka | 125 | 158 | 11 | 22 | 15 | 232 | |
| J. Hartmanis | 265 | 171 | 35 | 13 | 18 | 329 | |
| Alexandre Riazanov | 112 | 230 | 39 | 27 | 14 | 295 |
All Works
Loading papers...