Edit Profile (opens in new tab) Kunčar, Ondřej Compute Distance To: Compute Author ID: kuncar.ondrej Published as: Kunčar, Ondřej Documents Indexed: 9 Publications since 2011 Co-Authors: 17 Co-Authors with 8 Joint Publications 234 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Popescu, Andrei 1 Biendarra, Julian 1 Blanchette, Jasmin Christian 1 Bouzy, Aymeric 1 Desharnais, Martin 1 Fleury, Mathias 1 Haftmann, Florian 1 Hölzl, Johannes 1 Huffman, Brian 1 Krauss, Alexander 1 Lochbihler, Andreas 1 Meier, Fabian 1 Nipkow, Tobias 1 Panny, Lorenz 1 Sternagel, Christian 1 Thiemann, René 1 Traytel, Dmitry Serials 2 Journal of Automated Reasoning Fields 9 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 102 times in 70 Documents Cited by ▼ Year ▼ Lifting and transfer: a modular design for quotients in Isabelle/HOL. Zbl 1426.68284Huffman, Brian; Kunčar, Ondřej 36 2013 Data refinement in Isabelle/HOL. Zbl 1317.68212Haftmann, Florian; Krauss, Alexander; Kunčar, Ondřej; Nipkow, Tobias 24 2013 A consistent foundation for Isabelle/HOL. Zbl 1433.68556Kunčar, Ondřej; Popescu, Andrei 11 2015 Comprehending Isabelle/HOL’s consistency. Zbl 1485.68285Kunčar, Ondřej; Popescu, Andrei 10 2017 From types to sets by local type definition in higher-order logic. Zbl 1468.68295Kunčar, Ondřej; Popescu, Andrei 7 2019 Foundational (co)datatypes and (co)recursion for higher-order logic. Zbl 1495.68238Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy 6 2017 A consistent foundation for Isabelle/HOL. Zbl 1465.68289Kunčar, Ondřej; Popescu, Andrei 5 2019 From types to sets by local type definitions in higher-order logic. Zbl 1468.68294Kunčar, Ondřej; Popescu, Andrei 2 2016 Proving valid quantified Boolean formulas in HOL Light. Zbl 1342.68291Kunčar, Ondřej 1 2011 From types to sets by local type definition in higher-order logic. Zbl 1468.68295Kunčar, Ondřej; Popescu, Andrei 7 2019 A consistent foundation for Isabelle/HOL. Zbl 1465.68289Kunčar, Ondřej; Popescu, Andrei 5 2019 Comprehending Isabelle/HOL’s consistency. Zbl 1485.68285Kunčar, Ondřej; Popescu, Andrei 10 2017 Foundational (co)datatypes and (co)recursion for higher-order logic. Zbl 1495.68238Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy 6 2017 From types to sets by local type definitions in higher-order logic. Zbl 1468.68294Kunčar, Ondřej; Popescu, Andrei 2 2016 A consistent foundation for Isabelle/HOL. Zbl 1433.68556Kunčar, Ondřej; Popescu, Andrei 11 2015 Lifting and transfer: a modular design for quotients in Isabelle/HOL. Zbl 1426.68284Huffman, Brian; Kunčar, Ondřej 36 2013 Data refinement in Isabelle/HOL. Zbl 1317.68212Haftmann, Florian; Krauss, Alexander; Kunčar, Ondřej; Nipkow, Tobias 24 2013 Proving valid quantified Boolean formulas in HOL Light. Zbl 1342.68291Kunčar, Ondřej 1 2011 all cited Publications top 5 cited Publications all top 5 Cited by 94 Authors 9 Lochbihler, Andreas 8 Traytel, Dmitry 7 Nipkow, Tobias 7 Popescu, Andrei 5 Divasón, Jose 5 Foster, Simon 4 Immler, Fabian 4 Kaliszyk, Cezary 4 Kunčar, Ondřej 4 Thiemann, René 3 Aransay, Jesús 3 Blanchette, Jasmin Christian 3 Lammich, Peter 3 Paulson, Lawrence Charles 3 Schneider, Joshua P. 3 Woodcock, James C. P. 3 Yamada, Akihisa 3 Zeyda, Frank 2 Bundy, Alan 2 Cavalcanti, Ana 2 Fürer, Basil 2 Gauthier, Thibault 2 Grov, Gudmund 2 Joosten, Sebastiaan J. C. 2 Marić, Filip 2 Pąk, Karol 2 Pease, Alison 2 Raggi, Daniel 2 Roßkopf, Simon 2 Struth, Georg 2 Traut, Christoph 2 Wenzel, Makarius 1 Abdulaziz, Mohammad 1 Armstrong, Alasdair 1 Avigad, Jeremy 1 Basin, David A. 1 Blot, Arthur 1 Bordg, Anthony 1 Boutry, Pierre 1 Bouzy, Aymeric 1 Brown, Chad Edward 1 Brunner, Julian 1 Canham, Samuel 1 Carneiro, Mario M. 1 Dagand, Pierre-Evariste 1 Dunne, Ciarán 1 Fleuriot, Jacques D. 1 Fleury, Mathias 1 Freitas, Leo 1 Gengelbach, Arve 1 Gheri, Lorenzo 1 Gomes, Victor B. F. 1 Grossman, Dan 1 Guttmann, Walter 1 Hanrot, Guillaume 1 Hirata, Michikazu 1 Hölzl, Johannes 1 Hudon, Simon 1 Kamareddine, Fairouz D. 1 Lawall, Julia L. 1 Leo, John W. 1 Li, Wenda 1 Maletzky, Alexander 1 Martin-Dorel, Érik 1 Mayero, Micaela 1 Mehlhorn, Kurt 1 Minamide, Yasuhiko 1 Momigliano, Alberto 1 Palmer, Jake E. 1 Petrović, Danijela 1 Pientka, Brigitte 1 Potanin, Alex 1 Pous, Damien 1 Rädle, Jonas 1 Ringer, Talia 1 Runge, Tobias 1 Sangiorgi, Davide 1 Sato, Tetsuya 1 Schaefer, Ina 1 Schlichtkrull, Anders 1 Schmoetten, Richard 1 Sefidgar, S. Reza 1 Seidl, Benedikt 1 Sickert, Salomon 1 Simić, Danijela 1 Stevens, Lukas 1 Théry, Laurent 1 Thibodeau, David 1 Thiele, Bernhard 1 Thüm, Thomas 1 Waldmann, Uwe 1 Weber, Tjark 1 Wells, Joe B. 1 Yazdani, Nathaniel all top 5 Cited in 13 Serials 22 Journal of Automated Reasoning 3 Formal Aspects of Computing 2 Journal of Symbolic Computation 2 Journal of Functional Programming 1 Theoretical Computer Science 1 Journal of Cryptology 1 MSCS. Mathematical Structures in Computer Science 1 Experimental Mathematics 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning all top 5 Cited in 18 Fields 69 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 6 Numerical analysis (65-XX) 4 Commutative algebra (13-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Number theory (11-XX) 2 Algebraic geometry (14-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year