E-LIB Suche - Ergebnisse für: König, Barbara

1

Hidden Markov Models with Unobservable Transitions:

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

Bernemann, Rebecca ; König, Barbara ; Schaffeld, Matthias. - p. 101-121 , 2024

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

2

A Monoidal View on Fixpoint Checks:

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

Baldan, Paolo ; Eggert, Richard ; König, Barbara.. - p. 3-21 , 2023

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

3

Stochastic Decision Petri Nets:

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

Wittbold, Florian ; Bernemann, Rebecca ; Heckel, Reiko.. - p. 264-285 , 2023

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

4

Predicate and Relation Liftings for Coalgebras with Side Ef..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Beohar, Harsh ; König, Barbara ; Küpper, Sebastian. - p. 1-22 , 2022

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

5

Genossenschaft: eine nachhaltige Idee:

, In: Social-Ecological Cooperative Housing,

König, Barbara - p. 17-21 , 2022

Link: https://doi.org/10.1515/..

6

Graded Monads and Behavioural Equivalence Games:

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

Ford, Chase ; Milius, Stefan ; Schröder, Lutz.. - p. 1-13 , 2022

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

7

Lifecycle-Based View on Cyber-Physical System Models Using ..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Schaffeld, Matthias ; Bernemann, Rebecca ; Weis, Torben.. - p. 1-5 , 2022

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

8

Cooperative: A Sustainable Idea:

, In: Social-Ecological Cooperative Housing,

König, Barbara - p. 168-171 , 2022

Link: https://doi.org/10.1515/..

9

Fixpoint Theory – Upside Down:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Baldan, Paolo ; Eggert, Richard ; König, Barbara. - p. 62-81 , 2021

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

10

A Flexible and Easy-to-Use Library for the Rapid Developmen..:

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

Bruggink, H. J. Sander ; König, Barbara ; Matjeka, Marleen.. - p. 297-306 , 2020

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

11

Explaining Non-bisimilarity in a Coalgebraic Approach: Game..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

König, Barbara ; Mika-Michalski, Christina ; Schröder, Lutz - p. 133-154 , 2020

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

12

Rewriting Abstract Structures: Materialization Explained Ca..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Corradini, Andrea ; Heindel, Tobias ; König, Barbara.. - p. 169-188 , 2019

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

13

A van Benthem Theorem for Fuzzy Modal Logic:

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

Wild, Paul ; Schröder, Lutz ; Pattinson, Dirk. - p. 909-918 , 2018

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

14

A logic for analyzing abstractions of graph transformation ..:

, In: Proceedings of the 10th international conference on Static analysis,

Baldan, Paolo ; König, Barbara ; König, Bernhard - p. 255-272 , 2003

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

15

Das ist auch unser Land!:

, In: Bürgergesellschaft und Gemeinwohl,

Ingenschay, Cosima ; Jobelius, Sebastian ; König, Barbara. - p. 115-127 , 1999

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