Markus A. Kuppe

Global reparametrization for curve approximation

T. Speer, Markus A. Kuppe, Josef Hoschek · Computer Aided Geometric Design · 1998 · 67 citations

Architecture, Computational Engineering, Computational Geometry +11

Does Every Computer Scientist Need to Know Formal Methods?

Manfred Broy, Achim D. Brucker, Alessandro Fantechi et al. · Formal Aspects of Computing · 2024 · 23 citations · Full text

Computing, Computer Science, Formal Methods +10

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Heidi Howard, Fritz Alder, Edward Ashton et al. · Proceedings of the VLDB Endowment · 2023 · 16 citations

Computing, Cloud Computing, Computer Science +13

Understanding Inconsistency in Azure Cosmos DB with TLA+

Finn Hackett, Joshua Rowe, Markus A. Kuppe · 2023 · 10 citations

Computing, Computer Science, Information Systems +9