Predrag Janicic

	2012
26		Predrag Janicic, Julien Narboux, Pedro Quaresma: The Area Method - A Recapitulation. J. Autom. Reasoning 48(4): 489-532 (2012)
	2011
25		Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic: Formalization and Implementation of Algebraic Methods in Geometry THedu'11 2011: 63-81
24		Mladen Nikolic, Filip Maric, Predrag Janicic: Simple Algorithm Portfolio for SAT CoRR abs/1107.0268: (2011)
23		Filip Maric, Predrag Janicic: Formalization of Abstract State Transition Systems for SAT Logical Methods in Computer Science 7(3): (2011)
	2010
22		Sana Stojanovic, Vesna Pavlovic, Predrag Janicic: A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. Automated Deduction in Geometry 2010: 201-220
21		Filip Maric, Predrag Janicic: URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR 2010: 346-352
20		Predrag Janicic: Uniform Reduction to SAT CoRR abs/1012.1255: (2010)
19		Filip Maric, Predrag Janicic: Formal Correctness Proof for DPLL Procedure. Informatica, Lith. Acad. Sci. 21(1): 57-78 (2010)
18		Predrag Janicic: Geometry Constructions Language. J. Autom. Reasoning 44(1-2): 3-24 (2010)
	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): 174-189 (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] [19] [21] [23] [24] [25]
9	Julien Narboux	[26]
10	Mladen Nikolic	[17] [24]
11	Vesna Pavlovic	[22]
12	Danijela Petrovic	[25]
13	Ivan Petrovic	[25]
14	Pedro Quaresma	[9] [10] [12] [14] [26]
15	Sana Stojanovic	[22]
16	Goran Terzic	[2]
17	Jelena Tomasevic	[13]
18	Andrija Tomovic	[8] [16]
19	Milena Vujosevic-Janicic	[13]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page