Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | Debashis Basak, Abhijit K. Choudhury, Ellen L. Hahne |
Sharing memory in multistage ATM switches. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
multistage ATM switches, shared-memory switching elements, banyan topology, output queueing, local cell buffer memory, buffer management technique, delayed pushout, backpressure mechanism, telecommunication traffic, bursty traffic, load conditions |
116 | Michael Löwe, Hartmut Ehrig |
Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. |
WG |
1990 |
DBLP DOI BibTeX RDF |
|
71 | Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001 |
Sesqui-Pushout Rewriting. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001 |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Adrian-Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy |
Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
Contextual hypergraph grammars, contextual grammars, hyperedge replacement grammars, double-pushout hypergraph grammars, hypergraphs |
55 | Francesco Parisi-Presicce |
Single vs. Double Pushout Derivations of Graphs. |
WG |
1992 |
DBLP DOI BibTeX RDF |
|
49 | Andrea Corradini 0001, Dominique Duval, Michael Löwe, Leila Ribeiro 0001, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues |
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. |
Graph Transformation, Specifications, and Nets |
2018 |
DBLP DOI BibTeX RDF |
|
49 | Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro 0001, Annika Wagner, Andrea Corradini 0001 |
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. |
Handbook of Graph Grammars |
1997 |
DBLP BibTeX RDF |
|
46 | Thomas Soboll |
On the Construction of Transformation Steps in the Category of Multiagent Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Gabriele Taentzer |
Distributed Graphs and Graph Transformation. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, formal specification, graph transformation |
43 | Hussein Karam, Aboul Ella Hassanien, Masayuki Nakajima 0001 |
Visual Simulation of Texture/Non-Texture Image Synthesis. |
Computer Graphics International |
2000 |
DBLP DOI BibTeX RDF |
Double-pushout Construction, Texture Synthesis, Fractals, Graph Grammars, L-System, Pattern Generation, Graph Productions |
43 | Vijay Srinivasan, Anoop Ghanwani, Erol Gelenbe |
A simulation study of schemes for block loss reduction in ATM networks using FEC and buffer management. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
block loss reduction, block loss rate, priority-based cell discarding, adaptive pushout algorithm, ADP algorithm, simulation, quality-of-service, asynchronous transfer mode, correlations, ATM network, FEC, forward error correction, buffer management, performance metrics, performance enhancement |
40 | Dominique Duval, Rachid Echahed, Frédéric Prost |
A Heterogeneous Pushout Approach to Term-Graph Transformation. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Andrew Solomon |
Pushout: A Mathematical Model of Architectural Merger. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Kumar Padmanabh |
Cost Sensitive Pushout Policy and Expelling Policy with Dynamic Threshold for Shared memory switches with Versatile Traffic. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Hans Jürgen Schneider |
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi |
A 2-groupoid Characterisation of the Cubical Homotopy Pushout. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track |
40 | P. M. van den Broek |
Algebraic Graph Rewriting Using a Single Pushout. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Maxime Rebout, Louis Féraud, Sergei Soloviev 0001 |
A Unified Categorical Approach for Attributed Graph Rewriting. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Hartmut Ehrig, Fernando Orejas, Ulrike Prange |
Categorical Foundations of Distributed Graph Transformation. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Annegret Habel, Detlef Plump |
Relabelling in Graph Transformation. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001 |
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints |
31 | Frank Drewes, Berthold Hoffmann, Detlef Plump |
Hierarchical Graph Transformation. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Abhijit K. Choudhury, Ellen L. Hahne |
Dynamic queue length thresholds for shared-memory packet switches. |
IEEE/ACM Trans. Netw. |
1998 |
DBLP DOI BibTeX RDF |
pushout, queue length thresholds, shared-memory switch, asynchronous transfer mode, memory management, adaptive thresholds, buffer allocation, dynamic thresholds |
27 | Abhijit K. Choudhury, Ellen L. Hahne |
A new buffer management scheme for hierarchical shared memory switches. |
IEEE/ACM Trans. Netw. |
1997 |
DBLP DOI BibTeX RDF |
backpressure, buffer memories, hierarchical switch, pushout, asynchronous transfer mode, memory management, shared memory systems, priorities, queuing analysis, losses |
25 | Robert Söldner, Detlef Plump |
Formalising the Double-Pushout Approach to Graph Transformation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Jens Kosiol, Gabriele Taentzer |
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yukang Jiang, Naoto Miyoshi |
Joint Performance Analysis of Ages of Information in a Multi-Source Pushout Server. |
IEEE Trans. Inf. Theory |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Tikhon Pshenitsyn |
From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality. |
TERMGRAPH@FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Robert Söldner, Detlef Plump |
Towards Mechanised Proofs in Double-Pushout Graph Transformation. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Stünkel, Harald König |
Single pushout rewriting in comprehensive systems of graph-like structures. |
Theor. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Kristopher Brown, Evan Patterson, James P. Fairbanks |
Double pushout rewriting of C-sets. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
25 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. |
ICGT |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yukang Jiang, Naoto Miyoshi |
Joint performance analysis of ages of information in a multi-source pushout server. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
25 | Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer |
Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs. |
J. Log. Algebraic Methods Program. |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Wojciech Palacz, Iwona Grabska-Gradzinska |
Textual Representation of Pushout Transformation Rules. |
CDVE |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Harald König, Patrick Stünkel |
Single Pushout Rewriting in Comprehensive Systems. |
ICGT |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Nicolas Behr |
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. |
ICGT |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Till Mossakowski, Bernd Krieg-Brückner |
Partial pushout semantics of generics in DOL. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Double-Pushout Rewriting in Context. |
STAF Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
The Pullback-Pushout Approach to Algebraic Graph Transformation. |
ICGT |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Sesqui-Pushout Rewriting with Type Refinements. |
ICGT |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Marius Tempelmeier |
On Single-Pushout Rewriting of Partial Algebras. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Polymorphic Sesqui-Pushout Graph Rewriting. |
ICGT |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Marius Tempelmeier |
Single-Pushout Rewriting of Partial Algebras. |
GCM@ICGT |
2015 |
DBLP BibTeX RDF |
|
25 | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
Reversible Sesqui-Pushout Rewriting. |
ICGT |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Harald König, Christoph Schulz 0002 |
Polymorphic Single-Pushout Graph Transformation. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Kazushige Hayashi, Shigeo Shioda, Nobuyoshi Komuro, Shiro Sakata, Tutomu Murase |
Adaptive Pushout: A Buffer Management Scheme to Improve TCP Fairness in Wireless LANs. |
VTC Spring |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Marvin Heumüller, Salil Joshi 0002, Barbara König 0001, Jan Stückrath |
Construction of Pushout Complements in the Category of Hypergraphs. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Benjamin Braatz, Ulrike Golas, Thomas Soboll |
How to delete categorically - Two pushout complement constructions. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Leszek Kotulski, Adam Sedziwy |
Parallel Graph Transformations with Double Pushout Grammars. |
ICAISC (2) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Shigeo Shioda, Hiroto Iijima, Tamaki Nakamura, Shiro Sakata, Yumi Hirano, Tutomu Murase |
ACK pushout to achieve TCP fairness under the existence of bandwidth asymmetry. |
PM2HW2N@MSWiM |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Kahl |
Amalgamating Pushout and Pullback Graph Transformation in Collagories. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Dominique Duval, Rachid Echahed, Frédéric Prost |
A Cloning Pushout Approach to Term-Graph Transformation |
CoRR |
2008 |
DBLP BibTeX RDF |
|
25 | Hans J. Schneider |
Relabeling and the Independence Theorem in the Double-Pushout Approach to Graph Transformations. |
Bull. EATCS |
2007 |
DBLP BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
The uniqueness condition for the double pushout transformation of algebras. |
Inf. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ricardo Alberich, Mercè Llabrés, Francesc Rosselló |
Single-Pushout Transformation Of Total Algebras. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Ruey-Bin Yang, Yuan-Sun Chu, Cheng-Shong Wu, Ming-Cheng Liang |
Pushout with virtual thresholds buffer management scheme in a shared buffer ATM switch. |
Int. J. Netw. Manag. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Martin Streibl, Kai Esmark, A. Sieck, Wolfgang Stadler, M. Wendel, J. Szatkowski, Harald Gossner |
Harnessing the base-pushout effect for ESD protection in bipolar and BiCMOS technologies. |
Microelectron. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Mercè Llabrés, Francesc Rosselló |
Pushout Complements for Partly Total Algebras. |
Math. Struct. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ruey-Bin Yang, Yuan-Sun Chu, Ming-Cheng Liang, Cheng-Shong Wu |
Pushout with global thresholds buffer control scheme in a shared buffer ATM switch. |
ICON |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Towards a Double Pushout Transformation of Algebras. |
GETGRATS Closing Workshop |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-pushout graph transformation revisited. |
Math. Struct. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Julian D. Ho, Samar Singh, Neeraj K. Sharma |
Analytical modeling of multicast-pushout in shared-memory ATM switches. |
ICC |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente |
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Pushout Complements for Arbitrary Partial Algebras. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Unfolding of Double-Pushout Graph Grammars is a Coreflection. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-Pushout Approach with Injective Matching. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Double-Pushout Hypergraph Rewriting Using Total Conformisms. |
Fundam. Informaticae |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Francesc Rosselló, Joan Torrens, Gabriel Valiente |
Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Yu-Sheng Lin, C. Bernard Shung |
Quasi-pushout cell discarding. |
IEEE Commun. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Ugo Montanari, Francesca Rossi 0001, Hartmut Ehrig, Reiko Heckel, Michael Löwe |
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. |
Handbook of Graph Grammars |
1997 |
DBLP BibTeX RDF |
|
25 | Paulo A. S. Veloso |
On Pushout Consistency, Modularity and Interpolation for Logical Specifications. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Abhijit K. Choudhury, Ellen L. Hahne |
New implementation of multi-priority pushout for shared memory ATM switches. |
Comput. Commun. |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Martin Korff, Leila Ribeiro 0001 |
Concurrent derivations as single pushout graph grammar processes. |
SEGRAGRA |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Richard Banach |
Locating the Contractum in the Double Pushout Approach. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Algebraic Approach to Single-Pushout Graph Transformation. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Michael Löwe |
Parallel and Distributed Derivations in the Single-Pushout Approach. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Martin Korff |
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
Abstract Graph Derivations in the Double Pushout Approach. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Yasuo Kawahara, Yoshihiro Mizoguchi |
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Michael Löwe |
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. |
Informatik zwischen Wissenschaft und Gesellschaft |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Yasuo Kawahara |
Pushout-Complements and Basic Concepts of Grammars in Toposes. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Bernt Lindström |
On Strong Joins and Pushout of Combinatorial Geometries. |
J. Comb. Theory, Ser. A |
1978 |
DBLP DOI BibTeX RDF |
|
15 | Jorge Martinez 0001, Eric Richard Zenk |
Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames. |
Appl. Categorical Struct. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D22, Secondary 18A20 - 18A30 |
15 | Michel Bauderon, Rui Chen, Olivier Ly |
Context-Free Categorical Grammars. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
context-freeness, grammar, Category, rewriting system |
15 | Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 |
Unfolding Grammars in Adhesive Categories. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Prange, Hartmut Ehrig, Leen Lambers |
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18A30, 18A32, 18C10, 18D99 |
15 | Andrea Corradini 0001, Frank Hermann 0001, Pawel Sobocinski 0001 |
Subobject Transformation Systems. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42 |
15 | Christian Koehler 0001, Farhad Arbab, Erik P. de Vink |
Reconfiguring Distributed Reo Connectors. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Salil Joshi 0002, Barbara König 0001 |
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg |
Transformations in Reconfigurable Place/Transition Systems. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Xinlin Zhang, Huaikou Miao, Shenghong Li |
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Debjit Sinha, Gregory Schaeffer, Soroush Abbaspour, Alex Rubin, Frank Borkam |
Constrained aggressor set selection for maximum coupling noise. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Guilherme Rangel, Leen Lambers, Barbara König 0001, Hartmut Ehrig, Paolo Baldan |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
Parallel and Sequential Independence for Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Esther Guerra, Juan de Lara |
Event-driven grammars: relating abstract and concrete levels of visual languages. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars |