×
Compute Distance To:
Author ID: janicic.predrag Recent zbMATH articles by "Janičić, Predrag"
Published as: Janičić, Predrag; Janicic, Predrag
Homepage: http://poincare.matf.bg.ac.rs/~janicic/
External Links: MGP · ORCID · Wikidata · dblp

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 133 times in 73 Documents Cited by Year
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
18
2015
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
16
2012
GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024
Janičić, Predrag
14
2006
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
10
2010
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag
9
2015
A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264
Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
9
2011
GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279
Quaresma, Pedro; Janičić, Predrag
8
2007
Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092
Janičić, Predrag; Quaresma, Pedro
6
2007
Logical analysis of hash functions. Zbl 1171.94351
Jovanović, Dejan; Janičić, Predrag
5
2005
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
4
2012
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
4
2012
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
2010
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
3
2014
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
3
2015
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
3
2006
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
2
2011
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
2
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, 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.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
Euclid – the geometry theorems prover. Zbl 0846.68093
Janičić, Predrag; Kordić, Stevan
1
1995
CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761
Nikolić, Mladen; Janičić, Predrag
1
2012
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
1
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Computer-assisted theorem proving in synthetic geometry. Zbl 1425.68377
Narboux, Julien; Janičić, Predrag; Fleuriot, Jacques
1
2019
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
2
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
18
2015
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag
9
2015
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
3
2015
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
3
2014
The area method. A recapitulation. Zbl 1242.68281
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro
16
2012
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
4
2012
URSA: a system for uniform reduction to SAT. Zbl 1248.68456
Janičić, Predrag
4
2012
CDCL-based abstract state transition system for coherent logic. Zbl 1360.68761
Nikolić, Mladen; Janičić, Predrag
1
2012
A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264
Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
9
2011
Formalization of abstract state transition systems for SAT. Zbl 1237.68179
Marić, Filip; Janičić, Predrag
2
2011
Geometry constructions language. Zbl 1185.68626
Janičić, Predrag
10
2010
URBiVA: uniform reduction to bit-vector arithmetic. Zbl 1291.68361
Marić, Filip; Janičić, Predrag
3
2010
Formal correctness proof for DPLL procedure. Zbl 1209.68514
Marić, Filip; Janičić, Predrag
2
2010
GeoThms – a web system for Euclidean constructive geometry. Zbl 1278.68279
Quaresma, Pedro; Janičić, Predrag
8
2007
Automatic verification of regular constructions in dynamic geometry systems. Zbl 1195.68092
Janičić, Predrag; Quaresma, Pedro
6
2007
GCLC – a tool for constructive Euclidean geometry and more than that. Zbl 1230.51024
Janičić, Predrag
14
2006
Integrating dynamic geometry software, deduction systems, and theorem repositories. Zbl 1188.68264
Quaresma, Pedro; Janičić, Predrag
3
2006
Logical analysis of hash functions. Zbl 1171.94351
Jovanović, Dejan; Janičić, Predrag
5
2005
A general setting for flexibly combining and augmenting decision procedures. Zbl 1003.03012
Janičić, Predrag; Bundy, Alan
4
2002
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
Euclid – the geometry theorems prover. Zbl 0846.68093
Janičić, Predrag; Kordić, Stevan
1
1995
all top 5

Cited by 100 Authors

12 Janičić, Predrag
11 Kovács, Zoltán
8 Recio, Tomas
7 Narboux, Julien
7 Quaresma, Pedro
6 Botana, Francisco
5 Marić, Filip
5 Schreck, Pascal
3 Chen, Xiaoyu
3 Marinković, Vesna
3 Sólyom-Gecse, Csilla
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 Zaikin, Oleg Sergeevich
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 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 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 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 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
1 Wiedijk, Freek
1 Wool, Avishai
1 Wos, Larry
1 Zahradník, Jan

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.