Predrag Janicic

	2009
17		Mladen Nikolic, Filip Maric, Predrag Janicic: Instance-Based Selection of Policies for SAT Solvers. SAT 2009: 326-340
	2007
16		Andrija Tomovic, Predrag Janicic: A Variant of N-Gram Based Language Classification. AI*IA 2007: 410-421
15		Predrag Janicic, Alan Bundy: Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. Calculemus/MKM 2007: 80-93
14		Pedro Quaresma, Predrag Janicic: GeoThms - a Web System for Euclidean Constructive Geometry. Electr. Notes Theor. Comput. Sci. 174(2): 35-48 (2007)
13		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		Predrag Janicic, Pedro Quaresma: Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry 2006: 39-51
11		Predrag Janicic: GCLC - A Tool for Constructive Euclidean Geometry and More Than That. ICMS 2006: 58-73
10		Predrag Janicic, Pedro Quaresma: System Description: GCLCprover + GeoThms. IJCAR 2006: 145-150
9		Pedro Quaresma, Predrag Janicic: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM 2006: 280-294
8		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		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		Dejan Jovanovic, Predrag Janicic: Logical Analysis of Hash Functions. FroCos 2005: 200-215
	2004
5		Filip Maric, Predrag Janicic: argo-lib: A Generic Platform for Decision Procedures. IJCAR 2004: 213-217
	2003
4		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		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

Coauthor Index

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

Colors in the list of coauthors