The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Barbara König: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paolo Baldan, Andrea Corradini, Barbara König
    A Static Analysis Technique for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:381-395 [Conf]
  2. Paolo Baldan, Andrea Corradini, Barbara König
    Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:83-98 [Conf]
  3. Barbara König
    Generating Type Systems for Process Graphs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:352-367 [Conf]
  4. Paolo Baldan, Barbara König, Arend Rensink
    Summary 2: Graph Grammar Verification through Abstraction. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  5. Barbara König, Ugo Montanari, Philippa Gardner
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  6. Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König
    On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2005, pp:272-283 [Conf]
  7. Markus Holzer, Barbara König
    On Deterministic Finite Automata and Syntactic Monoid Size. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2002, pp:258-269 [Conf]
  8. Markus Holzer, Barbara König
    On Deterministic Finite Automata and Syntactic Monoid Size, Continued. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2003, pp:349-360 [Conf]
  9. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
    Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:202-216 [Conf]
  10. Paolo Baldan, Stefan Haar, Barbara König
    Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:126-141 [Conf]
  11. Hartmut Ehrig, Barbara König
    Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:151-166 [Conf]
  12. Barbara König
    A General Framework for Types in Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:373-384 [Conf]
  13. Paolo Baldan, Hartmut Ehrig, Barbara König
    Composition and Decomposition of DPO Transformations with Borrowed Context. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:153-167 [Conf]
  14. Paolo Baldan, Barbara König
    Approximating the Behaviour of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:14-29 [Conf]
  15. Paolo Baldan, Barbara König, Ingo Stürmer
    Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:194-209 [Conf]
  16. Filippo Bonchi, Fabio Gadducci, Barbara König
    Process Bisimulation Via a Graphical Encoding. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:168-183 [Conf]
  17. Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
    Sesqui-Pushout Rewriting. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:30-45 [Conf]
  18. Barbara König
    Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:403-414 [Conf]
  19. Barbara König
    A Graph Rewriting Semantics for the Polyadic Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:451-458 [Conf]
  20. Filippo Bonchi, Barbara König, Ugo Montanari
    Saturated Semantics for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:69-80 [Conf]
  21. Paolo Baldan, Barbara König, Bernhard König
    A Logic for Analyzing Abstractions of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:255-272 [Conf]
  22. Barbara König, Vitali Kozioura
    Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:197-211 [Conf]
  23. Barbara König, Ugo Montanari
    Observational Equivalence for Synchronized Graph Rewriting with Mobility. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:145-164 [Conf]
  24. Barbara König
    A general framework for types in graph rewriting. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:4-5, pp:349-388 [Journal]
  25. Markus Holzer, Barbara König
    Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:83, n:, pp:139-155 [Journal]
  26. Barbara König, Vitali Kozioura
    Augur - A Tool for the Analysis of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2005, v:87, n:, pp:126-137 [Journal]
  27. Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
    Verifying a Behavioural Logic for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:5-24 [Journal]
  28. Arend Rensink, Reiko Heckel, Barbara König
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:1-5 [Journal]
  29. Barbara König
    Analysing input/output-capabilities of mobile processes with a generic type system. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:1, pp:35-58 [Journal]
  30. Barbara König
    Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:2, pp:149-175 [Journal]
  31. Markus Holzer, Barbara König
    On deterministic finite automata and syntactic monoid size. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:3, pp:319-347 [Journal]
  32. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:126-142 [Conf]
  33. Barbara König
    Deriving Bisimulation Congruences with Borrowed Contexts. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:36-39 [Conf]
  34. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
    A Temporal Graph Logic for Verification of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:1-20 [Conf]
  35. Arend Rensink, Reiko Heckel, Barbara König
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:1-2 [Journal]
  36. Barbara König, Vitali Kozioura
    Incremental construction of coverability graphs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:103, n:5, pp:203-209 [Journal]

  37. Unfolding Graph Transformation Systems: Theory and Applications to Verification. [Citation Graph (, )][DBLP]


  38. Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP]


  39. Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. [Citation Graph (, )][DBLP]


  40. Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP]


  41. Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. [Citation Graph (, )][DBLP]


  42. On the Recognizability of Arrow and Graph Languages. [Citation Graph (, )][DBLP]


  43. Workshop on Petri Nets and Graph Transformations. [Citation Graph (, )][DBLP]


  44. Towards the Verification of Attributed Graph Transformation Systems. [Citation Graph (, )][DBLP]


  45. Open Petri Nets: Non-deterministic Processes and Compositionality. [Citation Graph (, )][DBLP]


  46. Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. [Citation Graph (, )][DBLP]


  47. Verification of Graph Transformation Systems with Context-Free Specifications. [Citation Graph (, )][DBLP]


  48. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. [Citation Graph (, )][DBLP]


  49. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [Citation Graph (, )][DBLP]


  50. Inequational Deduction as Term Graph Rewriting. [Citation Graph (, )][DBLP]


  51. Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. [Citation Graph (, )][DBLP]


  52. Preface. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002