König, Barbara
1203  Ergebnisse:
Personensuche X
?
1

Hidden Markov Models with Unobservable Transitions:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
 
?
2

TOGETHER for PEACE#LOVE#LIFE: Friedensarbeit am BildungsCam..:

König, Barbara ; Henökl, Birgit
Katechetische Blätter.  148 (2023)  5 - p. 366-369 , 2023
 
?
3

Fixpoint Theory -- Upside Down:

Baldan, Paolo ; Eggert, Richard ; König, Barbara.
Logical Methods in Computer Science.  19, Issue 2 (2023)  - p. , 2023
 
?
4

Stochastic Decision Petri Nets:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,
 
?
5

Up-to techniques for behavioural metrics via fibrations:

Bonchi, Filippo ; König, Barbara ; Petrişan, Daniela
Mathematical Structures in Computer Science.  33 (2023)  4-5 - p. 182-221 , 2023
 
?
 
?
8

A Monoidal View on Fixpoint Checks:

, In: Graph Transformation; Lecture Notes in Computer Science,
 
?
10

Genossenschaft: eine nachhaltige Idee:

, In: Social-Ecological Cooperative Housing,
König, Barbara - p. 17-21 , 2022
 
?
 
?
 
?
14

Die Adipositastherapie in der Hausarztpraxis:

Hasenberg, Till ; König, Barbara
MMW - Fortschritte der Medizin.  164 (2022)  14 - p. 58-61 , 2022
 
?
15

Conditional Bisimilarity for Reactive Systems:

Hülsbusch, Mathias ; König, Barbara ; Küpper, Sebastian.
Logical Methods in Computer Science.  18, Issue 1 (2022)  - p. , 2022
 
1-15