crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima
(037-0362980-2774)

 
 
 
Verzija za printanje   
 
  Izvorni znanstveni i pregledni radovi u CC časopisima
 

1. Rudec, Tomislav; Manger, Robert.
A new approach to solve the k-server problem based on network flows and flow cost reduction. // Computers & operations research. 40 (2013) , 4; 1004-1013 (članak, znanstveni). URL link to workURL link to work

2. Puljić, Krunoslav; Manger, Robert.
A distributed evolutionary algorithm with a superlinear speedup for solving the vehicle routing problem. // Computing and informatics. 31 (2012) , 3; 675-692 (članak, znanstveni). URL link to work

3. Baumgartner, Alfonzo; Rudec, Tomislav; Manger, Robert.
The design and analysis of a modified work function algorithm for solving the on-line k-server problem. // Computing and informatics. 29 (2010) , 4; 681-700 (članak, znanstveni). URL link to work

4. Manger, Robert; Puljić, Krunoslav.
Multilayer perceptrons and data compression. // Computing and Informatics. 26 (2007) , 1; 45-62 (članak, znanstveni).
Vrh
 
  Znanstveni radovi u drugim časopisima
 

1. Puljić, Krunoslav; Manger, Robert.
Comparison of eight evolutionary crossover operators for the vehicle routing problem. // Mathematical communications. 18 (2013) , 2; 359-375 (članak, znanstveni).

2. Rudec, Tomislav; Baumgartner, Alfonzo; Manger, Robert.
A fast work function algorithm for solving the k-server problem. // Central European Journal of Operations Research. 21 (2013) , 1; 187-205 (članak, znanstveni). URL link to work

3. Puljić, Krunoslav.
An evolutionary algorithm based on repeated mutations for solving the capacitated vehicle routing problem. // CIT. Journal of computing and information technology. 20 (2012) , 1; 51-58 (članak, znanstveni).

4. Rudec, Tomislav; Baumgartner, Alfonzo; Manger, Robert.
Measuring True Performance of the Work Function Algorithm for Solving the On-line k-Server Problem. // Journal of Computing and Information Technology - CIT. 18 (2010) , 4; 361-367 (članak, znanstveni).

5. Rudec, Tomislav; Baumgartner, Alfonzo; Manger, Robert.
A fast implementation of the optimal off-line algorithm for solving the k-server problem. // Mathematical communications. 14 (2009) , 1; 123-138 (članak, znanstveni).

6. Botinčan, Matko; Runje, Davor.
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy. // Journal of Computing and Information Technology - CIT. 16 (2008) , 4; 339-344 (članak, znanstveni).

7. Baumgartner, Alfonzo; Manger, Robert; Hocenski, Željko.
Work Function Algorithm with a Moving Window for Solving the On-line k-server Problem. // Journal of Computing and Information Technology - CIT. 15 (2007) , 4; 325-330 (članak, znanstveni).
Vrh
 
  Znanstveni radovi u zbornicima skupova s međunar.rec.
 

1. Botinčan, Matko; Babić, Domagoj.
Sigma*: Symbolic Learning of Input-Output Specifications // Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), 2013 / Gicobazzi, Roberto ; Cousot Radhia (ur.).
New York, USA : ACM, 2012. 443-456 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

2. Botincan, Matko; Dodds, Mike; Jagannathan, Suresh.
Resource-Sensitive Synchronization Inference by Abduction // Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012).
New York : ACM, 2012. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

3. Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Naudziuniene, Daiva; Parkinson, Matthew J.
CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.).
Redmond, WA : Microsoft Research, 2011. 65-77 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

4. Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.
Automatic safety proofs for asynchronous memory operations // Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011) / Cascaval, Colin ; Yew, Pen-Chung (ur.).
New York : ACM, 2011. 313-314 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

5. Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.
Safe Asynchronous Multicore Memory Operations // Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Washington DC : IEEE CS, 2011. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

6. Naudziuniene, Daiva; Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Parkinson, Matthew J.
jStar-eclipse: an IDE for automated verification of Java programs // Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2011) / Gymothy, Tibor ; Zeller, Andreas (ur.).
New York : ACM, 2011. 428-431 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

7. Botinčan, Matko; Glavan, Paola; Runje, Davor.
Verication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009).
Berlin : Springer, 2010. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

8. Rudec, Tomislav; Baumgartner, Alfonzo; Manger, Robert.
Measuring True Performance of the Work Function Algorithm for Solving the On-Line k-Server Problem // Proceedings of the ITI 2010 32nd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ur.).
Zagreb : SRCE, 2010. 695-700 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

9. Botinčan, Matko; Parkinson, Matthew; Schulte, Wolfram.
Separation Logic Verification of C Programs with an SMT Solver // Proceedings of the 4th International Workshop on Systems Software Verification (SSV 09) / Huuck, Ralf ; Klein, Gerwin ; Schlich, Bastian (ur.).
Elsevier, 2009. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). prilozen text rada

10. Botinčan, Matko; Goranka, Nogo.
Anomalies in Distributed Branch-and-Cut Solving of the CVRP with Different Search Strategies // Proceedings of 11th International Conference on Operational Research (KOI 2006 - Pula, Croatia, September 27-29, 2006) / Valter Boljunčić, Luka Neralić and Kristina Šorić (ur.).
Zagreb : Hrvatsko društvo za operacijska istraživanja, 2008. 47-56 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

11. Botinčan, Matko; Runje, Davor.
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy // Proceedings of the 30th International Conference on Information Technology Interfaces (ITI 2008 - Cavtat, Croatia, June 23-26, 2008) / Lužar-Stiffler, Vesna ; Dobić Hljuz, Vesna (ur.).
Zagreb : University Computing Centre, 2008. 925-930 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

12. Manger, Robert.
A catalogue of useful composite semirings for solving path problems in graphs // Proceedings of the 11-th International Conference on Operational Research (KOI 2006 - Pula, Croatia, September 27-29, 2006) / Boljunčić, Valter ; Neralić, Luka ; Šorić, Kristina (ur.).
Zagreb : Hrvatsko društvo za operacijska istraživanja, 2008. 13-23 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

13. Rudec, Tomislav; Manger, Robert.
On the Competitiveness of a Modified Work Function Algorithm for Solving the On-Line k-Server Problem // Proceedings of the 30th International Conference on Information Technology Interfaces (ITI 2008 - Cavtat, Croatia, June 23-26, 2008) / Lužar-Stiffler, Vesna ; Dobrić Hljuz, Vesna ; Bekić, Zoran (ur.).
Zagreb : University Computing Centre, 2008. 779-784 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

14. Baumgartner, Alfonzo; Manger, Robert; Hocenski Željko.
Work function algorithm with a moving window for solving the on-line k-server problem // Proceedings of the 29th International Conference on Information Technology Interfaces (ITI 2007 - Cavtat, Croatia, June 25-28, 2007) / Lužar-Stiffler, Vesna ; Dobić Hljuz, Vesna (ur.).
Zagreb : University Computing Centre, 2007. 507-512 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

15. Baumgartner, Alfonzo; Manger, Robert; Hocenski, Željko.
A network flow implementation of a modified work function algorithm for solving the k-server problem // Proceedings of the 8th International Symposium on Operational Research in Slovenia (SOR'07) / Zadnik Stirn, Lidija ; Drobne, Samo (ur.).
Ljubljana : Slovenian Society Informatika, 2007. 83-90 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

16. Botinčan, Matko; Glavan, Paola; Runje, Davor.
Distributed Algorithms: A Case Study of the Java Memory Model // Proceedings of the ASM'07 - The 14th International ASM Workshop / Andreas Prinz (ur.).
Grimstad, Norway : Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni). URL link to work

17. Botinčan, Matko; Novaković, Vedran.
Model-based Testing of the Conference Protocol with Spec Explorer // Proceedings of the 9th International Conference on Telecommunications ConTEL 2007 / Željka Car, Željka ; Kušek, Mario (ur.).
Zagreb : Faculty of Electrical Engineering and Computing, 2007. 131-138 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

18. Botinčan, Matko; Runje, Davor.
Lock-free Stack and Queue: Java vs .NET // Proceedings of the 29th International Conference on Information Technology Interfaces (ITI 2007 - Cavtat, Croatia, June 25-28, 2007) / Lužar-Stiffler, Vesna ; Dobić Hljuz, Vesna (ur.).
Zagreb : University Computing Centre, 2007. 741-746 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).

19. Botinčan, Matko; Runje, Davor; Vučinović, Albert.
Futures and the Lazy Task Creation for .NET // Proceedings of the 15th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2007).
Split : FESB, University of Split, 2007. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
Vrh
 
  Disertacije
 

1. Rudec, Tomislav.
Brzi algoritmi za rješavanje problema k poslužitelja zasnovani na tokovima u mrežama / doktorska disertacija.
Zagreb : Prirodoslovno-matematički fakultet, Matematički odsjek, 04.04. 2011, 133 str. Voditelj: Manger, Robert.

2. Baumgartner, Alfonzo.
Distribuirani algoritam radne funkcije s pomičnim prozorom za rješavanje problema k poslužitelja / doktorska disertacija.
Osijek : Elektrotehnički fakultet u Osijeku, 10.02. 2010., 108 str. Voditelj: Hocenski, Željko.

3. Puljić, Krunoslav.
Distribuirani evolucijski algoritmi za problem usmjeravanja vozila / doktorska disertacija.
Zagreb : PMF - Matematički odjel, 26.11. 2009, 223 str. Voditelj: Manger, Robert.
Vrh
 
upomoc
foot_4