Edit Profile (opens in new tab) Zohar, Yoni Co-Author Distance Author ID: zohar.yoni Published as: Zohar, Yoni Documents Indexed: 26 Publications since 2014 Co-Authors: 36 Co-Authors with 26 Joint Publications 442 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Barrett, Clark W. 8 Lahav, Ori 8 Tinelli, Cesare 7 Reynolds, Andrew 6 Sheng, Ying 4 Niemetz, Aina 4 Preiner, Mathias 4 Ringeissen, Christophe 3 Kamide, Norihiro 3 Nötzli, Andres 2 Dill, David L. 2 Fontaine, Pascal 2 Grieskamp, Wolfgang 2 Lange, Jane 2 Marcos, João 2 Ozdemir, Alex 2 Park, Junkil 2 Qadeer, Shaz 2 Zamansky, Anna 1 Avron, Arnon 1 Barbosa, Haniel 1 Brown, Kristopher 1 Cohen, Liron 1 Donovick, Caleb 1 Guman, Allison 1 Irfan, Ahmed 1 Kremer, Gereon 1 Lachnitt, Hanna 1 Mann, Makai 1 Rowe, Reuben N. S. 1 Schmidt, Renate A. 1 Stuntz, Lindsey 1 Tishkovsky, Dmitry 1 Viswanathan, Arjun 1 Viteri, Scott 1 Wilson, Amalee all top 5 Serials 4 Journal of Automated Reasoning 2 Journal of Logic and Computation 1 Studia Logica 1 Annals of Pure and Applied Logic 1 Logic Journal of the IGPL 1 ACM Transactions on Computational Logic 1 Logica Universalis 1 The Review of Symbolic Logic Fields 15 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 40 times in 34 Documents Cited by ▼ Year ▼ Yet another paradefinite logic: the role of conflation. Zbl 1494.03067Kamide, Norihiro; Zohar, Yoni 7 2018 SAT-based decision procedure for analytic pure sequent calculi. Zbl 1433.03025Lahav, Ori; Zohar, Yoni 6 2014 Rexpansions of nondeterministic matrices and their applications in nonclassical logics. Zbl 07063885Avron, Arnon; Zohar, Yoni 4 2019 DRAT-based bit-vector proofs in CVC4. Zbl 1441.68235Ozdemir, Alex; Niemetz, Aina; Preiner, Mathias; Zohar, Yoni; Barrett, Clark 3 2019 Politeness for the theory of algebraic datatypes. Zbl 07614516Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Lange, Jane; Fontaine, Pascal; Barrett, Clark 3 2020 Towards automated reasoning in Herbrand structures. Zbl 1444.03158Cohen, Liron; Rowe, Reuben N. S.; Zohar, Yoni 2 2019 Sequent systems for negative modalities. Zbl 1420.03044Lahav, Ori; Marcos, João; Zohar, Yoni 2 2017 Modal extension of ideal paraconsistent four-valued logic and its subsystem. Zbl 1459.03024Kamide, Norihiro; Zohar, Yoni 2 2020 Towards bit-width-independent proofs in SMT solvers. Zbl 07178987Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Zohar, Yoni; Barrett, Clark; Tinelli, Cesare 2 2019 Politeness and stable infiniteness: stronger together. Zbl 07437077Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 2 2021 From the subformula property to cut-admissibility in propositional sequent calculi. Zbl 1444.03162Lahav, Ori; Zohar, Yoni 1 2018 It ain’t necessarily so: basic sequent systems for negative modalities. Zbl 1400.03047Lahav, Ori; Marcos, João; Zohar, Yoni 1 2016 On the construction of analytic sequent calculi for sub-classical logics. Zbl 1429.03191Lahav, Ori; Zohar, Yoni 1 2014 Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi. Zbl 1475.68454Zohar, Yoni; Zamansky, Anna 1 2016 Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic. Zbl 1481.03010Kamide, Norihiro; Zohar, Yoni 1 2020 Flexible proof production in an industrial-strength SMT solver. Zbl 07628179Barbosa, Haniel; Reynolds, Andrew; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Nötzli, Andres; Ozdemir, Alex; Preiner, Mathias; Viswanathan, Arjun; Viteri, Scott; Zohar, Yoni; Tinelli, Cesare; Barrett, Clark 1 2022 Reasoning about vectors using an SMT theory of sequences. Zbl 07628185Sheng, Ying; Nötzli, Andres; Reynolds, Andrew; Zohar, Yoni; Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Barrett, Clark; Tinelli, Cesare 1 2022 Flexible proof production in an industrial-strength SMT solver. Zbl 07628179Barbosa, Haniel; Reynolds, Andrew; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Nötzli, Andres; Ozdemir, Alex; Preiner, Mathias; Viswanathan, Arjun; Viteri, Scott; Zohar, Yoni; Tinelli, Cesare; Barrett, Clark 1 2022 Reasoning about vectors using an SMT theory of sequences. Zbl 07628185Sheng, Ying; Nötzli, Andres; Reynolds, Andrew; Zohar, Yoni; Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Barrett, Clark; Tinelli, Cesare 1 2022 Politeness and stable infiniteness: stronger together. Zbl 07437077Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare 2 2021 Politeness for the theory of algebraic datatypes. Zbl 07614516Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Lange, Jane; Fontaine, Pascal; Barrett, Clark 3 2020 Modal extension of ideal paraconsistent four-valued logic and its subsystem. Zbl 1459.03024Kamide, Norihiro; Zohar, Yoni 2 2020 Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic. Zbl 1481.03010Kamide, Norihiro; Zohar, Yoni 1 2020 Rexpansions of nondeterministic matrices and their applications in nonclassical logics. Zbl 07063885Avron, Arnon; Zohar, Yoni 4 2019 DRAT-based bit-vector proofs in CVC4. Zbl 1441.68235Ozdemir, Alex; Niemetz, Aina; Preiner, Mathias; Zohar, Yoni; Barrett, Clark 3 2019 Towards automated reasoning in Herbrand structures. Zbl 1444.03158Cohen, Liron; Rowe, Reuben N. S.; Zohar, Yoni 2 2019 Towards bit-width-independent proofs in SMT solvers. Zbl 07178987Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Zohar, Yoni; Barrett, Clark; Tinelli, Cesare 2 2019 Yet another paradefinite logic: the role of conflation. Zbl 1494.03067Kamide, Norihiro; Zohar, Yoni 7 2018 From the subformula property to cut-admissibility in propositional sequent calculi. Zbl 1444.03162Lahav, Ori; Zohar, Yoni 1 2018 Sequent systems for negative modalities. Zbl 1420.03044Lahav, Ori; Marcos, João; Zohar, Yoni 2 2017 It ain’t necessarily so: basic sequent systems for negative modalities. Zbl 1400.03047Lahav, Ori; Marcos, João; Zohar, Yoni 1 2016 Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi. Zbl 1475.68454Zohar, Yoni; Zamansky, Anna 1 2016 SAT-based decision procedure for analytic pure sequent calculi. Zbl 1433.03025Lahav, Ori; Zohar, Yoni 6 2014 On the construction of analytic sequent calculi for sub-classical logics. Zbl 1429.03191Lahav, Ori; Zohar, Yoni 1 2014 all cited Publications top 5 cited Publications all top 5 Cited by 54 Authors 10 Zohar, Yoni 7 Barrett, Clark W. 7 Kamide, Norihiro 6 Reynolds, Andrew 6 Tinelli, Cesare 4 Sheng, Ying 4 Zamansky, Anna 3 Caleiro, Carlos 3 Ciabattoni, Agata 3 Niemetz, Aina 3 Preiner, Mathias 3 Ringeissen, Christophe 2 Avron, Arnon 2 Cohen, Liron 2 Lahav, Ori 2 Marcelino, Sérgio 2 Nötzli, Andres 2 Spendier, Lara 1 Arieli, Ofer 1 Barbosa, Haniel 1 Cai, Shaowei 1 Chemla, Emmanuel 1 Dill, David L. 1 Égré, Paul 1 Filipe, Pedro 1 Fontaine, Pascal 1 Fu, Yu-Fu 1 Grieskamp, Wolfgang 1 Konikowska, Beata 1 Kremer, Gereon 1 Lachnitt, Hanna 1 Lang, Timo 1 Lange, Jane 1 Li, Bohan 1 Liu, Jiaxiang 1 Marcos, João 1 Olarte, Carlos 1 Ozdemir, Alex 1 Park, Junkil 1 Pimentel, Elaine 1 Qadeer, Shaz 1 Ramanayake, Revantha 1 Rocha, Camilo 1 Rowe, Reuben N. S. 1 Shi, Xiaomu 1 Standefer, Shawn 1 Tsai, Ming-Hsien 1 Viganò, Luca 1 Viswanathan, Arjun 1 Viteri, Scott 1 Wang, Bow-Yaw 1 Woltzenlogel Paleo, Bruno 1 Yang, Bo-Yin 1 Zhang, Xindi all top 5 Cited in 12 Serials 4 Journal of Automated Reasoning 4 Logica Universalis 2 Journal of Philosophical Logic 2 Studia Logica 2 ACM Transactions on Computational Logic 1 Information Sciences 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 The Review of Symbolic Logic 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 24 Mathematical logic and foundations (03-XX) 19 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) Citations by Year