| 2007 |
|---|
| 16 | EE | Andrija Tomovic,
Predrag Janicic:
A Variant of N-Gram Based Language Classification.
AI*IA 2007: 410-421 |
| 15 | EE | Predrag Janicic,
Alan Bundy:
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Calculemus/MKM 2007: 80-93 |
| 14 | EE | Pedro Quaresma,
Predrag Janicic:
GeoThms - a Web System for Euclidean Constructive Geometry.
Electr. Notes Theor. Comput. Sci. 174(2): 35-48 (2007) |
| 13 | EE | Milena Vujosevic-Janicic,
Jelena Tomasevic,
Predrag Janicic:
Random k-GD-Sat Model and its Phase Transition.
J. UCS 13(4): 572-591 (2007) |
| 2006 |
|---|
| 12 | EE | Predrag Janicic,
Pedro Quaresma:
Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
Automated Deduction in Geometry 2006: 39-51 |
| 11 | EE | Predrag Janicic:
GCLC - A Tool for Constructive Euclidean Geometry and More Than That.
ICMS 2006: 58-73 |
| 10 | EE | Predrag Janicic,
Pedro Quaresma:
System Description: GCLCprover + GeoThms.
IJCAR 2006: 145-150 |
| 9 | EE | Pedro Quaresma,
Predrag Janicic:
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
MKM 2006: 280-294 |
| 8 | EE | Andrija Tomovic,
Predrag Janicic,
Vlado Keselj:
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences.
Computer Methods and Programs in Biomedicine 81(2): 137-153 (2006) |
| 7 | EE | Petar Maksimovic,
Predrag Janicic:
Simple characterization of functionally complete one-element sets of propositional connectives.
Math. Log. Q. 52(5): 498-504 (2006) |
| 2005 |
|---|
| 6 | EE | Dejan Jovanovic,
Predrag Janicic:
Logical Analysis of Hash Functions.
FroCos 2005: 200-215 |
| 2004 |
|---|
| 5 | EE | Filip Maric,
Predrag Janicic:
argo-lib: A Generic Platform for Decision Procedures.
IJCAR 2004: 213-217 |
| 2003 |
|---|
| 4 | EE | Mateja Jamnik,
Predrag Janicic:
Learning Strategies for Mechanised Building of Decision Procedures.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2002 |
|---|
| 3 | | Predrag Janicic,
Alan Bundy:
A General Setting for Flexibly Combining and Augmenting Decision Procedures.
J. Autom. Reasoning 28(3): 257-305 (2002) |
| 2001 |
|---|
| 2 | | Predrag Janicic,
Nenad Dedic,
Goran Terzic:
On Different Models for Generating Random SAT Problems.
Computers and Artificial Intelligence 20(5): (2001) |
| 1999 |
|---|
| 1 | EE | Predrag Janicic,
Alan Bundy,
Ian Green:
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.
CADE 1999: 127-141 |
