Immediate Impact
3 standout
Citing Papers
When Software Security Meets Large Language Models: A Survey
2025 Standout
The DLV system for knowledge representation and reasoning
2006 Standout
Works of Cristinel Mateis being referenced
Modeling Java programs for diagnosis
2000
The KR system dlv: progress report, comparisons and benchmarks
1998
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Cristinel Mateis | 29 | 109 | 41 | 41 | 14 | 150 | |
| Erik Meijer | 39 | 150 | 38 | 64 | 8 | 173 | |
| Jay McCarthy | 20 | 79 | 30 | 36 | 13 | 101 | |
| Edwin Brady | 19 | 128 | 24 | 85 | 12 | 154 | |
| Yoshihiko Futamura | 29 | 120 | 55 | 62 | 11 | 173 | |
| Benjamin Goldberg | 42 | 120 | 37 | 93 | 19 | 169 | |
| Pavol Černý | 53 | 74 | 41 | 71 | 17 | 144 | |
| Samin Ishtiaq | 36 | 124 | 20 | 87 | 10 | 150 | |
| Nikos Gorogiannis | 35 | 146 | 29 | 46 | 19 | 182 | |
| Jérôme Vouillon | 71 | 143 | 22 | 82 | 12 | 184 | |
| Mahadevan Ganapathi | 63 | 127 | 72 | 37 | 17 | 236 |
All Works
Login with ORCID to disown or claim papers
Loading papers...