dblp.uni-trier.dewww.uni-trier.de

Predrag Janicic Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EEMladen Nikolic, Filip Maric, Predrag Janicic: Instance-Based Selection of Policies for SAT Solvers. SAT 2009: 326-340
2007
16EEAndrija Tomovic, Predrag Janicic: A Variant of N-Gram Based Language Classification. AI*IA 2007: 410-421
15EEPredrag Janicic, Alan Bundy: Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93
14EEPedro Quaresma, Predrag Janicic: GeoThms - a Web System for Euclidean Constructive Geometry. Electr. Notes Theor. Comput. Sci. 174(2): 35-48 (2007)
13EEMilena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic: Random k-GD-Sat Model and its Phase Transition. J. UCS 13(4): 572-591 (2007)
2006
12EEPredrag Janicic, Pedro Quaresma: Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry 2006: 39-51
11EEPredrag Janicic: GCLC - A Tool for Constructive Euclidean Geometry and More Than That. ICMS 2006: 58-73
10EEPredrag Janicic, Pedro Quaresma: System Description: GCLCprover + GeoThms. IJCAR 2006: 145-150
9EEPedro Quaresma, Predrag Janicic: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM 2006: 280-294
8EEAndrija 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)
7EEPetar Maksimovic, Predrag Janicic: Simple characterization of functionally complete one-element sets of propositional connectives. Math. Log. Q. 52(5): 498-504 (2006)
2005
6EEDejan Jovanovic, Predrag Janicic: Logical Analysis of Hash Functions. FroCos 2005: 200-215
2004
5EEFilip Maric, Predrag Janicic: argo-lib: A Generic Platform for Decision Procedures. IJCAR 2004: 213-217
2003
4EEMateja 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
1EEPredrag Janicic, Alan Bundy, Ian Green: A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. CADE 1999: 127-141

Coauthor Index

1Alan Bundy [1] [3] [15]
2Nenad Dedic [2]
3Ian Green [1]
4Mateja Jamnik [4]
5Dejan Jovanovic [6]
6Vlado Keselj [8]
7Petar Maksimovic [7]
8Filip Maric [5] [17]
9Mladen Nikolic [17]
10Pedro Quaresma [9] [10] [12] [14]
11Goran Terzic [2]
12Jelena Tomasevic [13]
13Andrija Tomovic [8] [16]
14Milena Vujosevic-Janicic [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)