Janičić, Predrag

Type

Date issued

60 2000 - 2027
1 1901 - 1999

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 41-60 of 61 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2008	XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs	Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan	Book parts	Mp. category will be shown later
2007	GeoThms - a Web System for Euclidean Constructive Geometry	Quaresma, P.; Janičić, Predrag	Article	Mp. category will be shown later
2007	A variant of N-gram based language classification	Tomović, A.; Janičić, Predrag	Article	23M23
2007	Random kappa-GD-SAT model and its phase transition	Vujošević-Janičić, Milena M ; Tomašević, Jelena ; Janičić, Predrag	Article	23M23
2007	Automatic verification of regular constructions in dynamic geometry systems	Janicic, Predrag ; Quaresma, Pedro	Conference Paper	Mp. category will be shown later
2007	Automatic synthesis of decision procedures: A case study of ground and linear arithmetic	Janicic, Predrag ; Bundy, Alan	Article	23M23
2006	GCLC - A tool for constructive euclidean geometry and more than that	Janicic, Predrag	Article	23M23
2006	Integrating dynamic geometry software, deduction systems, and theorem repositories	Quaresma, Pedro; Janicic, Predrag	Article	23M23
2006	Simple characterization of functionally complete one-element sets of propositional connectives	Maksimović, Petar; Janičić, Predrag	Article	22M22
2006	System description: GCLCprover plus GeoThms	Janicic, Predrag ; Quaresma, Pedro	Article	23M23
2006	n-Gram-based classification and unsupervised hierarchical clustering of genome sequences	Tomovic, Andrija; Janicic, Predrag ; Keselj, V	Article	22M22
2005	Logical analysis of hash functions	Jovanovic, Dejan; Janicic, Predrag	Article	23M23
2004	ARGO-LIB: A generic platform for decision procedures	Maric, Filip M ; Janicic, Predrag	Article	22M22
2004	Constructions, instructions, interactions	Djorić, Mirjana ; Janičić, Predrag	Article	Mp. category will be shown later
2003	Learning strategies for mechanised building of decision procedures	Jamnik, M.; Janičić, Predrag	Article	Mp. category will be shown later
2003	WINGCLC - A workbench for formally describing figures	Janičić, Predrag ; Trajković, Ivan	Conference Paper	Mp. category will be shown later
2002	A General Setting for Flexibly Combining and Augmenting Decision Procedures	Janicic, Predrag ; Bundy, Alan	Article	22M22
2001	On different models for generating random SAT problems	Janicic, Predrag ; Dedic, N; Terzic, Goran	Article	23M23
2001	GD-SAT model and crossover line	Janicic, Predrag	Article	22M22
2000	Ugradnja procedura odlučivanja u sisteme za automatsko rezonovanje	Janičić, Predrag	Doctoral theses	70M70