default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Borkowski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j5]Michael Borkowski
, Niki Vazou, Ranjit Jhala:
Mechanizing Refinement Types. Proc. ACM Program. Lang. 8(POPL): 2099-2128 (2024)- 2019
- [j4]Michael Borkowski, Marten Sigwart, Philipp Frauenthaler, Taneli Hukkinen, Stefan Schulte:
Dextt: Deterministic Cross-Blockchain Token Transfers. IEEE Access 7: 111030-111042 (2019) - [j3]Michael Borkowski, Walid Fdhila, Matteo Nardelli, Stefanie Rinderle-Ma, Stefan Schulte:
Event-based failure prediction in distributed business processes. Inf. Syst. 81: 220-235 (2019) - [j2]Michael Borkowski, Christoph Hochreiner, Stefan Schulte:
Minimizing Cost by Reducing Scaling Operations in Distributed Stream Processing. Proc. VLDB Endow. 12(7): 724-737 (2019) - 2017
- [j1]Olena Skarlat, Matteo Nardelli, Stefan Schulte, Michael Borkowski, Philipp Leitner:
Optimized IoT service placement in the fog. Serv. Oriented Comput. Appl. 11(4): 427-443 (2017)
Conference and Workshop Papers
- 2021
- [c15]Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski:
Towards Cross-Blockchain Smart Contracts. DAPPS 2021: 85-94 - 2020
- [c14]Tamara Brandstätter, Stefan Schulte, Jürgen Cito, Michael Borkowski:
Characterizing Efficiency Optimizations in Solidity Smart Contracts. Blockchain 2020: 281-290 - [c13]Philipp Frauenthaler, Michael Borkowski, Stefan Schulte:
A Framework for Assessing and Selecting Blockchains at Runtime. DAPPS 2020: 106-113 - 2019
- [c12]Stefan Schulte, Marten Sigwart, Philipp Frauenthaler, Michael Borkowski:
Towards Blockchain Interoperability. BPM (Blockchain and CEE Forum) 2019: 3-10 - [c11]Marten Sigwart, Michael Borkowski, Marco Peise, Stefan Schulte, Stefan Tai:
Blockchain-based Data Provenance for the Internet of Things. IOT 2019: 15:1-15:8 - [c10]Vasileios Karagiannis, Alexandre Venito, Rodrigo Coelho, Michael Borkowski, Gerhard Fohler:
Edge computing with peer to peer interactions: use cases and impact. IoT-Fog@IoTDI 2019: 46-50 - 2018
- [c9]Sabine Weninger, Michael Borkowski:
Data Prefetching in Smart Systems. EDOC Workshops 2018: 204-207 - [c8]Christian Schubert, Michael Borkowski, Stefan Schulte:
Trustworthy Detection and Arbitration of SLA Violations in the Cloud. ESOCC 2018: 90-104 - [c7]Philipp Waibel, Svetoslav Videnov, Michael Borkowski, Christoph Hochreiner, Stefan Schulte, Jan Mendling:
Process Simulation for Machine Reservation in Cloud Manufacturing. INDIN 2018: 270-277 - 2017
- [c6]Michael Borkowski, Christoph Hochreiner, Stefan Schulte:
Moderated Resource Elasticity for Stream Processing Applications. Euro-Par Workshops 2017: 5-16 - 2016
- [c5]Olena Skarlat, Michael Borkowski, Stefan Schulte:
Towards a methodology and instrumentation toolset for cloud manufacturing. CPPS@CPSWeek 2016: 1-4 - [c4]Christoph Hochreiner, Philipp Waibel, Michael Borkowski:
Bridging gaps in cloud manufacturing with 3D printing. GI-Jahrestagung 2016: 1623-1626 - [c3]Michael Borkowski, Olena Skarlat, Stefan Schulte, Schahram Dustdar:
Prediction-Based Prefetch Scheduling in Mobile Service Applications. IEEE MS 2016: 41-48 - [c2]Olena Skarlat, Stefan Schulte, Michael Borkowski, Philipp Leitner:
Resource Provisioning for IoT Services in the Fog. SOCA 2016: 32-39 - [c1]Michael Borkowski, Stefan Schulte, Christoph Hochreiner:
Predicting cloud resource utilization. UCC 2016: 37-42
Parts in Books or Collections
- 2020
- [p1]Michael Borkowski:
Maschinelles Lernen für Ressourcenplanung in Verteilten Systemen. Ausgezeichnete Informatikdissertationen 2020: 49-58
Informal and Other Publications
- 2022
- [i6]Michael Borkowski, Niki Vazou, Ranjit Jhala:
Mechanizing Refinement Types (extended). CoRR abs/2207.05617 (2022) - 2020
- [i5]Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski:
Towards Cross-Blockchain Smart Contracts. CoRR abs/2010.07352 (2020) - 2019
- [i4]Michael Borkowski, Marten Sigwart, Philipp Frauenthaler, Taneli Hukkinen, Stefan Schulte:
DeXTT: Deterministic Cross-Blockchain Token Transfers. CoRR abs/1905.06204 (2019) - [i3]Marten Sigwart, Michael Borkowski, Marco Peise, Stefan Schulte, Stefan Tai:
Blockchain-based Data Provenance for the Internet of Things. CoRR abs/1905.06852 (2019) - [i2]Philipp Frauenthaler, Michael Borkowski, Stefan Schulte:
A Framework for Blockchain Interoperability and Runtime Selection. CoRR abs/1905.07014 (2019) - 2017
- [i1]Michael Borkowski, Walid Fdhila, Matteo Nardelli, Stefanie Rinderle-Ma, Stefan Schulte:
Event-based Failure Prediction in Distributed Business Processes. CoRR abs/1712.08342 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
