Search filters

List of works by Patrick Eugster

A <scp>Solicitous</scp> Approach to Smart Contract Verification

scientific article published on 28 September 2022

A multiparty session typing discipline for fault-tolerant event-driven distributed programming

scientific article published on 15 October 2021

An Algebraic Language for Specifying Quantum Networks

scientific article published on 20 June 2024

Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation

scientific article published on 06 June 2023

Holistic Resource Scheduling for Data Center In-Network Computing

scientific article published on 03 June 2022

Scalable and serializable networked multi-actor programming

scientific article published on 24 November 2020

Secure and Reliable Network Updates

scientific article published on 12 August 2022

Secure distributed data and event processing at scale: where are we now?

scientific article published on 26 June 2023

Switches for HIRE: resource scheduling for data center in-network computing

scientific article published on 11 April 2021

Towards an Algebraic Specification of Quantum Networks

scientific article published on 16 August 2023

Paulina is supported by:

About Paulina

Help