Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Barbara König
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
STAF 2023 profile
STAF 2024 profile
STAF 2025 profile
Registered user since Tue 29 Jan 2019
Name:
Barbara König
Affiliation:
University of Duisburg-Essen
Contributions
2025
ICGT
Steering Committee Member in Steering Committee
Author of Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems within the ICGT Research Papers-track
2024
ICGT
PC Member in Program Committee
Steering Committee Member in Steering Committee
2023
ICGT
Committee Member in Program Committee within the Research Papers-track
Author of A Monoidal View on Fixpoint Checks within the Research Papers-track
Steering Committee Member in Steering Committee
GCM
PC Member in Program Committee within the GCM 2023-track
2019
ETAPS
Author of ETAPS Steering committee meeting within the Social-track
FOSSACS
Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track
POPL
Author of Fixpoint Games on Continuous Lattices within the Research Papers-track
OPCT
Session Chair of Algebra, Coalgebra, Model Checking (part of OPCT 2019)
Share
x
Mon 27 Oct 21:54
