Subota 27. Travanj 2024
| |
|
|
| |
Udžbenici i skripta
|
| |
|
|
| |
Izvorni znanstveni i pregledni radovi u CC časopisima
|
| |
1. Saiz, Pablo; Aphecetche, Laurent B.; Bunčić, Predrag; Piskač, Ružica; Revsbech Jan-Erik; Šego, Vedran.
AliEn- ALICE environment on the GRID. // Nuclear Instruments and Methods in Physics Research Section A. 502 (2003) , 2-3; 437-440 (članak, znanstveni).
|
2. Manger, Robert.
Solving path problems on a network of computers. // Informatica: an international journal of computing and informatics. 26 (2002) , 1; 91-100 (članak, znanstveni).
|
|
|
|
| |
Znanstveni radovi u drugim časopisima
|
| |
1. Manger, Robert.
Composite path algebras for solving path problems in graphs. // Ars Combinatoria. 78 (2006) , 1; 101-111 (članak, znanstveni).
|
2. Botinčan, Matko.
AsmL Specification and Verification of Lamport's Bakery Algorithm. // Journal of Computing and Information Technology - CIT. 13 (2005) ; 313-319 (članak, znanstveni).
|
3. Manger, Robert.
Composite semirings and their applications dealing with path problems in graphs. // Grazer mathematische Berichte. -348 (2005) , 348; 31-40 (članak, znanstveni).
|
4. Botinčan, Matko.
A Generic C++ Library for Solving Path Problems. // CIT. Journal of computing and information technology. 12 (2004) , 2; 167-173 (članak, znanstveni).
|
5. Manger, Robert; Nogo, Goranka.
Solving Sparse Symmetric Path Problems on a Network of Computers. // Journal of Computing and Information Technology. 11 (2003) , 3; 179-184 (članak, znanstveni).
|
|
|
|
|
| |
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
| |
1. Botinčan, Matko.
Compositional model checking of monadic least fixed point logic // Proceedings of the 7th School on MOdelling and VErifying parallel Processes (MOVEP'06) / F. Cassez, T. Jéron, F. Laroussinie, J.-F. Raskin, M. D. Ryan, G. Sutre (ur.).
Bordeaux : LaBRI, 2006. 258-262 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. Botinčan, Matko; Nogo, Goranka.
Anomalies in Distributed Branch-and-Cut Solving of the Capacitated Vehicle Routing Problem // Proceedings of the 28th International Conference on Information Technology Interfaces (ITI 2006) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2006. 677-682 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
3. Botinčan, Matko.
AsmL Specification and Verification of Lamport's Bakery Algorithm // Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005. 617-623 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
4. Botinčan, Matko; Manger, Robert.
A Generic C++ Implementation Of Composite Path Algebras // Proceedings of the 10th International Conference on Operational Research (KOI 2004) / Scitovski, Rudolf ; Jukić Dragan (ur.).
Osijek : Odjel za matematiku Sveučilišta Josipa Jurja Strossmayera u Osijeku, 2005. 155 - 164 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
5. Botinčan, Matko; Nogo, Goranka.
On Distributed Solving of the Capacitated Vehicle Routing Problem with Branch-and-Cut Algorithms // Proceedings of the 8th International Symposium on Operational Research in Slovenia (SOR '05) / Zadnik Stirn, Lidija ; Drobne, Samo (ur.).
Ljubljana : Slovensko društvo informatika, 2005. 345-350 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
6. de Nivelle, Hans; Piskač, Ružica.
Verification of an Off-Line Checker for Priority-Queues // Proceedings of the 3d IEEE International Conference on Software Engineering and Formal Methods (SEFM) / Schmitt, Peter H ; (ur.).
Los Alamitos (CA) : Institute of Electrical and Electronics Engineers (IEEE), 2005. 210-219 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
7. Manger, Robert.
Data compression with multilayer perceptrons // Proceedings of the 10th International Conference on Operational Research (KOI 2004) / Scitovski, Rudolf ; Jukić, Dragan (ur.).
Osijek : Odjel za matematiku Sveučilišta Josipa Jurja Strossmayera u Osijeku, 2005. 121-130 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
8. Manger, Robert.
Some results dealing with the algebraic approach to path problems in graphs // Proceedings of the 8th International Symposium on Operational Research in Slovenia (SOR '05) / Zadnik Stirn, Lidija ; Drobne, Samo (ur.).
Ljubljana : Slovensko društvo informatika, 2005. 13-22 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
9. Puljić, Krunoslav; Manger, Robert.
An Evolutionary Algorithm with Repeated Mutations for Solving the Vehicle Routing Problem // Proceedings of the 27th International Conference on Information Technology Interfaces (ITI 2005) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005. 507-512 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
10. Puljić, Krunoslav; Manger, Robert.
An improved evolutionary algorithm for solving the vehicle routing problem // Proceedings of the 8th International Symposium on Operational Research in Slovenia (SOR '05) / Zadnik Stirn, Lidija ; Drobne, Samo (ur.).
Ljubljana : Slovensko društvo informatika, 2005. 363-368 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
11. Botinčan, Matko.
A Generic C++ Library for Solving Path Problems // Proceedings of the 26th International Conference on Information Technology Interfaces : ITI 2004 / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2004. 645-650 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
12. Manger, Robert.
A New Path Algebra for Finding Paths in Graphs // Proceedings of the 26th International Conference on Information Technology Interfaces (ITI 2004) / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2004. 657-662 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
13. Manger, Robert; Nogo, Goranka.
Solving sparse symmetric path problems on a network of computers // Proceedings of the 25th International Conference on Information Technology Interfaces (ITI 2003) / Budin, Leo ; Hljuz Dobrić, Vesna (ur.).
Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2003. 657-662 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
| |
Magistarski radovi
|
| |
1. Botinčan, Matko.
Deskriptivna teorija složenosti: verifikacija modela / magistarski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 15.06. 2005.,
130 str. Voditelj: Rosenzweig, Dean ; Vuković, Mladen.
|
2. Piskač, Ružica.
Formal Correctness of Result Checking for Priority Queues / magistarski rad.
Saarbruecken : Department of Computer Science, 03.02. 2005,
60 str. Voditelj: Ganzinger, Harald ; Podelski, Andreas ; de Nivelle, Hans.
|
3. Puljić, Krunoslav.
Evolucijski algoritmi za problem usmjeravanja vozila / magistarski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 25.11. 2004,
159 str. Voditelj: Manger, Robert.
|
|
|
|
|
| |
Diplomski radovi
|
| |
1. Grden, Vilim.
Algoritmi za planiranje kretanja na rasterskim kartama / diplomski rad.
Zagreb : Prirodoslovno-matematički fakultet - Matematički odjel, 10.02. 2006.,
49 str. Voditelj: Manger, Robert.
|
2. Novaković, Vedran.
Formalna specifikacija i verifikacija softvera / diplomski rad.
Zagreb : Prirodoslovno-matematički fakultet - Matematički odjel, 15.05. 2006.,
86 str. Voditelj: Manger, Robert.
|
3. Molnar, Mirela.
Jezici za postavljanje upita u relacijskim bazama podataka / diplomski rad.
Zagreb : Prirodoslovno-matematički fakultet - Matematički odjel, 17.06. 2005.,
62 str. Voditelj: Manger, Robert.
|
4. Perić, Jurica.
MySQL i aplikacija u C++ / diplomski rad.
Zagreb : Prirodoslovno-matematički fakultet - Matematički odjel, 13.07. 2005.,
105 str. Voditelj: Manger, Robert.
|
5. Žmak, Marko.
Raspoređivanje poslova na paralelnim strojevima / diplomski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 30.05. 2005.,
52 str. Voditelj: Manger, Robert.
|
6. Vresk, Damir.
Aproksimacijski algoritmi za NP-teške probleme / diplomski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 22.10. 2004.,
93 str. Voditelj: Manger, Robert.
|
7. Vidović, Ivan.
Upravljanje softverskim projektom / diplomski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 09.09. 2003.,
62 str. Voditelj: Manger, Robert.
|
8. Surjan, Darko.
Decentralizirani razvoj slobodnog softvera preko CVS-a / diplomski rad.
Zagreb : Prirodoslovno matematički fakultet - Matematički odjel, 19.12. 2002.,
54 str. Voditelj: Manger, Robert.
|
|
|
|
|
|
|
|