@inproceedings{Vujosevic-Janicic:FADO08,
	author = "Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c",
	title = "Ensuring Safe Usage of Buffers in Programming Language C",
	editor = "Cordeiro, J. and Shishkov, B. and Ranchordas, A. and Helfert, M.",
	pages = "29--36",
	publisher = "Institute for Systems and Technologies of Information, Control and Communication --- INSTICC", 
	year = "2008",
	volume = "PL-DPS-KE",
	booktitle = "Proceedings of Third International Conference on Software and Data Technologies --- ICSOFT 2008",
	isbn = "978-989-8111-51-7"
}



@mastersthesis{Vujosevic-Janicic:MSCFADO08,
	author = "Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c",
	title = "Autoamted Detection of Buffer Overflows in Programming Language C",
	school = "University of Belgrade, Serbia",
	month = "June",
	year = "2008"
}




@inproceedings{Vujosevic-Janicic:USMVSS07,
	author = "Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Filip Mari\'c and Du\v{s}an To\v{s}i\'c",
	title = "Using Simplex Method in Verifying Software Safety",
	pages = "305--319",
	year = "2008",
	isbn = "978-86-7680-143-5",
	booktitle = "Proceedings of BALCOR 2007 --- Eight Balkan Conference on Operetional Research"
}





@Article{Vujosevic-Janicic:jucs_13_4:random_k_gd_sat,
  author =     "Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Jelena Toma\v{s}evi\'c and Predrag Jani\v{c}i\'c",
  title =      "Random k-GD-Sat Model and its Phase Transition",
  abstract =   "We present a new type of sat problem called the   k-GD-SAT, which generalizes   k-sat and GD-sat. In k-GD-SAT,   clause lengths have geometric distribution, controlled by a   probability parameter p; for p   = 1, a k-GD-SAT problem is a   k-SAT problem. We report on the phase transition   between satisfiability and unsatisfiability for randomly generated   instances of k-GD-SAT. We provide theoretical   analysis and experimental results suggesting that there is an   intriguing relationship (linear in the parameter   1/p) between crossover points for different   parameters of k-GD-SAT. We also consider a   relationship between crossover points for k-SAT   and k-GD-SAT and provide links between these   values.",
  journal =    "Journal of Universal Computer Science",
  year =       "2007",
  volume =     "13",
  number =     "4",
  pages =      "572--591",
  date =       "2007-04-28",
  month =      "apr",
  note =       "\url|http://www.jucs.org/jucs_13_4/random_k_gd_sat|"
}





@incollection{Quaresma_Janicic:cmde:XMLBFG,
	author = "Qaresma Pedro and Jani\v{c}i\'c Predrag and Jelena Toma\v{s}evi\'c and Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Du\v{s}an To\v{s}i\'c",
	title = "XML-Based Format for Geometry",
	pages = "183--197",
	year = "2008",
	booktitle = "Communicating Mathematics in the Digital Era",
	isbn = "978-1-56881-410-0",
	editor = "Borwein, J. M. and Rocha, E. M. and Rodrigues, J. F.",
	publisher = "AK-Peters, LTD, Wellesley, Massachusetts"
}




@article{Vujosevic-Janicic:tm_XI_2:programming_paradigms,
	author = "Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Du\v{s}an To\v{s}i\'c",
	title = "The Role of Programming Paradigms in the First Programming Courses",
	jornal = "The Teaching of Mathematics",
	year   = "2008",
	issue = "XI_2",
	pages = "63-83",
	note = http://elib.mi.sanu.ac.rs/pages/browse_issue.php?db=tm&rbr=1
}