96 results on '"Barbara König"'
Search Results
2. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
3. Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
4. Hidden Markov Models with Unobservable Transitions.
5. Stochastic Decision Petri Nets.
6. A Monoidal View on Fixpoint Checks.
7. Hennessy-Milner Theorems via Galois Connections.
8. A Lattice-Theoretical View of Strategy Iteration.
9. Approximating Fixpoints of Approximated Functions (Invited Talk).
10. Graded Monads and Behavioural Equivalence Games.
11. Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
12. Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models.
13. Fixpoint Theory - Upside Down.
14. Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks.
15. Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations.
16. Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.
17. Conditional Bisimilarity for Reactive Systems.
18. A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.
19. Rewriting Abstract Structures: Materialization Explained Categorically.
20. A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic.
21. A van Benthem Theorem for Fuzzy Modal Logic.
22. A Tutorial on Graph Transformation.
23. Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks.
24. (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.
25. Up-To Techniques for Behavioural Metrics via Fibrations.
26. CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.
27. Conditional transition systems with upgrades.
28. Up-To Techniques for Weighted Systems.
29. Specifying Graph Languages with Type Graphs.
30. Extracting the Main Path of Historic Events from Wikipedia.
31. Towards Trace Metrics via Functor Lifting.
32. Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.
33. Behavioral Metrics via Functor Lifting.
34. Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.
35. Termination Analysis for Graph Transformation Systems.
36. Termination of Cycle Rewriting.
37. A General Framework for Well-Structured Graph Transformation Systems.
38. Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.
39. Deriving Bisimulation Congruences for Conditional Reactive Systems.
40. A Coalgebraic Perspective on Minimization and Determinization.
41. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
42. Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.
43. Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking.
44. Well-Structured Graph Transformation Systems with Negative Application Conditions.
45. Conditional Reactive Systems.
46. A Logic on Subobjects and Recognizability.
47. Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
48. Verification of Graph Transformation Systems with Context-Free Specifications.
49. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.
50. Unfolding Grammars in Adhesive Categories.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.