Pregled po CROSBI profilu: Marko Horvat (CROSBI Profil: 724, MBZ: 378280)

Pronađeno 10 radova

Prikaz po CROSBI kategorijama

Radovi u časopisima (5)

Znanstveni i pregledni radovi (5)

Radovi u zbornicima skupova (4)

Znanstveni radovi u zbornicima skupova (4)

Sažeci sa skupova (1)

Sažeci u zbornicima i časopisima (1)

Izvještaj

Kopiraj poveznicu na ovu stranicu

Radovi u časopisima

Znanstveni i pregledni radovi

1.

Čačić, Vedran; Horvat, Marko; Iljazović, Zvonko
Computable subcontinua of semicomputable chainable Hausdorff continua // Theoretical computer science, 892 (2021), 155-169 doi:10.1016/j.tcs.2021.09.018 (međunarodna recenzija, članak, znanstveni)
doi www.sciencedirect.com
2.

Horvat, Marko; Iljazović, Zvonko; Pažek, Bojan
Computability of pseudo-cubes // Annals of pure and applied logic, 171 (2020), 8; 102823, 21 doi:10.1016/j.apal.2020.102823 (međunarodna recenzija, članak, znanstveni)
doi www.sciencedirect.com doi.org
3.

Čačić, Vedran; Doko, Marko; Horvat, Marko
Rearranging absolutely covergent well-ordered series in Banach spaces // Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 23 (2019), 58; 1-11 doi:10.21857/yq32oh4qd9 (međunarodna recenzija, članak, znanstveni)
doi dizbi.hazu.hr
4.

Deshmukh, Jyotirmoy; Horvat, Marko; Jin, Xiaoqing; Majumdar, Rupak; Prabhu, Vinayak S.
Testing Cyber-Physical Systems through Bayesian Optimization // ACM Transactions on Embedded Computing Systems, 16 (2017), 5s; 170, 18 doi:10.1145/3126521 (međunarodna recenzija, članak, znanstveni)
doi dl.acm.org doi.org
5.

Cremers, Cas; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // International Journal of Information Security, 15 (2015), 6; 659-673 doi:10.1007/s10207-015-0306-9 (međunarodna recenzija, članak, znanstveni)
doi link.springer.com doi.org

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

1.

Cremers, Cas; Horvat, Marko; Hoyland, Jonathan; Scott, Sam; van der Merwe, Thyla
A Comprehensive Symbolic Analysis of TLS 1.3 // CCS '17: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
New York (NY): Association for Computing Machinery, 2017. str. 1773-1788 doi:10.1145/3133956.3134063 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi doi.org dl.acm.org
2.

Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication // 2016 IEEE Symposium on Security and Privacy (SP)
San Jose (CA), Sjedinjene Američke Države: Institute of Electrical and Electronics Engineers (IEEE), 2016. str. 470-485 doi:10.1109/sp.2016.35 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi ieeexplore.ieee.org
3.

Basin, David; Cremers, Cas; Horvat, Marko
Actor Key Compromise: Consequences and Countermeasures // 2014 IEEE 27th Computer Security Foundations Symposium
Beč, Austrija: Institute of Electrical and Electronics Engineers (IEEE), 2014. str. 244-258 doi:10.1109/csf.2014.25 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi ieeexplore.ieee.org
4.

Cremers, Cas; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893 / Chen, L. ; Mitchell, C. (ur.).
Cham: Springer, 2014. str. 215-235 doi:10.1007/978-3-319-14054-4_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi link.springer.com doi.org

Sažeci sa skupova

Sažeci u zbornicima i časopisima

1.

Čačić, Vedran; Doko, Marko; Horvat, Marko; Vrgoč, Domagoj
Changing the order of summation for series beyond omega // The Bulletin of Symbolic Logic
Sofija, Bugarska: ASL, 2010. 1, 1 (predavanje, međunarodna recenzija, sažetak, znanstveni)