Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024, p.1-12
2024
Link zum Volltext

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.362-375
2017
Link zum Volltext

Open Access
Adding concurrency to smart contracts
Distributed computing, 2020-06, Vol.33 (3-4), p.209-225
2020
Link zum Volltext

2021 58th ACM/IEEE Design Automation Conference (DAC), 2021, p.973-978
2021
Link zum Volltext

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.2056-2067
2022




Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, p.1517-1520
2020
Link zum Volltext

SIGPLAN notices, 2012-08, Vol.47 (6), p.323-334
2012
Link zum Volltext


Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2022, p.259-269
2022
Link zum Volltext


Proceedings of the ACM on software engineering, 2024-07, Vol.1 (FSE), p.427-449
2024
Link zum Volltext

2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2019, p.105-108
2019
Link zum Volltext

Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012, p.323-334
2012
Link zum Volltext


Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, p.50-61
2019
Link zum Volltext

Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, p.893-905
2021
Link zum Volltext