The SCEAS System
| |||||||

## Search the dblp DataBase
Predrag Janicic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Predrag Janicic, Alan Bundy, Ian Green
**A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.**[Citation Graph (0, 0)][DBLP] CADE, 1999, pp:127-141 [Conf] - Predrag Janicic, Pedro Quaresma
**System Description: GCLCprover + GeoThms.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:145-150 [Conf] - Filip Maric, Predrag Janicic
**argo-lib: A Generic Platform for Decision Procedures.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:213-217 [Conf] - Dejan Jovanovic, Predrag Janicic
**Logical Analysis of Hash Functions.**[Citation Graph (0, 0)][DBLP] FroCos, 2005, pp:200-215 [Conf] - Predrag Janicic
**GCLC - A Tool for Constructive Euclidean Geometry and More Than That.**[Citation Graph (0, 0)][DBLP] ICMS, 2006, pp:58-73 [Conf] - Pedro Quaresma, Predrag Janicic
**Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.**[Citation Graph (0, 0)][DBLP] MKM, 2006, pp:280-294 [Conf] - Predrag Janicic, Nenad Dedic, Goran Terzic
**On Different Models for Generating Random SAT Problems.**[Citation Graph (0, 0)][DBLP] Computers and Artificial Intelligence, 2001, v:20, n:5, pp:- [Journal] - Mateja Jamnik, Predrag Janicic
**Learning Strategies for Mechanised Building of Decision Procedures.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal] - Pedro Quaresma, Predrag Janicic
**GeoThms - a Web System for Euclidean Constructive Geometry.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:35-48 [Journal] - Predrag Janicic, Alan Bundy
**A General Setting for Flexibly Combining and Augmenting Decision Procedures.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:28, n:3, pp:257-305 [Journal] - Petar Maksimovic, Predrag Janicic
**Simple characterization of functionally complete one-element sets of propositional connectives.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2006, v:52, n:5, pp:498-504 [Journal] - Andrija Tomovic, Predrag Janicic, Vlado Keselj
**n-Gram-based classification and unsupervised hierarchical clustering of genome sequences.**[Citation Graph (0, 0)][DBLP] Computer Methods and Programs in Biomedicine, 2006, v:81, n:2, pp:137-153 [Journal] - Andrija Tomovic, Predrag Janicic
**A Variant of N-Gram Based Language Classification.**[Citation Graph (0, 0)][DBLP] AI*IA, 2007, pp:410-421 [Conf] - Predrag Janicic, Alan Bundy
**Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.**[Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:80-93 [Conf] **Automatic Verification of Regular Constructions in Dynamic Geometry Systems.**[Citation Graph (, )][DBLP]**URBiVA: Uniform Reduction to Bit-Vector Arithmetic.**[Citation Graph (, )][DBLP]**Instance-Based Selection of Policies for SAT Solvers.**[Citation Graph (, )][DBLP]
Search in 0.015secs, Finished in 0.015secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |