Edit Profile (opens in new tab) Janičić, Predrag Compute Distance To: Compute Author ID: janicic.predrag Published as: Janičić, Predrag; Janicic, Predrag Homepage: http://poincare.matf.bg.ac.rs/~janicic/ External Links: MGP · ORCID · Wikidata · dblp Documents Indexed: 37 Publications since 1995, including 1 Book 1 Contribution as Editor Co-Authors: 32 Co-Authors with 34 Joint Publications 278 Co-Co-Authors all top 5 Co-Authors 4 single-authored 6 Marić, Filip 6 Marinković, Vesna 5 Narboux, Julien 4 Bundy, Alan 4 Quaresma, Pedro 3 Kovács, Zoltán 3 Schreck, Pascal 2 Green, Ian 2 Maliković, Marko 2 Nikolić, Mladen 2 Stojanović, Sana 1 Bezem, Marc 1 Botana, Francisco 1 Coelho, Lúcio 1 Dedić, Nenad 1 Fleuriot, Jacques D. 1 Geisweiller, Nil 1 Goertzel, Ben 1 Hohenwarter, Markus 1 Jamnik, Mateja 1 Jovanović, Dejan 1 Kordić, Stevan Lj. 1 Maksimović, Petar 1 Mathis, Pascal 1 Pavlović, Vesna 1 Pennachin, Cassio 1 Petrovic, Ivan 1 Recio, Tomas 1 Selaković, Milica 1 Stojanović Đurđević, Sana 1 Terzić, Goran 1 Weitzhofer, Simon all top 5 Serials 5 Journal of Automated Reasoning 3 Logical Methods in Computer Science 2 Annals of Mathematics and Artificial Intelligence 1 Journal of Symbolic Computation 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Mathematical Logic Quarterly (MLQ) 1 Filomat 1 Informatica (Vilnius) 1 Computing and Informatics 1 Forum Geometricorum 1 Mathematics in Computer Science 1 Atlantis Thinking Machines 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 33 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 9 Geometry (51-XX) 1 General and overarching topics; collections (00-XX) 1 Convex and discrete geometry (52-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 146 times in 75 Documents Cited by ▼ Year ▼ Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon 20 2015 The area method. A recapitulation. Zbl 1242.68281Janičić, Predrag; Narboux, Julien; Quaresma, Pedro 19 2012 GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024Janičić, Predrag 14 2006 Geometry constructions language. Zbl 1185.68626Janičić, Predrag 11 2010 A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag 10 2011 GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279Quaresma, Pedro; Janičić, Predrag 10 2007 Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag 9 2015 Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092Janičić, Predrag; Quaresma, Pedro 6 2007 Logical analysis of hash functions. Zbl 1171.94351Jovanović, Dejan; Janičić, Predrag 5 2005 URSA: a system for uniform reduction to SAT. Zbl 1248.68456Janičić, Predrag 5 2012 A vernacular for coherent logic. Zbl 1304.68163Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag 4 2014 A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012Janičić, Predrag; Bundy, Alan 4 2002 Towards understanding triangle construction problems. Zbl 1359.68265Marinković, Vesna; Janičić, Predrag 4 2012 Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032Marinković, Vesna; Janičić, Predrag; Schreck, Pascal 3 2015 Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264Quaresma, Pedro; Janičić, Predrag 3 2006 URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361Marić, Filip; Janičić, Predrag 3 2010 Constructibility classes for triangle location problems. Zbl 1342.51017Schreck, Pascal; Marinković, Vesna; Janičić, Predrag 2 2016 Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques 2 2019 Formal correctness proof for DPLL procedure. Zbl 1209.68514Marić, Filip; Janičić, Predrag 2 2010 Euclid – the geometry theorems prover. Zbl 0846.68093Janičić, Predrag; Kordić, Stevan 2 1995 Formalization of abstract state transition systems for SAT. Zbl 1237.68179Marić, Filip; Janičić, Predrag 2 2011 Wernick’s list: a final update. Zbl 1335.51002Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag 2 2016 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag 1 2019 A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122Janičić, Predrag; Bundy, Alan; Green, Ian 1 1999 A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504Janičić, Predrag; Green, Ian; Bundy, Alan 1 1997 CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761Nikolić, Mladen; Janičić, Predrag 1 2012 Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques 2 2019 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag 1 2019 Constructibility classes for triangle location problems. Zbl 1342.51017Schreck, Pascal; Marinković, Vesna; Janičić, Predrag 2 2016 Wernick’s list: a final update. Zbl 1335.51002Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag 2 2016 Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon 20 2015 Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag 9 2015 Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032Marinković, Vesna; Janičić, Predrag; Schreck, Pascal 3 2015 A vernacular for coherent logic. Zbl 1304.68163Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag 4 2014 The area method. A recapitulation. Zbl 1242.68281Janičić, Predrag; Narboux, Julien; Quaresma, Pedro 19 2012 URSA: a system for uniform reduction to SAT. Zbl 1248.68456Janičić, Predrag 5 2012 Towards understanding triangle construction problems. Zbl 1359.68265Marinković, Vesna; Janičić, Predrag 4 2012 CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761Nikolić, Mladen; Janičić, Predrag 1 2012 A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag 10 2011 Formalization of abstract state transition systems for SAT. Zbl 1237.68179Marić, Filip; Janičić, Predrag 2 2011 Geometry constructions language. Zbl 1185.68626Janičić, Predrag 11 2010 URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361Marić, Filip; Janičić, Predrag 3 2010 Formal correctness proof for DPLL procedure. Zbl 1209.68514Marić, Filip; Janičić, Predrag 2 2010 GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279Quaresma, Pedro; Janičić, Predrag 10 2007 Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092Janičić, Predrag; Quaresma, Pedro 6 2007 GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024Janičić, Predrag 14 2006 Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264Quaresma, Pedro; Janičić, Predrag 3 2006 Logical analysis of hash functions. Zbl 1171.94351Jovanović, Dejan; Janičić, Predrag 5 2005 A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012Janičić, Predrag; Bundy, Alan 4 2002 A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122Janičić, Predrag; Bundy, Alan; Green, Ian 1 1999 A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504Janičić, Predrag; Green, Ian; Bundy, Alan 1 1997 Euclid – the geometry theorems prover. Zbl 0846.68093Janičić, Predrag; Kordić, Stevan 2 1995 all cited Publications top 5 cited Publications all top 5 Cited by 104 Authors 13 Janičić, Predrag 11 Kovács, Zoltán 8 Narboux, Julien 8 Recio, Tomas 7 Quaresma, Pedro 6 Botana, Francisco 5 Marić, Filip 5 Schreck, Pascal 3 Chen, Xiaoyu 3 Marinković, Vesna 3 Sólyom-Gecse, Csilla 3 Zaikin, Oleg Sergeevich 2 Abánades, Miguel Angel 2 Baeta, Nuno 2 Beeson, Michael J. 2 Boutry, Pierre 2 Braun, Gabriel 2 Coghetto, Roland 2 Dyckhoff, Roy 2 Ghilardi, Silvio 2 Grabowski, Adam 2 Kochemazov, Stepan 2 Semenov, Aleksandr Anatol’evich 2 Stojanović Đurđević, Sana 2 Stojanović, Sana 2 Vélez, M. Pilar 2 Wang, Dongming 2 Zhang, Jingzhong 1 Abdesselam, Abdelmalek 1 Abdyldayev, Satbek 1 Armando, Alessandro 1 Banković, Milan 1 Barnes, Janet 1 Bataille, Michel 1 Berger, Ulrich 1 Bertot, Yves 1 Bezem, Marc 1 Blazek, Jiri 1 Braude, Eric John 1 Braun, David J. 1 Cao, Henrik 1 Chapman, Roderick 1 Chen, Mao 1 Chen, Qihang 1 Chipalkatti, Jaydeep V. 1 Ciobâcă, Ştefan 1 Cook, Andrew W. 1 Datta, Pratish 1 Dutta, Ratna 1 Ellis, Bill J. 1 Fleuriot, Jacques D. 1 Génevaux, Jean-David 1 Graziani, Pierluigi 1 Gribanova, Irina 1 Han, Jesse Michael 1 Hašek, Roman 1 Hohenwarter, Markus 1 Ida, Tetsuo 1 Iordache, Viorel 1 Ireland, Andrew 1 Jamnik, Mateja 1 Jiang, Jianguo 1 Kaliszyk, Cezary 1 Kircanski, Aleksandar 1 Kochemazov, S. E. 1 Krueger, Ryan 1 Lafitte, Frederic 1 Lawrence, Andrew 1 Macke, Jaroslav 1 Magaud, Nicolas 1 Mathis, Pascal 1 Mukhopadhyay, Sourav 1 Nakahara, Jorge jun. 1 Negri, Sara 1 Nikolić, Mladen 1 Olšák, Miroslav 1 Oren, Yossef 1 Otpuschennikov, Ilya V. 1 Palmer, Jake E. 1 Pavlović, Vesna 1 Pech, Pavel 1 Peng, Xicheng 1 Petrović, Danijela 1 Petrovic, Ivan 1 Pham, Tuan Minh 1 Ranise, Silvio 1 Santos, Vanda 1 Schmoetten, Richard 1 Sedlář, Jiří 1 Seisenberger, Monika 1 Selaković, Milica 1 Selsam, Daniel 1 Simić, Danijela 1 Sivic, Josef 1 Song, Dan 1 Stojadinović, Mirko 1 Todd, Philip H. 1 Urban, Josef 1 Van Heule, Dirk 1 Weitzhofer, Simon ...and 4 more Authors all top 5 Cited in 16 Serials 12 Journal of Automated Reasoning 9 Annals of Mathematics and Artificial Intelligence 7 Mathematics in Computer Science 6 Journal of Symbolic Computation 3 Constraints 3 Journal of Systems Science and Complexity 2 Formalized Mathematics 1 Theoretical Computer Science 1 Discrete & Computational Geometry 1 The Bulletin of Symbolic Logic 1 Optimization Methods & Software 1 Revista Matemática Complutense 1 Forum Geometricorum 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 ACM Communications in Computer Algebra all top 5 Cited in 10 Fields 59 Computer science (68-XX) 26 Geometry (51-XX) 18 Mathematical logic and foundations (03-XX) 6 Mathematics education (97-XX) 5 Algebraic geometry (14-XX) 5 Information and communication theory, circuits (94-XX) 4 Operations research, mathematical programming (90-XX) 2 Commutative algebra (13-XX) 1 History and biography (01-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.