ARGO University of Belgrade
Faculty of Mathematics
Home People Research Publications Notes Seminar Events Downloads

Publications

2009

  1. Predrag Janičić: Geometry Construction Language, Journal of Automated Reasoning, 2009. Accepted for publication.
  2. Mladen Nikolić, Filip Marić, Predrag Janičić: Instance Based Selection of Policies for SAT Solvers, In Theory and Applications of Satisfiability Testing, LNCS 5584, pp. 326--340, Springer, 2009.
  3. Filip Marić, Predrag Janičić: Formal Correctness Proof for DPLL Procedure, Informatica, 2009. Accepted for publication (draft version available).
  4. Filip Marić: Formalization and Implementation of Modern SAT Solvers, Journal of Automated Reasoning 43(1), pp.~81--119, Springer, 2009.

2008

  1. Mladen Nikolić. Methodolgy for choosing suitable values of parameters of SAT solvers. Master Thesis, December 2008.
  2. Pedro Quaresma, Predrag Janičić, Jelena Tomašević, Milena Vujošević-Janičić, Dušan Tošić. XML-based Format for Geometry --- XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs. Chapter in Communicating Mathematics in Digital Era, edited by. J. M. Borwein, E. M. Rocha and J. F. Rodrigues, Pages 183 -- 197, 2008.
  3. Jelena Tomašević. XML databases and their applications in lexical resources management. Master Thesis, September 2008.
  4. Milena Vujošević-Janičić. Ensuring Safe Usage of Buffers in Programming Language C. In Proceedings of ICSOFT 2008 --- Third International Conference on Software and Data Technologies, Volume PL/DPS/KE, Pages 29 -- 36, 2008.
  5. Milena Vujošević-Janičić. Automated Detection of Buffer Overflows in Programming Language C. Master Thesis, June 2008.
  6. Milena Vujošvić-Janičić, Filip Marić, Dušan Tošić. Using Simplex Method in Verifying Software Safety. In Proceedings of BALCOR 2007 --- Eight Balkan Conference on Operetional Research, Pages 305 -- 319, 2008.

2007

  1. Predrag Janičić, Pedro Quaresma. Automated Verification of Regular Constructions. Automated Deduction in Geometry, Lecture Notes in Artificial Intelligence, Springer-Verlag, Volume 4869, 2007.
  2. Predrag Janičić, Alan Bundy. Automatic synthesis of decision procedures, Longer version, Corresponding PROLOG code. Calculemus, Springer, Lecture Notes in Artificial Intelligence, Volume 4573, Pages 80 -- 93, 2007.
  3. Pedro Quaresma, Predrag Janičić. GeoThms — a Web System for Euclidean Constructive Geometry, Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006), Electronic Notes in Theoretical Computer Science, Volume 174, Issue 2, Pages 35 -- 48, 15 May 2007.
  4. Andrija Tomović, Predrag Janičić. A Variant of N-gram-based Classification of Languages, AI*IA, Lecture Notes in Artificial Intelligence, Volume 4733, Pages 410 -- 421, 2007.
  5. Milena Vujošević-Janičić, Jelena Tomašević, Predrag Janičić. Random k-GD-SAT Model and its Phase Transition. Journal of Universal Computer Science, Volume 13, Issue 4, Pages 572 -- 591, 2007.

2006

  1. Predrag Janičić. GCLC -- A Tool for Constructive Euclidean Geometry and More than That, Draft vertion. International Congress of Mathematical Software (ICMS 2006), Takayama, Nobuki and Iglesias, Andres and Gutierrez, Jaime, editors. Lecture Notes in Computer Science, Springer-Verlag, Volume 4151, Pages 58 -- 73, 2006.
  2. Predrag Janičić, Pedro Quaresma. System Description: GCLCprover + GeoThms, Draft version. International Joint Conference on Automated Reasoning (IJCAR-2006), Furbach, Ulrich and Shankar, Natarajan, editors. Springer-Verlag, Lecture Notes in Artificial Intelligence, Volume 4130, Pages 145 -- 150, 2006.
  3. Predrag Janičić, Pedro Quaresma. Automatic Verification of Regular Constructions in Dynamic Geometry Systems, Automated Deduction in Geometry, Pages 39 -- 51, 2006.
  4. Petar Maksimović, Predrag Janičić. Simple characterization of functionally complete one-element sets of propositional connectives. Mathematical Logic Quarterly, 52(5), Pages 498 -- 504, 2006.
  5. Miroslav Marić, Sana Stojanović. Adaptation of Edges in a Triangular Mesh. SISY 2006 --- 4th Serbian-Hungarian Joint Symposium on Intelligent Systems, 2006.
  6. Pedro Quaresma, Predrag Janičić. Integrating Dynamic Geometry Software, Draft version. Deduction Systems, and Theorem Repositories, Mathematical Knowledge Management (MKM-2006), Borwein, J.M. and Farmer, W.M, editors. Lecture Notes in Artificial Intelligence, Volume 4108, Springer-Verlag, Pages 280 -- 294, 2006.
  7. Andrija Tomović, Predrag Janičić, Vlado Kešelj. N-gram-based Classification and Unsupervised Hierarchical Clustering of Genome Sequences, Draft version. Computer Methods and Programs in Biomedicine, Elsevier, Volume 8, Issue 2, Pages 137 -- 153, 2006.

2005

  1. Dejan Jovanović, Predrag Janičić. Logical Analysis of Hash Functions. Frontiers of Combining Systems (FroCoS), Springer, Lecture Notes in Artificial Intelligence, Volume 3717, Pages 200 -- 215, 2005.

2004

  1. Mirjana Đorić, Predrag Janičić. Constructions, Instructions, Interactions, Teaching Mathematics and its Applications, Draft version. Oxford University Press, Volume 23, Issue 2, Pages 69 -- 88, 2004.
  2. Filip Marić, Predrag Janičić. SMT-LIB in XML clothes, Longer version. Proceedings of the 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2004), Dublin, July 2004.
  3. Filip Marić, Predrag Janičić. ARGO-LIB: A Generic Platform for Decision Procedures. IJCAR-04, Springer, Lecture Notes in Artificial Intelligence, Volume 3097, Pages 213 -- 217, 2004.
  4. Filip Marić, Borovčanin Momčilo, Miroslav Marić. Quantifier elimination in fields. ETRAN, 2004.