E-LIB Suche - Ergebnisse für: Köhler, Mirko

1

Smart Contracts for Political Transparency: A Blockchain Ap..:

, In: 2024 23rd International Symposium INFOTEH-JAHORINA (INFOTEH),

Svarcmajer, Miljenko ; Kohler, Mirko ; Lukic, Ivica - p. 1-6 , 2024

2

Safe Combination of Data-Centric and Operation-Centric Cons..:

, In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Köhler, Mirko ; Salvaneschi, Guido - p. 65-67 , 2023

Link: https://dl.acm.org/doi/1..

3

Microcontroller-Based PUF for Identity Authentication and T..:

Vinko, Davor ; Miličević, Kruno ; Lukić, Ivica.
Sensors. 23 (2023) 15 - p. 6769 , 2023

Link: https://doi.org/10.3390/..

4

Trust Model Concept for IoT Blockchain Applications as Part..:

Miličević, Kruno ; Omrčen, Luka ; Kohler, Mirko.
Sensors. 22 (2022) 13 - p. 4708 , 2022

Link: https://doi.org/10.3390/..

5

Possible Blockchain Solutions According to a Smart City Dig..:

Lukić, Ivica ; Miličević, Kruno ; Köhler, Mirko.
Applied Sciences. 12 (2022) 11 - p. 5552 , 2022

Link: https://doi.org/10.3390/..

6

Organization of a Digital Voting System Based on Blockchain..:

, In: 31st International Conference on Organization and Technology of Maintenance (OTO 2022); Lecture Notes in Networks and Systems,

Köhler, Mirko ; Švarcmajer, Miljenko ; Lukić, Ivica. - p. 25-36 , 2022

Link: https://doi.org/10.1007/..

7

Mobile Application for Mentoring Graduation Theses:

, In: 30th International Conference on Organization and Technology of Maintenance (OTO 2021); Lecture Notes in Networks and Systems,

Lukić, Ivica ; Peršić, Matej ; Köhler, Mirko - p. 457-466 , 2021

Link: https://doi.org/10.1007/..

8

Towards a synthetic load generator framework for validating..:

, In: 2020 19th International Symposium INFOTEH-JAHORINA (INFOTEH),

Krpic, Zdravko ; Lukic, Ivica ; Kohler, Mirko - p. 1-6 , 2020

Link: https://doi.org/10.1109/..

9

ConSysT: tunable, safe consistency meets object-oriented pr..:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,

Köhler, Mirko ; Masoule, Nafise Eskandani ; Margara, Alessandro. - p. 15-17 , 2020

Link: https://dl.acm.org/doi/1..

10

Rethinking safe consistency in distributed object-oriented ..:

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

11

Materialuntersuchungen zu 3‐D‐gedruckten Kernen für Dünngla..:

Köhler, Mirko ; Pfarr, Daniel ; Lohr, Katharina..
Bautechnik. 97 (2020) 10 - p. 717-728 , 2020

Link: https://doi.org/10.1002/..

12

Rethinking safe consistency in distributed object-oriented ..:

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

13

Automated Refactoring to Reactive Programming:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Kohler, Mirko ; Salvaneschi, Guido - p. 835-846 , 2019

Link: https://doi.org/10.1109/..

14

Automated refactoring to reactive programming:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Köhler, Mirko ; Salvaneschi, Guido - p. 835-846 , 2019

Link: https://dl.acm.org/doi/1..

15

Distributed object-oriented programming with multiple consi..:

, In: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Eskandani, Nafise ; Köhler, Mirko ; Margara, Alessandro. - p. 13-14 , 2019

Link: https://dl.acm.org/doi/1..