Author

Dov M. Gabbay

Observed names: D Gabbay, D M Gabbay, D M Gabbay*, D. GABBAY, D. Gabbay, D. M Gabbay, D. M. GABBAY, D. M. Gabbay, D., Gabbay, D.M Gabbay, D.M. GABBAY, D.M. Gabbay, DM Gabbay, DOV GABBAY, DOV M. GABBAY, Dov Gabbay, Dov Gabbay (icstm, Dov Gabbay Karl, Dov M Gabbay, Dov M. Gabbay Γ, Dov. M. Gabbay, GABBAY D., GABBAY D. M., GABBAY, Dov M., Gabbay D.M., Gabbay DM, Gabbay Dov, Gabbay Dov M., Gabbay, D, Gabbay, D M, Gabbay, D., Gabbay, D. M., Gabbay, D.M., Gabbay, Dov, Gabbay, Dov M, Gabbay, Dov M., Gabbay, Dov M. 1945-, Gabbay, Dov Null, Gabbay, M., The Dov Gabbay
ORCID: 0009-0005-5465-5584
Observed ORCID: 0009-0005-5465-5584
OpenAlex ID: A5110890716
2002 · D. M. Gabbay, F. Guenthner · Springer eBooks · 1,008
1993 · Dov M. Gabbay, C. J. Hogger, et al. · Oxford University Press eBooks · 887
1980 · Dov Gabbay, Amir Pnueli, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 731
1994 · A.C.W. Finkelstein, D. Gabbay, et al. · IEEE Transactions on Software Engineering · 537
1992 · Dov M Gabbay · 423
2001 · Kempson, Ruth M, Meyer-Viol, W, et al. · Research Portal (King's College London) · 370
1985 · D. M. Gabbay · Springer eBooks · 338
1996 · Dov M Gabbay · 337
2010 · Philippe Smets, Dov M. Gabbay · Dialnet (Universidad de la Rioja) · 333
1994 · Dov M. Gabbay, Ian Hodkinson, et al. · Oxford University Press eBooks · 322
1999 · Marcello D’Agostino, Dov M. Gabbay, et al. · Springer eBooks · 298
2003 · Dov M. Gabbay, John Woods · ˜A œpractical logic of cognitive systems · 295
1989 · Dov Gabbay · Lecture notes in computer science · 274
2009 · Martin W. A. Caminada, Dov M. Gabbay · Studia Logica · 270
1983 · D. Gabbay, F. Guenthner · Springer eBooks · 268
1981 · Dov M. Gabbay · Springer eBooks · 237
2008 · Gabbay, Dov M., Wooldridge, M. J, et al. · Cognitive technologies · 233
2001 · A.S d'Avila Garcez, K Broda, et al. · Artificial Intelligence · 217
2004 · Dov M. Gabbay, John Woods · 201
2008 · George Metcalfe, Nicola Olivetti, et al. · Applied logic series · 195
1992 · Marcelo Finger, Dov M. Gabbay · Journal of Logic Language and Information · 191
1998 · D. Gabbay · Logic Journal of IGPL · 188
1984 · D.M. Gabbay, U. Reyle · The Journal of Logic Programming · 170
2008 · Artur S. d’Avila Garcez, Luís C. Lamb, et al. · Cognitive technologies · 164
Works count: 1,147
Citation count: 19,460
H-index: 65
I10-index: 277
Year
Topic
Type