Patrick Eugster

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Forecasting inflation using sentiment Economics Letters	2024-05-07	Paper
Symbolic model checking for TLA+ made faster	2023-12-13	Paper
Co-design and verification of an available file system Lecture Notes in Computer Science	2020-07-07	Paper
A typing discipline for statically verified crash failure handling in distributed systems	2019-09-13	Paper
Admission control in shared memory switches Journal of Scheduling	2019-08-08	Paper
From the Cloud to the Atmosphere: Running MapReduce across Data Centers IEEE Transactions on Computers	2017-06-20	Paper
A type theory for robust failure handling in distributed systems Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Essential traffic parameters for shared memory switch performance Structural Information and Communication Complexity	2016-01-08	Paper
Multicasting in the presence of aggregated deliveries Journal of Parallel and Distributed Computing	2013-08-22	Paper
Efficient sessions Science of Computer Programming	2013-06-06	Paper
Cooperative aspect-oriented programming Science of Computer Programming	2009-05-06	Paper
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees Programming Languages and Systems	2009-03-31	Paper
Composing atomic features Science of Computer Programming	2006-12-14	Paper
Effective multicast programming in large scale distributed systems Concurrency and Computation: Practice and Experience	2003-02-04	Paper
Experiences with object group systems	2003-02-04	Paper
scientific article; zbMATH DE number 1787173 (Why is no real title available?)	2002-10-20	Paper

Research outcomes over time

This page was built for person: Patrick Eugster