Erscheinungsjahr 2018 5 2017 1 2016 1 2015 2 2014 2 2012 3 2011 1 2010 2 2009 2 2008 7 2007 3 2006 3 2005 2 2004 3 2003 4 2002 6 2001 4 2000 1 alle zeigenListe einklappen
Autor/in Padberg, Julia Ehrig, Hartmut 18 Hoffmann, Kathrin 13 Ermel, Claudia 6 Orejas, Fernando 5 Prange, Ulrike 5 Klein, Markus 4 Pino, Elvira 3 Weber, Herbert 3 Bardohl, Roswitha 2 Biermann, Enrico 2 Gajewsky, Magdalena 2 Habel, Annegret 2 Heckel, Reiko 2 Perez, Sonia 2 Rein, Alexander 2 Schulz, Alexander 2 Sünbül, Asuman 2 Baldan, Paolo 1 Blumreiter, Mathias 1 Borusan, Alexander 1 Braatz, Benjamin 1 Chaplin, John Eric 1 Dehnert, Juliane 1 Ede, Marvin 1 Enders, Bettina 1 Gabriel, Karsten 1 Golas, Ulrike 1 Jansen, L. 1 Kahloul, Laid 1 Koopmann, Holger 1 Kreowski, Hans-Jörg 1 König, Barbara 1 Lambers, Leen 1 Lembke, Sabine 1 Lorbeer, Jan-Uriel 1 Martens, AxelMartens, Axel 1 Modica, Tony 1 Nolte, Dennis 1 Oelker, Gerhard 1 Perez, Sarah 1 Qemali, Anilda 1 Reisig, Wolfgang 1 Rensink, Arend 1 Schlaefer, Alexander 1 Schmidt, S. 1 Schnieder, Eckehard 1 Schupp, Sibylle 1 Ullrich, Conny 1 Urbášek, Milan 1 Weber, Michael 1 alle zeigenListe einklappen
A Tutorial on Graph Transformation König, Barbara Nolte, Dennis Padberg, Julia Rensink, Arend 2018 - ReposIt
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme Padberg, Julia Schlaefer, Alexander Schupp, Sibylle 2018 - TUHH Open Research - frei zugänglich
A Survey of Control Structures for Reconfigurable Petri Nets Padberg, Julia Hoffmann, Kathrin 2015 - ReposIt
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs Padberg, Julia 2015 - ReposIt
Towards Model Checking Reconfigurable Petri Nets using Maude Padberg, Julia Schulz, Alexander 2014 - ReposIt
Non-Deterministic Matching Algorithm for Net Transformations Padberg, Julia Blumreiter, Mathias 2014 - ReposIt
Abstract Interleaving Semantics for Reconfigurable Petri Nets Padberg, Julia 2012 - ReposIt - frei zugänglich
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets Padberg, Julia Ede, Marvin Oelker, Gerhard Hoffmann, Kathrin 2012 - ReposIt
Functorial analysis of algebraic higher-order net systems with applications to mobile ad-hoc networks Golas, Ulrike Hoffmann, Kathrin Ehrig, Hartmut Rein, Alexander Padberg, Julia 2011 - ReposIt - frei zugänglich
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP Orejas, Fernando Ehrig, Hartmut Klein, Markus Padberg, Julia Pino, Elvira Perez, Sonia 2010 - ReposIt
A Generic Approach to Connector Architectures Part I: The General Framework Orejas, Fernando Ehrig, Hartmut Klein, Markus Padberg, Julia Pino, Elvira Perez, Sonia 2010 - ReposIt
Composition and Independence of High-Level Net Processes Ehrig, Hartmut Hoffmann, Kathrin Gabriel, Karsten Padberg, Julia 2009 - ReposIt
Towards Component Verification in the Generic Component Framework Padberg, Julia Ehrig, Hartmut Orejas, Fernando 2009 - ReposIt
Layered Architecture Consistency for MANETs: Introducing New Team Members Biermann, Enrico Hoffmann, Kathrin Padberg, Julia 2008 - ReposIt