Janicic Predrag,Narboux Julien (2026) Geometry machine revisited, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. , br. , str. - (Article; Early Access) 

Janicic Predrag (2025) Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols, JOURNAL OF AUTOMATED REASONING, vol. 69, br. 4, str. - (Article) 

Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien (2024) Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. , br. 398, str. - (Proceedings Paper) 

Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien (2023) Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 398, br. , str. 21-37 (Proceedings Paper) 

Kovacs Zoltan,Janicic Predrag (2023) Formalization of geometry, automated and interactive geometric reasoning, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. , br. , str. - (Editorial Material; Early Access) 

Janicic Predrag,Narboux Julien (2023) Automated generation of illustrated proofs in geometry and beyond, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 91, br. 6, str. 797-820 (Article) 

Janicic Predrag,Narboux Julien (2022) Theorem Proving as Constraint Solving with Coherent Logic, JOURNAL OF AUTOMATED REASONING, vol. 66, br. 4, str. 689-746 (Article) 

Selakovic Milica,Marinkovic Vesna,Janicic Predrag (2020) New dynamics in dynamic geometry: Dragging constructed points, JOURNAL OF SYMBOLIC COMPUTATION, vol. 97, br. , str. 3-15 (Article) 

Janicic Predrag,Maric Filip M,Malikovic Marko (2019) Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 15, br. 1, str. - (Article) 

Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag (2019) Portfolio theorem proving and prover runtime prediction for geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 85, br. 2-4, str. 119-146 (Article; Proceedings Paper) 

Marinkovic Vesna,Janicic Predrag,Schreck Pascal (2015) Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems, AUTOMATED DEDUCTION IN GEOMETRY, vol. 9201, br. , str. 72-93 (Proceedings Paper) 

Maric Filip M,Janicic Predrag,Malikovic Marko (2015) Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3, AUTOMATED DEDUCTION - CADE-25, vol. 9195, br. , str. 256-271 (Proceedings Paper) 

Stojanovic-Djurdjevic Sana,Narboux Julien,Janicic Predrag (2015) Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 74, br. 3-4, str. 249-269 (Article) 

Botana Francisco,Hohenwarter Markus,Janicic Predrag,Kovacs Zoltan,Petrovic Ivan,Recio Tomas,Weitzhofer Simon (2015) Automated Theorem Proving in GeoGebra: Current Achievements, JOURNAL OF AUTOMATED REASONING, vol. 55, br. 1, str. 39-59 (Article) 

Stojanovic Sana N,Narboux Julien,Bezem Marc,Janicic Predrag (2014) A Vernacular for Coherent Logic, INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, vol. 8543, br. , str. 388-403 (Proceedings Paper) 

Malikovic Marko,Janicic Predrag (2013) Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving, ICGA JOURNAL, vol. 36, br. 2, str. 81-99 (Article) 

Nikolic Mladen,Maric Filip M,Janicic Predrag (2013) Simple algorithm portfolio for SAT, ARTIFICIAL INTELLIGENCE REVIEW, vol. 40, br. 4, str. 457-465 (Article) 

Janicic Predrag (2012) Ursa: a System for Uniform Reduction to Sat, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 8, br. 3, str. - (Article) 

Janicic Predrag,Narboux Julien,Quaresma Pedro (2012) The Area Method A Recapitulation, JOURNAL OF AUTOMATED REASONING, vol. 48, br. 4, str. 489-532 (Article) 

Stojanovic Sana N,Pavlovic Vesna N,Janicic Predrag (2011) A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, AUTOMATED DEDUCTION IN GEOMETRY, vol. 6877, br. , str. 201-220 (Proceedings Paper) 

Maric Filip M,Janicic Predrag (2011) Formalization of Abstract State Transition System for Sat, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 7, br. 3, str. - (Article) 

Maric Filip M,Janicic Predrag (2010) URBiVA: Uniform Reduction to Bit-Vector Arithmetic, AUTOMATED REASONING, vol. 6173, br. , str. 346-352 (Proceedings Paper) 

Maric Filip M,Janicic Predrag (2010) Formal Correctness Proof for DPLL Procedure, INFORMATICA, vol. 21, br. 1, str. 57-78 (Article) 

Janicic Predrag (2010) Geometry Constructions Language, JOURNAL OF AUTOMATED REASONING, vol. 44, br. 1-2, str. 3-24 (Article) 

Nikolic Mladen,Maric Filip M,Janicic Predrag (2009) Instance-Based Selection of Policies for SAT Solvers, THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, vol. 5584, br. , str. 326-340 (Proceedings Paper) 

Janicic Predrag,Quaresma Pedro (2007) Automatic verification of regular constructions in dynamic geometry systems, AUTOMATED DEDUCTION IN GEOMETRY, vol. 4869, br. , str. 39-51 (Proceedings Paper) 

Vujosevic-Janicic Milena M,Tomasevic Jelena,Janicic Predrag (2007) Random kappa-GD-SAT model and its phase transition, JOURNAL OF UNIVERSAL COMPUTER SCIENCE, vol. 13, br. 4, str. 572-591 (Article) 

Janicic Predrag,Bundy Alan (2007) Automatic synthesis of decision procedures: A case study of ground and linear arithmetic, Towards Mechanized Mathematical Assistants, vol. 4573, br. , str. 80-93 (Proceedings Paper) 

Maksimovic Petar,Janicic Predrag (2006) Simple characterization of functionally complete one-element sets of propositional connectives, MATHEMATICAL LOGIC QUARTERLY, vol. 52, br. 5, str. 498-504 (Article) 

Janicic Predrag (2006) GCLC - A tool for constructive euclidean geometry and more than that, MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, vol. 4151, br. , str. 58-73 (Article) 

Janicic Predrag,Quaresma Pedro (2006) System description: GCLCprover plus GeoThms, AUTOMATED REASONING, PROCEEDINGS, vol. 4130, br. , str. 145-150 (Article) 

Quaresma Pedro,Janicic Predrag (2006) Integrating dynamic geometry software, deduction systems, and theorem repositories, MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, vol. 4108, br. , str. 280-294 (Article) 

Tomovic Andrija,Janicic Predrag,Keselj V (2006) n-Gram-based classification and unsupervised hierarchical clustering of genome sequences, COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, vol. 81, br. 2, str. 137-153 (Article) 

Jovanovic Dejan,Janicic Predrag (2005) Logical analysis of hash functions, FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, vol. 3717, br. , str. 200-215 (Article) 

Maric Filip M,Janicic Predrag (2004) ARGO-LIB: A generic platform for decision procedures, AUTOMATED REASONING, PROCEEDINGS, vol. 3097, br. , str. 213-217 (Article) 

Janicic Predrag,Bundy Alan (2002) A general setting for flexibly combining and augmenting decision procedures, JOURNAL OF AUTOMATED REASONING, vol. 28, br. 3, str. 257-305 (Article) 

Janicic Predrag,Dedic N,Terzic Goran (2001) On different models for generating random SAT problems, COMPUTING AND INFORMATICS, vol. 20, br. 5, str. 451-469 (Article) 

Janicic Predrag (2001) GD-SAT model and crossover line, JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, vol. 13, br. 3, str. 181-198 (Article)