Pregled po CROSBI profilu: Matko Botinčan (CROSBI Profil: 25841, MBZ: 267251)

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 (NY): ACM, 2012. str. 443-456 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), 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 (NY): ACM, 2012. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

3.

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, cjeloviti rad (in extenso), znanstveni)

4.

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): ACM, 2011. str. 428-431 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

5.

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

6.

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): ACM, 2011. str. 313-314 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), 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, cjeloviti rad (in extenso), znanstveni)

8.

Botinčan, Matko; Bujanović, Zvonimir; Jelaska, Igor; Karaga, Maja

Mreže računala, 2009. (podatak o recenziji nije dostupan, ostalo).

web.math.hr

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.).
Aachen, Njemačka: Elsevier, 2009. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Pristup cjelovitom tekstu rada

10.

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 (podatak o recenziji nije dostupan, članak, 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. str. 925-930 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

12.

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

13.

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, cjeloviti rad (in extenso), znanstveni)

14.

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, cjeloviti rad (in extenso), znanstveni)

ikt.hia.no

15.

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. str. 741-746 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), 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. str. 131-138 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

17.

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)

18.

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)

19.

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)

20.

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)

21.

Botinčan, Matko

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

22.

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)

23.

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)

24.

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)

25.

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)