|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
|
|
|
Znanstveni radovi u drugim časopisima
|
|
1. 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).
|
2. 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).
|
3. 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).
|
4. Botinčan, Matko; Runje, Davor.
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy. // CIT. Journal of computing and information technology. 16 (2008) , 4; 339-344 (članak, znanstveni).
|
5. 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).
|
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
1. 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 (NY) : The Association for Computing Machinery (ACM), 2012. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. 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).
|
3. 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 (NY) : The Association for Computing Machinery (ACM), 2011. 313-314 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
4. 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 (MD) : IEEE CS, 2011. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
5. 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 (NY) : The Association for Computing Machinery (ACM), 2011. 428-431 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
6. 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).
|
7. 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 : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2010. 695-700 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
8. 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).
|
9. 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 (CRORS), 2008. 47-56 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
10. 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 : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2008. 925-930 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
11. 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 (CRORS), 2008. 13-23 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
12. 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 : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2008. 779-784 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
13. 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 : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2007. 507-512 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
14. 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 : Slovensko društvo informatika, 2007. 83-90 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
15. 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 : Agder University College, Faculty of Engineering and Science, ICT Department, 2007. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
16. 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 : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2007. 131-138 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
17. 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 : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2007. 741-746 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
18. 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 : Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 2007. (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Disertacije
|
|
|
|
|
|