Barbara König
Orcid: 0000-0002-4193-2889Affiliations:
- University of Duisburg-Essen, Department of Computer Science and Applied Cognitive Science, Germany
According to our database1,
Barbara König
authored at least 137 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms.
Inf. Comput., 2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the Taming the Infinities of Concurrency, 2024
2023
Math. Struct. Comput. Sci., 2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models.
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.
Proceedings of the Coalgebraic Methods in Computer Science, 2022
2021
2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.
Proceedings of the Coalgebraic Methods in Computer Science, 2020
2019
J. Log. Algebraic Methods Program., 2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
2018
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata.
Soft Comput., 2018
Log. Methods Comput. Sci., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Network Intelligence Meets User Centered Social Media Networks [4th European Network Intelligence Conference, 2017
2016
2015
Sci. Comput. Program., 2015
Dagstuhl Reports, 2015
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.
Proceedings of the Graph Transformation - 8th International Conference, 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Math. Struct. Comput. Sci., 2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.
Proceedings of the Theoretical Computer Science, 2014
Proceedings of the Theoretical Computer Science, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Coalgebraic Methods in Computer Science, 2014
2013
Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata.
J. Vis. Lang. Comput., 2013
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Log. Methods Comput. Sci., 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
Proceedings of the Graph Transformations - 6th International Conference, 2012
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking.
Proceedings of the Graph Transformations - 6th International Conference, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
2009
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bull. EATCS, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Trans. Petri Nets Other Model. Concurr., 2008
Log. Methods Comput. Sci., 2008
Inf. Comput., 2008
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Concurrency, 2008
2007
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.
Math. Struct. Comput. Sci., 2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
J. Log. Algebraic Methods Program., 2005
Augur - A Tool for the Analysis of Graph Transformation Systems.
Bull. EATCS, 2005
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Proceedings of the Developments in Language Theory, 9th International Conference, 2005
2004
Analysis and verification of systems with dynamically evolving structure (Analyse und Verifikation von Systemen mit dynamischen Strukturveränderungen)
, 2004
Theor. Comput. Sci., 2004
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory).
Bull. EATCS, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003
Proceedings of the Static Analysis, 10th International Symposium, 2003
Proceedings of the Developments in Language Theory, 7th International Conference, 2003
2002
Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems.
Math. Struct. Comput. Sci., 2002
Proceedings of the First International Workshop on Term Graph Rewriting, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
Proceedings of the CONCUR 2001, 2001
2000
A Graph Rewriting Semantics for the Polyadic Calculus.
Proceedings of the ICALP Workshops 2000, 2000
1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
PhD thesis, 1998