• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 90 matches

• 2024
• 
  Martin Becke, Julia Padberg:
  Der Weg zur digitalen Arbeitsmappe: Digitales Prüfungswesen mit Zertifizierung. CoRR abs/2408.09184 (2024)
• 2023
• 
  Elina Eickstädt, Martin Becke, Martin Kohler, Julia Padberg:
  Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg. CoRR abs/2301.06885 (2023)
• 2018
• 
  Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink:
  A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets 2018: 83-104
• 
  Julia Padberg, Laïd Kahloul:
  Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets 2018: 201-222
• 
  Jan-Uriel Lorbeer, Julia Padberg:
  Hierarchical, Reconfigurable Petri Nets. Modellierung (Workshops) 2018: 167-186
• 
  Julia Padberg, Alexander Schlaefer, Sibylle Schupp:
  Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering 2018: 209-210
• 
  Julia Padberg:
  Subtyping for Hierarchical, Reconfigurable Petri Nets. CoRR abs/1802.04698 (2018)
• 2017
• 
  Julia Padberg:
  Verification of Reconfigurable Petri Nets. PNSE @ Petri Nets 2017: 27-28
• 
  Julia Padberg:
  Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. ICGT 2017: 20-35
• 
  Julia Padberg:
  Towards M-Adhesive Categories of Corecursive Graphs. CoRR abs/1702.04650 (2017)
• 2016
• 
  Julia Padberg, Alexander Schulz:
  Model Checking Reconfigurable Petri Nets with Maude. ICGT 2016: 54-70
• 2015
• 
  Julia Padberg:
  Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. ICGT 2015: 104-120
• 2014
• 
  Julia Padberg, Mathias Blumreiter:
  Non-Deterministic Matching Algorithm for Net Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
• 
  Julia Padberg, Alexander Schulz:
  Towards Model Checking Reconfigurable Petri Nets using Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
• 
  Julia Padberg:
  Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. CoRR abs/1409.6856 (2014)
• 2012
• 
  Julia Padberg:
  Abstract Interleaving Semantics for Reconfigurable Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
• 
  Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann:
  ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
• 
  Julia Padberg, Kathrin Hoffmann:
  Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
• 2010
• 
  Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg:
  Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
• 
  Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
  A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99(1): 63-93 (2010)
• 
  Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez:
  A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99(1): 95-124 (2010)
• 2008
• 
  Julia Padberg:
  Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Appl. Categorical Struct. 16(3): 333-364 (2008)
• 
  Enrico Biermann, Kathrin Hoffmann, Julia Padberg:
  Layered Architecture Consistency for MANETs: Introducing New Team Members. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
• 
  Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg:
  Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
• 
  Kathrin Hoffmann, Julia Padberg:
  Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
• 
  Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
  Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
• 
  Conny Ullrich, Julia Padberg:
  Reconfigurable Open Algebraic High-Level Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008)
• 
  Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
  Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
• 
  Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
  Composition and Independence of High-Level Net Processes. FMWS@CONCUR 2008: 59-71
• 2007
• 
  Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann:
  Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91: 120-124 (2007)

skipping 60 more matches