Pregled po projektu: 0037104
Pronađeno 32 radova
-
1.Novaković, VedranFormalna specifikacija i verifikacija softvera, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
-
2.Grden, VilimAlgoritmi za planiranje kretanja na rasterskim kartama, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
-
3.Botinčan, MatkoCompositional 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. str. 258-262 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
4.Botinčan, Matko; Nogo, GorankaAnomalies 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: University Computing Centre, 2006. str. 677-682 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.Manger, RobertComposite path algebras for solving path problems in graphs // Ars Combinatoria, 78 (2006), 1; 101-111 (međunarodna recenzija, članak, znanstveni)
-
6.Perić, JuricaMySQL i aplikacija u C++, 2005., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
-
7.Botinčan, MatkoAsmL Specification and Verification of Lamport's Bakery Algorithm // Journal of Computing and Information Technology - CIT, 13 (2005), 313-319 (podatak o recenziji nije dostupan, članak, znanstveni)
-
8.de Nivelle, Hans; Piskač, RužicaVerification 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. str. 210-219 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
9.Molnar, MirelaJezici za postavljanje upita u relacijskim bazama podataka, 2005., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
-
10.Žmak, MarkoRaspoređivanje poslova na paralelnim strojevima, 2005., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
-
11.Botinčan, MatkoAsmL 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: University Computing Centre, 2005. str. 617-623 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
12.Piskač, RužicaFormal Correctness of Result Checking for Priority Queues, 2005., magistarski rad, Department of Computer Science, Saarbruecken
-
13.Botinčan, MatkoDeskriptivna teorija složenosti: verifikacija modela, 2005., magistarski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
-
14.Manger, RobertSome 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. str. 13-22 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
15.Puljić, Krunoslav; Manger, RobertAn 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. str. 363-368 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
16.Puljić, Krunoslav; Manger, RobertAn 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: University Computing Centre, 2005. str. 507-512 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
17.Manger, RobertComposite semirings and their applications dealing with path problems in graphs // Grazer mathematische Berichte, -348 (2005), 348; 31-40 (podatak o recenziji nije dostupan, članak, znanstveni)
-
18.Botinčan, Matko; Nogo, GorankaOn 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. str. 345-350 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
19.Botinčan, Matko; Manger, RobertA Generic C++ Implementation Of Composite Path Algebras // Proceedings of the 10th International Conference on Operational Research (KOI 2004) / Scitovski, Rudolf ; Jukić Dragan (ur.).
Osijek: Department of Mathematics, University of Osijek, 2005. str. 155 - 164 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
20.Manger, RobertData compression with multilayer perceptrons // Proceedings of the 10th International Conference on Operational Research (KOI 2004) / Scitovski, Rudolf ; Jukić, Dragan (ur.).
Osijek: Department of Mathematics, University of Osijek, 2005. str. 121-130 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
21.Alić, Mladen; Nogo, GorankaOptimizacija: uvod u teoriju nužnih i dovoljnih uvjeta ekstrema
Osijek: Odjel za matematiku Sveučilišta u Osijeku, 2004 -
22.Puljić, KrunoslavEvolucijski algoritmi za problem usmjeravanja vozila, 2004., magistarski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
-
23.Vresk, DamirAproksimacijski algoritmi za NP-teške probleme, 2004., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
-
24.Manger, RobertA 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: University Computing Centre, 2004. str. 657-662 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
25.Botinčan, MatkoA 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: University Computing Centre, 2004. str. 645-650 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
