pith. sign in

Barbara K\"onig

Identifiers

  • name variant Barbara K\"onig 0.60 · backfill

Papers (15)

  1. A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic cs.LO · 2019 · author #4
  2. Rewriting Abstract Structures: Materialization Explained Categorically cs.LO · 2019 · author #3
  3. A van Benthem Theorem for Quantitative Probabilistic Modal Logic cs.LO · 2018 · author #4
  4. Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks cs.LO · 2018 · author #4
  5. Up-To Techniques for Behavioural Metrics via Fibrations cs.LO · 2018 · author #2
  6. A van Benthem Theorem for Fuzzy Modal Logic cs.LO · 2018 · author #4
  7. PAWS: A Tool for the Analysis of Weighted Systems cs.FL · 2017 · author #1
  8. Conditional Transition Systems with Upgrades cs.SE · 2017 · author #2
  9. Specifying Graph Languages with Type Graphs cs.FL · 2017 · author #2
  10. Up-To Techniques for Weighted Systems (Extended Version) cs.FL · 2017 · author #2
  11. Towards Trace Metrics via Functor Lifting cs.LO · 2015 · author #4
  12. Behavioral Metrics via Functor Lifting cs.LO · 2014 · author #4
  13. A General Framework for Well-Structured Graph Transformation Systems cs.LO · 2014 · author #1
  14. A stochastic model of social interaction in wild house mice q-bio.QM · 2012 · author #2
  15. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets cs.LO · 2008 · author #5

Mentions

  • 1505.08105 #4 · backfill · confidence 0.70 Barbara K\"onig
  • 1410.3385 #4 · backfill · confidence 0.70 Barbara K\"onig
  • 1406.4782 #1 · backfill · confidence 0.70 Barbara K\"onig
  • 1212.0662 #2 · backfill · confidence 0.70 Barbara K\"onig
  • 0809.4115 #5 · backfill · confidence 0.70 Barbara K\"onig

Frequent Coauthors