Edit Profile Libkin, Leonid O. Compute Distance To: Compute Author ID: libkin.leonid-o Published as: Libkin, L.; Libkin, L. O.; Libkin, Leonid; Libkin, Leonid O. External Links: MGP · Wikidata · dblp · GND Documents Indexed: 117 Publications since 1988, including 9 Books all top 5 Co-Authors 27 single-authored 15 Barceló, Pablo 12 Arenas, Marcelo 12 Wong, Limsoon 9 Benedikt, Michael A. 9 Muchnik, Ilya B. 6 Fan, Wenfei 6 Figueira, Diego 5 Reutter, Juan L. 5 Sirangelo, Cristina 4 Demetrovics, János 4 Gurvich, Vladimir A. 4 Vrgoč, Domagoj 3 De Queiroz, Ruy José Guerra Barretto 3 Dong, Guozhu 3 Kohlenbach, Ulrich Wilhelm 3 Nurmonen, Juha 3 Tan, Tony 2 David, Claire 2 Eiter, Thomas 2 Gheerbrant, Amélie 2 Hella, Lauri 2 Hencsey, Gusztáv 2 Kuper, Gabriel M. 2 Murlak, Filip 2 Segoufin, Luc 2 To, Anthony Widjaja 1 Abadi, Martín 1 Alur, Rajeev 1 Amano, Shun'ichi 1 Biskup, Joachim 1 Chirkova, Rada 1 Chomicki, Jan 1 Cosmadakis, Stavros S. 1 Deng, Ting 1 Etessami, Kousha 1 Fagin, Ronald 1 Fourman, Michael Paul 1 Gottlob, Georg 1 Grädel, Erich 1 Griffin, Timothy G. 1 Grohe, Martin 1 Gunter, Elsa L. 1 Immerman, Neil 1 Kolaitis, Phokion G. 1 Maarten, Marx 1 Martens, Wim 1 Neven, Frank 1 Paredaens, Jan 1 Pfenning, Frank 1 Poggi, Antonella 1 Romero, Miguel 1 Schwentick, Thomas 1 Shvartser, L. V. 1 Spencer, Joel H. 1 Tan, Wang-Chiew 1 Tannen, Val 1 Thalheim, Bernhard 1 Vardi, Moshe Y. 1 Venema, Yde 1 Vianu, Victor 1 Weinstein, Scott 1 Wu, Yinghui all top 5 Serials 12 Journal of the ACM 8 Journal of Computer and System Sciences 6 Theoretical Computer Science 5 Information Processing Letters 5 ACM Transactions on Computational Logic 4 Automation and Remote Control 4 Lecture Notes in Computer Science 4 Logical Methods in Computer Science 3 Acta Cybernetica 3 Algebra Universalis 3 SIAM Journal on Computing 3 Information and Computation 3 Theory of Computing Systems 2 Discrete Mathematics 2 Texts in Theoretical Computer Science. An EATCS Series 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Periodica Mathematica Hungarica 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Soviet Mathematics. Doklady 1 Studia Scientiarum Mathematicarum Hungarica 1 Mathematical Social Sciences 1 Annals of Pure and Applied Logic 1 Journal of Information Processing and Cybernetics 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Logic Journal of the IGPL 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Applied Logic 1 Uporyadochennye Mnozhestva i Reshetki. Ordered Sets and Lattices 1 Frontiers of Computer Science 1 Synthesis Lectures on Data Management all top 5 Fields 96 Computer science (68-XX) 37 Mathematical logic and foundations (03-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 10 General and overarching topics; collections (00-XX) 4 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Operator theory (47-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline