E-LIB Suche - Ergebnisse für: Eugster, Patrick

1

Toward Robust Control for 6G Networks:

Eugster, Patrick
IEEE Network. 38 (2024) 3 - p. 254-260 , 2024

Link: https://doi.org/10.1109/..

2

Forecasting inflation using sentiment:

Eugster, Patrick ; Uhl, Matthias W.
Economics Letters. 236 (2024) - p. 111575 , 2024

Link: https://doi.org/10.1016/..

3

Symbolic Model Checking for TLA+ Made Faster:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Otoni, Rodrigo ; Konnov, Igor ; Kukovec, Jure.. - p. 126-144 , 2023

Link: https://doi.org/10.1007/..

4

Secure distributed data and event processing at scale: wher..:

, In: Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems,

Eugster, Patrick - p. 6 ff. , 2023

Link: https://dl.acm.org/doi/1..

5

Towards an Algebraic Specification of Quantum Networks:

, In: Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing,

Buckley, Anita ; Chuprikov, Pavel ; Otoni, Rodrigo... - p. 7-12 , 2023

Link: https://dl.acm.org/doi/1..

6

CHC Model Validation with Proof Guarantees:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Otoni, Rodrigo ; Blicha, Martin ; Eugster, Patrick. - p. 62-81 , 2023

Link: https://doi.org/10.1007/..

7

Generalized Policy-Based Noninterference for Efficient Conf..:

Mangipudi, Shamiek ; Chuprikov, Pavel ; Eugster, Patrick..
Proceedings of the ACM on Programming Languages. 7 (2023) PLDI - p. 267-291 , 2023

Link: https://doi.org/10.1145/..

8

ASolicitousApproach to Smart Contract Verification:

Otoni, Rodrigo ; Marescotti, Matteo ; Alt, Leonardo...
ACM Transactions on Privacy and Security. 26 (2023) 2 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

9

Congestion Control for Datacenter Networks: A Control-Theor..:

Menikkumbura, Danushka ; Taheri, Parvin ; Vanini, Erico...
IEEE Transactions on Parallel and Distributed Systems. 34 (2023) 5 - p. 1682-1696 , 2023

Link: https://doi.org/10.1109/..

10

Interminable Flows: A Generic, Joint, Customizable Resilien..:

Abusalah, Bara ; Qadah, Thamir M. ; Stephen, Julian James.
IEEE Access. 11 (2023) - p. 10762-10776 , 2023

Link: https://doi.org/10.1109/..

11

Statically Safe Distributed Programming:

Viering, Malte Christian , 2022

Link: https://nbn-resolving.de..

12

Proceedings of the 9th ACM SIGPLAN International Workshop o..:

De Meuter, Wolfgang ; Eugster, Patrick ; Salvaneschi, Guido... , 2022

Link: https://dl.acm.org/doi/1..

13

Digital Servitization Barriers of Medical Technology Firms:..:

, In: Progress in IS; Smart Services Summit,

Rösler, Jonathan ; Eugster, Patrick ; Tienken, Christoph. - p. 3-11 , 2022

Link: https://doi.org/10.1007/..

14

Multi-Framework Reliability Approach:

Abusalah, Bara ; Schatzlein, Derek ; Stephen, Julian James..
IEEE Transactions on Cloud Computing. 10 (2022) 4 - p. 2750-2768 , 2022

Link: https://doi.org/10.1109/..

15

Technical analysis: Novel insights on contrarian trading:

Eugster, Patrick ; Uhl, Matthias W.
European Financial Management. 29 (2022) 4 - p. 1160-1190 , 2022

Link: https://doi.org/10.1111/..