The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pushout with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1995 (19) 1996-1999 (16) 2000-2002 (17) 2003-2005 (15) 2006-2007 (18) 2008-2009 (17) 2010-2018 (16) 2019-2023 (15)
Publication types (Num. hits)
article(40) incollection(2) inproceedings(91)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 52 occurrences of 47 keywords

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