Data and Knowledge Bases
Solving shortest proof games by generating trajectories using the Coq proof management system | |
Marko Maliković, Mirko Čubrilo |
Modeling epistemic actions in dynamic epistemic logic using Coq | |
Marko Maliković, Mirko Čubrilo |
Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic | |
Markus Schatten, Vijayalakshmi Kakulapati, Mirko Čubrilo |
Knowledge management as intrinsic part of the process of implementation of QMS Quality management systems | |
Zoran Cosic |
Education for Information Society
Applying AI-techniques as Help for Faculty Administration - A Case Study | |
Marko Čupić, Marin Golub, Domagoj Jakobović |
The evaluation of the use of online community tool Ning for support of student interaction and learning | |
Goran Bubas, Ana Coric, Tihomir Orehovački |
Information and Communications Technologies
Community oriented system for information aggregation based on a template operated HTML wrapper | |
Ivan Kljaic, Jurica Ševa, Mark Čipčić |
Information addiction and attention deficit disorder in advanced ICT users | |
Igor Tomičić, Ana Ćorić |
Information Systems Security
A framework to (Im)Prove „Chain of Custody“ in Digital Investigation Process | |
Jasmin Cosic, Miroslav Baca |
Student papers (PhD, etc.)
IT Governance and Security of Web Services at Bosnia and Herzegovina Local Level | |
Adis Medić, Jasmin Ćosić |
This work is licensed under a Creative Commons Attribution 3.0 License.
Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.