Follow
Predrag Janicic
Predrag Janicic
Full professor of Computer Science, Faculty of Mathematics, University of Belgrade
Verified email at matf.bg.ac.rs - Homepage
Title
Cited by
Cited by
Year
Automated theorem proving in GeoGebra: Current achievements
F Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ...
Journal of Automated Reasoning 55, 39-59, 2015
1432015
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences
A Tomović, P Janičić, V Kešelj
Computer methods and programs in biomedicine 81 (2), 137-153, 2006
1082006
The area method: a recapitulation
P Janicic, J Narboux, P Quaresma
Journal of Automated Reasoning 48 (4), 489-532, 2012
812012
GCLC—a tool for constructive euclidean geometry and more than that
P Janičić
Mathematical Software-ICMS 2006: Second International Congress on …, 2006
802006
Instance-based selection of policies for SAT solvers
M Nikolić, F Marić, P Janičić
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
622009
Logical analysis of hash functions
D Jovanović, P Janičić
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
592005
Geometry constructions language
P Janičić
Journal of Automated Reasoning 44, 3-24, 2010
572010
System description: Gclcprover+ geothms
P Janicic, P Quaresma
IJCAR, 145-150, 2006
512006
A coherent logic based geometry theorem prover capable of producing formal and readable proofs
S Stojanović, V Pavlović, P Janičić
Automated Deduction in Geometry: 8th International Workshop, ADG 2010 …, 2011
452011
Simple algorithm portfolio for SAT
M Nikolić, F Marić, P Janičić
Artificial Intelligence Review 40 (4), 457-465, 2013
412013
The area method: a recapitulation
P Janičić, J Narboux, P Quaresma
Journal of Automated Reasoning 48 (4), 489-532, 2012
412012
URSA: a system for uniform reduction to SAT
P Janicic
Logical Methods in Computer Science 8, 2012
352012
Geothms—a web system for Euclidean constructive geometry
P Quaresma, P Janičić
Electronic Notes in Theoretical Computer Science 174 (2), 35-48, 2007
322007
Automatic verification of regular constructions in dynamic geometry systems
P Janičić, P Quaresma
Automated Deduction in Geometry: 6th International Workshop, ADG 2006 …, 2007
312007
Constructions, instructions, interactions
M Djorić, P Janičić
Teaching Mathematics and its Applications 23 (2), 69-88, 2004
312004
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry
SS Đurđević, J Narboux, P Janičić
Annals of Mathematics and Artificial Intelligence 74 (3-4), 249-269, 2015
272015
Formalization and implementation of algebraic methods in geometry
F Marić, I Petrović, D Petrović, P Janičić
arXiv preprint arXiv:1202.4831, 2012
272012
Integrating dynamic geometry software, deduction systems, and theorem repositories
P Quaresma, P Janičić
Mathematical Knowledge Management: 5th International Conference, MKM 2006 …, 2006
252006
A general setting for flexibly combining and augmenting decision procedures
P Janičić, A Bundy
Journal of Automated Reasoning 28, 257-305, 2002
242002
Matematicka logika u racunarstvu
P Janicic
Elektronsko izdanje 5 (10), 2008
232008
The system can't perform the operation now. Try again later.
Articles 1–20