Michael Borkowski

Niki Vazou

Ranjit Jhala

Proc. ACM Program. Lang., January, 2024

2022

Mechanizing Refinement Types (extended).

[BibT_eX]

[DOI]

Niki Vazou

Ranjit Jhala

CoRR, 2022

2021

Towards Cross-Blockchain Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2021

2020

Maschinelles Lernen für Ressourcenplanung in Verteilten Systemen.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

A Framework for Assessing and Selecting Blockchains at Runtime.

[BibT_eX]

[DOI]

Philipp Frauenthaler

Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

Characterizing Efficiency Optimizations in Solidity Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Minimizing Cost by Reducing Scaling Operations in Distributed Stream Processing.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Event-based failure prediction in distributed business processes.

[BibT_eX]

[DOI]

Inf. Syst., 2019

A Framework for Blockchain Interoperability and Runtime Selection.

[BibT_eX]

[DOI]

Philipp Frauenthaler

CoRR, 2019

Dextt: Deterministic Cross-Blockchain Token Transfers.

[BibT_eX]

[DOI]

IEEE Access, 2019

Edge computing with peer to peer interactions: use cases and impact.

[BibT_eX]

[DOI]

Vasileios Karagiannis

Proceedings of the Workshop on Fog Computing and the IoT, 2019

Blockchain-based Data Provenance for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on the Internet of Things, 2019

Towards Blockchain Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management: Blockchain and Central and Eastern Europe Forum, 2019

2018

Process Simulation for Machine Reservation in Cloud Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Trustworthy Detection and Arbitration of SLA Violations in the Cloud.

[BibT_eX]

[DOI]

Christian Schubert

Proceedings of the Service-Oriented and Cloud Computing, 2018

Data Prefetching in Smart Systems.

[BibT_eX]

[DOI]

Sabine Weninger

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 2018

2017

Optimized IoT service placement in the fog.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2017

Moderated Resource Elasticity for Stream Processing Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

2016

Predicting cloud resource utilization.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Utility and Cloud Computing, 2016

Resource Provisioning for IoT Services in the Fog.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Prediction-Based Prefetch Scheduling in Mobile Service Applications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Mobile Services, MS 2016, San Francisco, CA, USA, June 27, 2016

Bridging gaps in cloud manufacturing with 3D printing.

[BibT_eX]

[DOI]

Philipp Waibel

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

Towards a methodology and instrumentation toolset for cloud manufacturing.

[BibT_eX]

[DOI]

Olena Skarlat