E-LIB Suche - Ergebnisse für: Peters, Kirstin

1

Prevotella Is Associated With Sex-Based Differences in Irri..:

Dong, Tien S. ; Peters, Kirstin ; Gupta, Arpana...
Gastroenterology. , 2024

Link: https://doi.org/10.1053/..

2

Mixed choice in session types:

Peters, Kirstin ; Yoshida, Nobuko
Information and Computation. 298 (2024) - p. 105164 , 2024

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

3

Separation and Encodability in Mixed Choice Multiparty Sess..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Peters, Kirstin ; Yoshida, Nobuko - p. 1-15 , 2024

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

4

On distributability:

Peters, Kirstin ; Nestmann, Uwe ; Schmitt, Anna
Theoretical Computer Science. 913 (2022) - p. 151-173 , 2022

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

5

Fault-Tolerant Multiparty Session Types:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Peters, Kirstin ; Nestmann, Uwe ; Wagner, Christoph - p. 93-113 , 2022

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

6

Encodability Criteria for Quantum Based Systems:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Schmitt, Anna ; Peters, Kirstin ; Deng, Yuxin - p. 151-169 , 2022

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

7

Formal Techniques for Distributed Objects, Components, and ..

Programming and Software Engineering, 12719

Peters, Kirstin ; Willemse, Tim A. C - 1st ed. 2021 . , 2021

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

8

Verification and Enforcement of Safe Schedules for Concurre..:

Metzler, Patrick , 2020

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

9

Distributability of mobile ambients:

Peters, Kirstin ; Nestmann, Uwe
Information and Computation. 275 (2020) - p. 104608 , 2020

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

10

Preface to special issue: EXPRESS/SOS 2016 + 2017:

Peters, Kirstin ; Tini, Simone
Acta Informatica. 57 (2019) 6 - p. 759-760 , 2019

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

11

Coupled similarity: the first 32 years:

Bisping, Benjamin ; Nestmann, Uwe ; Peters, Kirstin
Acta Informatica. 57 (2019) 3-5 - p. 439-463 , 2019

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

12

Taming Concurrency for Verification Using Multiparty Sessio..:

, In: Theoretical Aspects of Computing – ICTAC 2019; Lecture Notes in Computer Science,

Peters, Kirstin ; Wagner, Christoph ; Nestmann, Uwe - p. 196-215 , 2019

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

13

Nucleated red blood cells as a novel indicator of CD34+ cel..:

Galel, David ; Crisostomo, Clarence ; Ortega, Jennifer...
Transfusion. 59 (2018) 2 - p. 681-685 , 2018

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

14

Synchrony versus causality in distributed systems:

PETERS, KIRSTIN ; SCHICKE-UFFMANN, JENS-WOLFHARD ; GOLTZ, URSULA.
Mathematical Structures in Computer Science. 26 (2014) 8 - p. 1459-1498 , 2014

Link: https://doi.org/10.1017/..

15

Breaking symmetries:

PETERS, KIRSTIN ; NESTMANN, UWE
Mathematical Structures in Computer Science. 26 (2014) 6 - p. 1054-1106 , 2014

Link: https://doi.org/10.1017/..