1. Research with MATF

Janičić, Predrag

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Janičić, Predrag
Variants
Janičić, P.
Janicic, P.
Janicic, Predrag
 
Main Affiliation
 
Email
predrag.janicic@matf.bg.ac.rs
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

639
checked on Nov 25, 2025

Works indexed in
SCOPUSTM

46
checked on Nov 25, 2025

Publications

Results 1-14 of 14 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
122-Jan-2024Automated Completion of Statements and Proofs in Synthetic Geometry: An Approach based on Constraint SolvingGonzalez, Salwa Tabet; Janičić, Predrag ; Narboux, JulienM33
22022Programiranje 2 - osnove programiranja kroz programski jezik CJaničić, Predrag ; Marić, Filip 
330-Dec-2021Automated Generation of Illustrations for Synthetic Geometry ProofsJaničić, Predrag ; Narboux, JulienM33
42021Veštačka inteligencijaJaničić, Predrag ; Nikolić, Mladen 
52016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
62016Geometrisation of GeometryJaničić, Predrag M33
717-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag M33
817-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
92012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
102011Automated Reasoning: Some Successes and New ChallengesJaničić, Predrag M31
1110-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
122010Geometry Tools GCLC and WinGCLCJaničić, Predrag M33
131-Jan-2006GCLC - A tool for constructive euclidean geometry and more than thatJaničić, Predrag M33
141-Jan-2006Integrating dynamic geometry software, deduction systems, and theorem repositoriesQuaresma, Pedro; Janičić, Predrag M33