Pregled po projektu: 0037104

Pronađeno 32 radova

Prikaz po CROSBI kategorijama

Obrazovni materijali (1)

Ostalo (1)

Radovi u časopisima (7)

Znanstveni i pregledni radovi (7)

Radovi u zbornicima skupova (13)

Znanstveni radovi u zbornicima skupova (13)

Ocjenski radovi (11)

Magistarski radovi (3)

Diplomski radovi (uključujući i diplomske radove starog programa) (8)

Izvještaj

Kopiraj poveznicu na ovu stranicu

Obrazovni materijali

Ostalo

1.

Alić, Mladen; Nogo, Goranka
Optimizacija: uvod u teoriju nužnih i dovoljnih uvjeta ekstrema
Osijek: Odjel za matematiku Sveučilišta u Osijeku, 2004

Radovi u časopisima

Znanstveni i pregledni radovi

1.

Manger, Robert
Composite path algebras for solving path problems in graphs // Ars Combinatoria, 78 (2006), 1; 101-111 (međunarodna recenzija, č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 (podatak o recenziji nije dostupan, članak, znanstveni)
3.

Manger, Robert
Composite 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)
4.

Botinčan, Matko
A Generic C++ Library for Solving Path Problems // CIT. Journal of computing and information technology, 12 (2004), 2; 167-173 (podatak o recenziji nije dostupan, članak, znanstveni)
5.

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 (međunarodna recenzija, članak, znanstveni)
www.sciencedirect.com
6.

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 (podatak o recenziji nije dostupan, članak, znanstveni)
7.

Manger, Robert
Solving path problems on a network of computers // Informatica: an international journal of computing and informatics, 26 (2002), 1; 91-100 (međunarodna recenzija, članak, znanstveni)

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

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. str. 258-262 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), 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: University Computing Centre, 2006. str. 677-682 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
3.

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. str. 210-219 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
4.

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: University Computing Centre, 2005. str. 617-623 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
5.

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. str. 13-22 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
6.

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. str. 363-368 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
7.

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: University Computing Centre, 2005. str. 507-512 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
8.

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. str. 345-350 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
9.

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: Department of Mathematics, University of Osijek, 2005. str. 155 - 164 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
10.

Manger, Robert
Data 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)
11.

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: University Computing Centre, 2004. str. 657-662 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
12.

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: University Computing Centre, 2004. str. 645-650 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), 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: University Computing Centre, 2003. str. 657-662 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Ocjenski radovi

Magistarski radovi

1.

Piskač, Ružica
Formal Correctness of Result Checking for Priority Queues, 2005., magistarski rad, Department of Computer Science, Saarbruecken
2.

Botinčan, Matko
Deskriptivna teorija složenosti: verifikacija modela, 2005., magistarski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
3.

Puljić, Krunoslav
Evolucijski algoritmi za problem usmjeravanja vozila, 2004., magistarski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb

Diplomski radovi (uključujući i diplomske radove starog programa)

1.

Novaković, Vedran
Formalna specifikacija i verifikacija softvera, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
2.

Grden, Vilim
Algoritmi za planiranje kretanja na rasterskim kartama, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
3.

Perić, Jurica
MySQL i aplikacija u C++, 2005., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
4.

Molnar, Mirela
Jezici za postavljanje upita u relacijskim bazama podataka, 2005., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
5.

Žmak, Marko
Raspoređivanje poslova na paralelnim strojevima, 2005., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
6.

Vresk, Damir
Aproksimacijski algoritmi za NP-teške probleme, 2004., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
7.

Vidović, Ivan
Upravljanje softverskim projektom, 2003., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb
8.

Surjan, Darko
Decentralizirani razvoj slobodnog softvera preko CVS-a, 2002., diplomski rad, Prirodoslovno matematički fakultet - Matematički odjel, Zagreb