The SCEAS System
Navigation Menu

Search the dblp DataBase


Kathrin Hoffmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
    High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:268-288 [Conf]
  2. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
    High-Level Net Processes. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:191-219 [Conf]
  3. Kathrin Hoffmann
    Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:145-160 [Conf]
  4. Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
    Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:249-265 [Conf]
  5. Kathrin Hoffmann
    Flexible Modellierung mit Algebraischen Higher Order Netzen. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2001, pp:101-110 [Conf]
  6. Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
    Incremental Development of Safety Properties in Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:410-425 [Conf]
  7. Kathrin Hoffmann, Till Mossakowski
    Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:253-267 [Conf]
  8. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
    Transformations of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:151-172 [Journal]
  9. Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
    Higher-Order Nets for Mobile Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:87-105 [Journal]
  10. Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Massimo Mecella
    Applying algebraic approaches for modeling workflows and their transformations in mobile networks. [Citation Graph (0, 0)][DBLP]
    Mobile Information Systems, 2006, v:2, n:1, pp:51-76 [Journal]
  11. Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
    High-level replacement units and their termination properties. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2005, v:16, n:6, pp:485-507 [Journal]
  12. Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
    Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:104-123 [Conf]
  13. Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
    Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:383-397 [Conf]

  14. Transformations in Reconfigurable Place/Transition Systems. [Citation Graph (, )][DBLP]

  15. Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. [Citation Graph (, )][DBLP]

  16. Composition and Independence of High-Level Net Processes. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002