Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Julia Padberg
@article{DBLP:journals/corr/abs-2301-06885, author = {Elina Eickst{\"{a}}dt and Martin Becke and Martin Kohler and Julia Padberg}, title = {Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the {HAW} Hamburg}, journal = {CoRR}, volume = {abs/2301.06885}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.06885}, doi = {10.48550/ARXIV.2301.06885}, eprinttype = {arXiv}, eprint = {2301.06885}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-06885.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/0001NPR18, author = {Barbara K{\"{o}}nig and Dennis Nolte and Julia Padberg and Arend Rensink}, editor = {Reiko Heckel and Gabriele Taentzer}, title = {A Tutorial on Graph Transformation}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {10800}, pages = {83--104}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-75396-6\_5}, doi = {10.1007/978-3-319-75396-6\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/0001NPR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PadbergK18, author = {Julia Padberg and La{\"{\i}}d Kahloul}, editor = {Reiko Heckel and Gabriele Taentzer}, title = {Overview of Reconfigurable Petri Nets}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {10800}, pages = {201--222}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-75396-6\_11}, doi = {10.1007/978-3-319-75396-6\_11}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/PadbergK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/modellierung/LorbeerP18, author = {Jan{-}Uriel Lorbeer and Julia Padberg}, editor = {Ina Schaefer and Loek Cleophas and Michael Felderer and Steffen Becker and Wolfgang B{\"{o}}hm and Dirk Fahland and Hans{-}Georg Fill and Robert Heinrich and Kathrin Kirchner and Michael K{\"{o}}hler{-}Bu{\ss}meier and Marco Konersmann and Heinrich C. Mayr and Daniel Moldt and Andreas Oberweis and Felix Reher and Matthias Riebisch and Stefan Sauer and Holger Schlingloff and Bernhard Thalheim and Andreas Vogelsang and R{\"{u}}diger Wei{\ss}bach and Thorsten Weyer}, title = {Hierarchical, Reconfigurable Petri Nets}, booktitle = {Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2060}, pages = {167--186}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2060/pemod1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:18 +0100}, biburl = {https://dblp.org/rec/conf/modellierung/LorbeerP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/PadbergSS18, author = {Julia Padberg and Alexander Schlaefer and Sibylle Schupp}, editor = {Matthias Tichy and Eric Bodden and Marco Kuhrmann and Stefan Wagner and Jan{-}Philipp Stegh{\"{o}}fer}, title = {Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme}, booktitle = {Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany}, series = {{LNI}}, volume = {{P-279}}, pages = {209--210}, publisher = {Gesellschaft f{\"{u}}r Informatik}, year = {2018}, url = {https://dl.gi.de/handle/20.500.12116/16356}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/se/PadbergSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-04698, author = {Julia Padberg}, title = {Subtyping for Hierarchical, Reconfigurable Petri Nets}, journal = {CoRR}, volume = {abs/1802.04698}, year = {2018}, url = {http://arxiv.org/abs/1802.04698}, eprinttype = {arXiv}, eprint = {1802.04698}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-04698.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Padberg17, author = {Julia Padberg}, editor = {Daniel Moldt and Lawrence Cabac and Heiko R{\"{o}}lke}, title = {Verification of Reconfigurable Petri Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1846}, pages = {27--28}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1846/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/Padberg17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Padberg17, author = {Julia Padberg}, editor = {Juan de Lara and Detlef Plump}, title = {Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs}, booktitle = {Graph Transformation - 10th International Conference, {ICGT} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10373}, pages = {20--35}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61470-0\_2}, doi = {10.1007/978-3-319-61470-0\_2}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Padberg17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Padberg17, author = {Julia Padberg}, title = {Towards M-Adhesive Categories of Corecursive Graphs}, journal = {CoRR}, volume = {abs/1702.04650}, year = {2017}, url = {http://arxiv.org/abs/1702.04650}, eprinttype = {arXiv}, eprint = {1702.04650}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Padberg17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Padberg016, author = {Julia Padberg and Alexander Schulz}, editor = {Rachid Echahed and Mark Minas}, title = {Model Checking Reconfigurable Petri Nets with Maude}, booktitle = {Graph Transformation - 9th International Conference, {ICGT} 2016, in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria, July 5-6, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9761}, pages = {54--70}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40530-8\_4}, doi = {10.1007/978-3-319-40530-8\_4}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Padberg016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Padberg15, author = {Julia Padberg}, editor = {Francesco Parisi{-}Presicce and Bernhard Westfechtel}, title = {Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs}, booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015, Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9151}, pages = {104--120}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21145-9\_7}, doi = {10.1007/978-3-319-21145-9\_7}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Padberg15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/PadbergB14, author = {Julia Padberg and Mathias Blumreiter}, title = {Non-Deterministic Matching Algorithm for Net Transformations}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {68}, year = {2014}, url = {https://doi.org/10.14279/tuj.eceasst.68.955}, doi = {10.14279/TUJ.ECEASST.68.955}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/PadbergB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/PadbergS14, author = {Julia Padberg and Alexander Schulz}, title = {Towards Model Checking Reconfigurable Petri Nets using Maude}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {68}, year = {2014}, url = {https://doi.org/10.14279/tuj.eceasst.68.953}, doi = {10.14279/TUJ.ECEASST.68.953}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/PadbergS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Padberg14, author = {Julia Padberg}, title = {Reconfigurable Decorated {PT} Nets with Inhibitor Arcs and Transition Priorities}, journal = {CoRR}, volume = {abs/1409.6856}, year = {2014}, url = {http://arxiv.org/abs/1409.6856}, eprinttype = {arXiv}, eprint = {1409.6856}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Padberg14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/Padberg12, author = {Julia Padberg}, title = {Abstract Interleaving Semantics for Reconfigurable Petri Nets}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {51}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.51.775}, doi = {10.14279/TUJ.ECEASST.51.775}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/Padberg12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/PadbergH12, author = {Julia Padberg and Kathrin Hoffmann}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {51}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.51.779.762}, doi = {10.14279/TUJ.ECEASST.51.779.762}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/PadbergH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/PadbergEOH12, author = {Julia Padberg and Marvin Ede and Gerhard Oelker and Kathrin Hoffmann}, title = {ReConNet: {A} Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {54}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.54.774}, doi = {10.14279/TUJ.ECEASST.54.774}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/PadbergEOH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GolasHERP10, author = {Ulrike Golas and Kathrin Hoffmann and Hartmut Ehrig and Alexander Rein and Julia Padberg}, title = {Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {40}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.40.631}, doi = {10.14279/TUJ.ECEASST.40.631}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/GolasHERP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/OrejasEKPPP10, author = {Fernando Orejas and Hartmut Ehrig and Markus Klein and Julia Padberg and Elvira Pino and Sonia P{\'{e}}rez}, title = {A Generic Approach to Connector Architectures Part {I:} The General Framework}, journal = {Fundam. Informaticae}, volume = {99}, number = {1}, pages = {63--93}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-239}, doi = {10.3233/FI-2010-239}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/OrejasEKPPP10a, author = {Fernando Orejas and Hartmut Ehrig and Markus Klein and Julia Padberg and Elvira Pino and Sonia P{\'{e}}rez}, title = {A Generic Approach to Connector Architectures Part {II:} Instantiation to Petri Nets and {CSP}}, journal = {Fundam. Informaticae}, volume = {99}, number = {1}, pages = {95--124}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-240}, doi = {10.3233/FI-2010-240}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/Padberg08, author = {Julia Padberg}, title = {Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components}, journal = {Appl. Categorical Struct.}, volume = {16}, number = {3}, pages = {333--364}, year = {2008}, url = {https://doi.org/10.1007/s10485-007-9105-4}, doi = {10.1007/S10485-007-9105-4}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/Padberg08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/ReinPLHP08, author = {Alexander Rein and Ulrike Prange and Leen Lambers and Kathrin Hoffmann and Julia Padberg}, title = {Negative Application Conditions for Reconfigurable Place/Transition Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {10}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.10.140}, doi = {10.14279/TUJ.ECEASST.10.140}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/ReinPLHP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BiermannHP08, author = {Enrico Biermann and Kathrin Hoffmann and Julia Padberg}, title = {Layered Architecture Consistency for MANETs: Introducing New Team Members}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {12}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.12.269}, doi = {10.14279/TUJ.ECEASST.12.269}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BiermannHP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HoffmannEP08, author = {Kathrin Hoffmann and Hartmut Ehrig and Julia Padberg}, title = {Flexible Modeling of Emergency Scenarios using Reconfigurable Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {12}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.12.336}, doi = {10.14279/TUJ.ECEASST.12.336}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HoffmannEP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HoffmannP08, author = {Kathrin Hoffmann and Julia Padberg}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {12}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.12.335.290}, doi = {10.14279/TUJ.ECEASST.12.335.290}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HoffmannP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/UllrichP08, author = {Conny Ullrich and Julia Padberg}, title = {Reconfigurable Open Algebraic High-Level Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {14}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.14.192.183}, doi = {10.14279/TUJ.ECEASST.14.192.183}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/UllrichP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PrangeEHP08, author = {Ulrike Prange and Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'{e}} Meseguer}, title = {Transformations in Reconfigurable Place/Transition Systems}, booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5065}, pages = {96--113}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68679-8\_7}, doi = {10.1007/978-3-540-68679-8\_7}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/PrangeEHP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigHGP09, author = {Hartmut Ehrig and Kathrin Hoffmann and Karsten Gabriel and Julia Padberg}, editor = {Jens Chr. Godskesen and Massimo Merro}, title = {Composition and Independence of High-Level Net Processes}, booktitle = {Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {242}, number = {2}, pages = {59--71}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.06.023}, doi = {10.1016/J.ENTCS.2009.06.023}, timestamp = {Fri, 24 Feb 2023 13:34:36 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigHGP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/PadbergEH07, author = {Julia Padberg and Hartmut Ehrig and Kathrin Hoffmann}, title = {Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks}, journal = {Bull. {EATCS}}, volume = {91}, pages = {120--124}, year = {2007}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/PadbergEH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/EhrigHPPE07, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Ulrike Prange and Claudia Ermel}, editor = {Jetty Kleijn and Alexandre Yakovlev}, title = {Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems}, booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4546}, pages = {104--123}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73094-1\_9}, doi = {10.1007/978-3-540-73094-1\_9}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/EhrigHPPE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/PadbergHEMBE07, author = {Julia Padberg and Kathrin Hoffmann and Hartmut Ehrig and Tony Modica and Enrico Biermann and Claudia Ermel}, editor = {Matthew B. Dwyer and Ant{\'{o}}nia Lopes}, title = {Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks}, booktitle = {Fundamental Approaches to Software Engineering, 10th International Conference, {FASE} 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4422}, pages = {383--397}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71289-3\_29}, doi = {10.1007/978-3-540-71289-3\_29}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/PadbergHEMBE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PadbergEO09, author = {Julia Padberg and Hartmut Ehrig and Fernando Orejas}, editor = {Juliana K{\"{u}}ster Filipe Bowles and Iman Poernomo and Ralf H. Reussner}, title = {Towards Component Verification in the Generic Component Framework}, booktitle = {Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {7}, pages = {37--53}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.03.025}, doi = {10.1016/J.ENTCS.2009.03.025}, timestamp = {Mon, 13 Feb 2023 13:42:26 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PadbergEO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Foreword}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {2}, year = {2006}, url = {https://doi.org/10.14279/tuj.eceasst.2.58.30}, doi = {10.14279/TUJ.ECEASST.2.58.30}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BaldanEPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/PadbergMT06, author = {Julia Padberg and Tiziana Margaria and Gabriele Taentzer}, title = {Editorial}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {4}, year = {2006}, url = {https://doi.org/10.14279/tuj.eceasst.4.29.1}, doi = {10.14279/TUJ.ECEASST.4.29.1}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/PadbergMT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/EhrigPPH06, author = {Hartmut Ehrig and Julia Padberg and Ulrike Prange and Annegret Habel}, title = {Adhesive High-Level Replacement Systems: {A} New Categorical Framework for Graph Transformation}, journal = {Fundam. Informaticae}, volume = {74}, number = {1}, pages = {1--29}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/EhrigPPH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/PadbergE06, author = {Julia Padberg and Hartmut Ehrig}, title = {Petri net modules in the transformation-based component framework}, journal = {J. Log. Algebraic Methods Program.}, volume = {67}, number = {1-2}, pages = {198--225}, year = {2006}, url = {https://doi.org/10.1016/j.jlap.2005.09.007}, doi = {10.1016/J.JLAP.2005.09.007}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/PadbergE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Workshop on Petri Nets and Graph Transformations}, booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4178}, pages = {467--469}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_35}, doi = {10.1007/11841883\_35}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KleinPO07, author = {Markus Klein and Julia Padberg and Fernando Orejas}, editor = {Juliana K{\"{u}}ster Filipe Bowles and Iman Poernomo and Ralf H. Reussner}, title = {Towards Multiple Access in Generic Component Architectures}, booktitle = {Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {2}, pages = {25--45}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.02.030}, doi = {10.1016/J.ENTCS.2006.02.030}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/KleinPO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Padberg05, author = {Julia Padberg}, title = {Integration of the Generic Component Concepts for System Modeling with Adhesive {HLR} Systems}, journal = {Bull. {EATCS}}, volume = {87}, pages = {138--154}, year = {2005}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Padberg05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PadbergK05, author = {Julia Padberg and Hans{-}J{\"{o}}rg Kreowski}, editor = {Hans{-}J{\"{o}}rg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Loose Semantics of Petri Nets}, booktitle = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3393}, pages = {370--384}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31847-7\_22}, doi = {10.1007/978-3-540-31847-7\_22}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/PadbergK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2004pngt, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/127/issue/2}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gg/2004pngt.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/Padberg04, author = {Julia Padberg}, title = {Safety Properties in Petri Net Modules}, journal = {Trans. {SDPS}}, volume = {8}, number = {4}, pages = {65--78}, year = {2004}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid8-4-05}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/Padberg04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigHPP04, author = {Hartmut Ehrig and Annegret Habel and Julia Padberg and Ulrike Prange}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Adhesive High-Level Replacement Categories and Systems}, booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {144--160}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_12}, doi = {10.1007/978-3-540-30203-2\_12}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigHPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigPR04, author = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Workshop on Petri Nets and Graph Transformations}, booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {442--444}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_34}, doi = {10.1007/978-3-540-30203-2\_34}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigPR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigPR05, author = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Preface}, booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, pages = {1--3}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.002}, doi = {10.1016/J.ENTCS.2005.02.002}, timestamp = {Mon, 12 Dec 2022 14:22:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigPBKOPP04, author = {Hartmut Ehrig and Julia Padberg and Benjamin Braatz and Markus Klein and Fernando Orejas and Sonia P{\'{e}}rez and Elvira Pino}, editor = {Juliana K{\"{u}}ster Filipe and Iman Poernomo and Ralf H. Reussner and Sandeep K. Shukla}, title = {A Generic Framework for Connector Architectures based on Components and Transformations}, booktitle = {Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {108}, pages = {53--67}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.01.012}, doi = {10.1016/J.ENTCS.2004.01.012}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigPBKOPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigHP06, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg}, editor = {Reiko Heckel}, title = {Transformations of Petri Nets}, booktitle = {Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl, Germany, May 3-7, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {148}, number = {1}, pages = {151--172}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.12.016}, doi = {10.1016/J.ENTCS.2005.12.016}, timestamp = {Fri, 16 Dec 2022 13:13:21 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigHP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/EhrigP03, author = {Hartmut Ehrig and Julia Padberg}, editor = {J{\"{o}}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg}, title = {Graph Grammars and Petri Net Transformations}, booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003. In addition to lectures given at {ACPN} 2003, additional chapters have been commissioned]}, series = {Lecture Notes in Computer Science}, volume = {3098}, pages = {496--536}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-27755-2\_14}, doi = {10.1007/978-3-540-27755-2\_14}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/EhrigP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/WeberERBLDWMPEQ03, author = {Herbert Weber and Hartmut Ehrig and Wolfgang Reisig and Alexander Borusan and Sabine Lembke and Juliane Dehnert and Michael Weber and Axel Martens and Julia Padberg and Claudia Ermel and Anilda Qemali}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Petri Net Baukasten of the {DFG} Forschergruppe {PETRI} {NET} {TECHNOLOGY}}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {1--21}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_1}, doi = {10.1007/978-3-540-40022-6\_1}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/dfg/WeberERBLDWMPEQ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/PadbergU03, author = {Julia Padberg and Milan Urb{\'{a}}sek}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Rule-Based Refinement of Petri Nets: {A} Survey}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {161--196}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_9}, doi = {10.1007/978-3-540-40022-6\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/PadbergU03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Padberg03, author = {Julia Padberg}, editor = {Roswitha Bardohl and Hartmut Ehrig}, title = {Case Study: Modelling Telecom Services with Petri Net Modules}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, pages = {34--45}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80745-X}, doi = {10.1016/S1571-0661(04)80745-X}, timestamp = {Thu, 08 Dec 2022 11:16:42 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Padberg03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/PadbergWS02, author = {Julia Padberg and Herbert Weber and Asuman S{\"{u}}nb{\"{u}}l}, title = {Petri Net Based Components for Evolvable Architectures}, journal = {Trans. {SDPS}}, volume = {6}, number = {3}, pages = {105--114}, year = {2002}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-3-07}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/PadbergWS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/EhrigP02, author = {Hartmut Ehrig and Julia Padberg}, title = {Component-Based System Development}, journal = {Trans. {SDPS}}, volume = {6}, number = {4}, pages = {1}, year = {2002}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-01}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/EhrigP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/Padberg02, author = {Julia Padberg}, title = {Petri Net Modules}, journal = {Trans. {SDPS}}, volume = {6}, number = {4}, pages = {105--120}, year = {2002}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-07}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/Padberg02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigHPBH02, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Paolo Baldan and Reiko Heckel}, editor = {Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"{a}}ki and Arto Salomaa}, title = {High-Level Net Processes}, booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]}, series = {Lecture Notes in Computer Science}, volume = {2300}, pages = {191--219}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45711-9\_12}, doi = {10.1007/3-540-45711-9\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigHPBH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BardohlEP02, author = {Roswitha Bardohl and Claudia Ermel and Julia Padberg}, editor = {Andrea Corradini and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Transforming Specification Architectures by GenGED}, booktitle = {Graph Transformation, First International Conference, {ICGT} 2002, Barcelona, Spain, October 7-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2505}, pages = {30--44}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45832-8\_5}, doi = {10.1007/3-540-45832-8\_5}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/BardohlEP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/PadbergE02, author = {Julia Padberg and Bettina Enders}, editor = {Andrea Corradini and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems}, booktitle = {Graph Transformation, First International Conference, {ICGT} 2002, Barcelona, Spain, October 7-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2505}, pages = {334--350}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45832-8\_25}, doi = {10.1007/3-540-45832-8\_25}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/PadbergE02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Padberg03a, author = {Julia Padberg}, editor = {Reiko Heckel and Tom Mens and Michel Wermelinger}, title = {Basic Ideas for Transformations of Specification Architectures}, booktitle = {Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {4}, pages = {46--58}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80625-X}, doi = {10.1016/S1571-0661(04)80625-X}, timestamp = {Tue, 06 Dec 2022 16:49:29 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Padberg03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/EhrigGP01, author = {Hartmut Ehrig and Michael Goedicke and Julia Padberg}, title = {Integration and Collaboration Based on Graphical Techniques (Editorial)}, journal = {Trans. {SDPS}}, volume = {5}, number = {1}, pages = {1--2}, year = {2001}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-01}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/EhrigGP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/PadbergJESH01, author = {Julia Padberg and L. Jansen and Hartmut Ehrig and Eckehard Schnieder and Reiko Heckel}, title = {Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}, journal = {Trans. {SDPS}}, volume = {5}, number = {1}, pages = {3--21}, year = {2001}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-02}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/PadbergJESH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/SunbulWP01, author = {Asuman S{\"{u}}nb{\"{u}}l and Herbert Weber and Julia Padberg}, title = {Evolutionary Development of Business Process Centered Architectures using Component Technologies}, journal = {Trans. {SDPS}}, volume = {5}, number = {3}, pages = {13--24}, year = {2001}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-3-03}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/SunbulWP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/PadbergGE01, author = {Julia Padberg and Magdalena Gajewsky and Claudia Ermel}, title = {Rule-based refinement of high-level nets preserving safety properties}, journal = {Sci. Comput. Program.}, volume = {40}, number = {1}, pages = {97--118}, year = {2001}, url = {https://doi.org/10.1016/S0167-6423(00)00022-8}, doi = {10.1016/S0167-6423(00)00022-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/PadbergGE01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/PadbergE01, author = {Julia Padberg and Hartmut Ehrig}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Parameterized Net Classes: {A} Uniform Approach to Petri Net Classes}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {173--229}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_7}, doi = {10.1007/3-540-45541-8\_7}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/PadbergE01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/PadbergER01, author = {Julia Padberg and Hartmut Ehrig and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {230--249}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_8}, doi = {10.1007/3-540-45541-8\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/PadbergER01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ErmelBP01, author = {Claudia Ermel and Roswitha Bardohl and Julia Padberg}, editor = {Hartmut Ehrig and Claudia Ermel and Julia Padberg}, title = {Visual Design of Software Architecture and Evolution based on Graph Transformation}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March 31 - April 1, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44}, number = {4}, pages = {52--66}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80943-5}, doi = {10.1016/S1571-0661(04)80943-5}, timestamp = {Thu, 01 Dec 2022 11:20:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ErmelBP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigEP01, author = {Hartmut Ehrig and Claudia Ermel and Julia Padberg}, editor = {Hartmut Ehrig and Claudia Ermel and Julia Padberg}, title = {Preface}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March 31 - April 1, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44}, number = {4}, pages = {188--189}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80952-1}, doi = {10.1016/S1571-0661(05)80952-1}, timestamp = {Thu, 01 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigEP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/Padberg01, author = {Julia Padberg}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Classification of Petri Nets Using Adjoint Functors}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {171--179}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 22:52:51 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/Padberg01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigPO01, author = {Hartmut Ehrig and Julia Padberg and Fernando Orejas}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {From Basic Views and Aspects to Integration of Specification Formalisms}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {202--214}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigPO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/2001u, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8}, doi = {10.1007/3-540-45541-8}, isbn = {3-540-43067-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/2001u.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/unigra/2001, editor = {Hartmut Ehrig and Claudia Ermel and Julia Padberg}, title = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March 31 - April 1, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44}, number = {4}, publisher = {Elsevier}, year = {2001}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/4}, timestamp = {Thu, 01 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/unigra/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/PadbergHG00, author = {Julia Padberg and Kathrin Hoffmann and Magdalena Gajewsky}, editor = {T. S. E. Maibaum}, title = {Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems}, booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1783}, pages = {249--265}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46428-X\_18}, doi = {10.1007/3-540-46428-X\_18}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/PadbergHG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/PadbergEB00, author = {Julia Padberg and Claudia Ermel and Roswitha Bardohl}, editor = {Jos{\'{e}} D. P. Rolim and Andrei Z. Broder and Andrea Corradini and Roberto Gorrieri and Reiko Heckel and Juraj Hromkovic and Ugo Vaccaro and J. B. Wells}, title = {Rule-Based and Visual Model Evolution using {GENGED}}, booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000}, pages = {467--476}, publisher = {Carleton Scientific, Waterloo, Ontario, Canada}, year = {2000}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/icalp/PadbergEB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/Padberg99, author = {Julia Padberg}, title = {Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems}, journal = {Appl. Categorical Struct.}, volume = {7}, number = {4}, pages = {371--403}, year = {1999}, url = {https://doi.org/10.1023/A:1008695316594}, doi = {10.1023/A:1008695316594}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/Padberg99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigPO99, author = {Hartmut Ehrig and Julia Padberg and Fernando Orejas}, title = {From Basic Views and Aspects to Integration of Specification Formalisms}, journal = {Bull. {EATCS}}, volume = {69}, pages = {98--109}, year = {1999}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigPO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Padberg98, author = {Julia Padberg}, title = {Classification of Petri Nets Using Adjoint Functors}, journal = {Bull. {EATCS}}, volume = {66}, pages = {85--91}, year = {1998}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Padberg98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/PadbergGE98, author = {Julia Padberg and Magdalena Gajewsky and Claudia Ermel}, editor = {Egidio Astesiano}, title = {Rule-Based Refinement of High-Level Nets Preserving Safety Properties}, booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1382}, pages = {221--238}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053593}, doi = {10.1007/BFB0053593}, timestamp = {Sat, 07 Sep 2019 11:59:24 +0200}, biburl = {https://dblp.org/rec/conf/fase/PadbergGE98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/EhrigHLOPR98, author = {Hartmut Ehrig and Reiko Heckel and Merc{\`{e}} Llabr{\'{e}}s and Fernando Orejas and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Double-Pullback Graph Transitions: {A} Rule-Based Framework with Incomplete Information}, booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, pages = {85--102}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_7}, doi = {10.1007/978-3-540-46464-8\_7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tagt/EhrigHLOPR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/PadbergGH98, author = {Julia Padberg and Magdalena Gajewsky and Kathrin Hoffmann}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Incremental Development of Safety Properties in Petri Net Transformations}, booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, pages = {410--425}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_29}, doi = {10.1007/978-3-540-46464-8\_29}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/PadbergGH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/Padberg98, author = {Julia Padberg}, editor = {Jos{\'{e}} Luiz Fiadeiro}, title = {Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets}, booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1589}, pages = {241--260}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48483-3\_16}, doi = {10.1007/3-540-48483-3\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/Padberg98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigMP97, author = {Hartmut Ehrig and A. Merten and Julia Padberg}, title = {How to Transfer Concepts of Abstract Data Types to Petri Nets?}, journal = {Bull. {EATCS}}, volume = {62}, year = {1997}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigMP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigP97, author = {Hartmut Ehrig and Julia Padberg}, editor = {Christian Freksa and Matthias Jantzen and R{\"{u}}diger Valk}, title = {A Uniform Approach to Petri Nets}, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday}, series = {Lecture Notes in Computer Science}, volume = {1337}, pages = {219--231}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0052090}, doi = {10.1007/BFB0052090}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/EhrigGKP97, author = {Hartmut Ehrig and Robert Geisler and Marcus Klar and Julia Padberg}, editor = {Antoni W. Mazurkiewicz and J{\'{o}}zef Winkowski}, title = {Horizontal and Vertical Structuring Techniques for Statecharts}, booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1243}, pages = {181--195}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63141-0\_13}, doi = {10.1007/3-540-63141-0\_13}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/EhrigGKP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0084471, author = {Julia Padberg}, title = {Abstract Petri nets - uniform approach and rule-based refinement}, series = {Berichte aus der Informatik}, publisher = {Shaker}, year = {1996}, url = {https://d-nb.info/948270896}, isbn = {978-3-8265-1698-6}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0084471.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/PadbergER95, author = {Julia Padberg and Hartmut Ehrig and Leila Ribeiro}, title = {Algebraic High-Level Net Transformation Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {5}, number = {2}, pages = {217--256}, year = {1995}, url = {https://doi.org/10.1017/S0960129500000724}, doi = {10.1017/S0960129500000724}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/PadbergER95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigP94, author = {Hartmut Ehrig and Julia Padberg}, title = {Linking Algebraic High level Nets and Dynamic Abstract Data}, journal = {Bull. {EATCS}}, volume = {54}, pages = {132--144}, year = {1994}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/CorradiniELMP94, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Julia Padberg}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {The Category of Typed Graph Grammars and its Adjunctions with Categories}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {56--74}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_79}, doi = {10.1007/3-540-61228-9\_79}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/CorradiniELMP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Padberg93, author = {Julia Padberg}, title = {Algebreic high-level net transformation systems: a survey over theory and applications}, journal = {Bull. {EATCS}}, volume = {51}, pages = {102--110}, year = {1993}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Padberg93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbes/0001EP93, author = {Leila Ribeiro and Hartmut Ehrig and Julia Padberg}, editor = {Julio C{\'{e}}sar Sampaio do Prado Leite and Ana Regina Cavalcanti da Rocha and Cl{\'{a}}udia L. R. Motta and Marcelo Gattass and Pedro Manoel da Silveira and Roberto Antonio Rodrigues de Almeida}, title = {Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations}, booktitle = {Proceedings of the 7th Brazilian Symposium on Software Engineering, {SBES} 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993}, pages = {1--16}, publisher = {{SBC}}, year = {1993}, url = {https://doi.org/10.5753/sbes.1993.24392}, doi = {10.5753/SBES.1993.24392}, timestamp = {Tue, 06 Feb 2024 14:19:46 +0100}, biburl = {https://dblp.org/rec/conf/sbes/0001EP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigPR92, author = {Hartmut Ehrig and Julia Padberg and Leila Ribeiro}, editor = {Hartmut Ehrig}, title = {Algebraic High-Level Nets: Petri Nets Revisited}, booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {785}, pages = {188--206}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-57867-6\_11}, doi = {10.1007/3-540-57867-6\_11}, timestamp = {Mon, 02 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compass/EhrigPR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.