Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
135 | Debashis Basak, Abhijit K. Choudhury, Ellen L. Hahne |
Sharing memory in multistage ATM switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 424, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 338-353, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
71 | Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001 |
Sesqui-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 30-45, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001 |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 165-184, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 327-338, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings, pp. 248-262, 1992, Springer, 3-540-56402-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 1-18, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Graph Grammars ![In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, pp. 247-312, 1997, World Scientific, 9810228848. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
46 | Thomas Soboll |
On the Construction of Transformation Steps in the Category of Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 184-190, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Gabriele Taentzer |
Distributed Graphs and Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 431-462, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 2000, Geneva, Switzerland, June 19-24, 2000, pp. 343-351, 2000, IEEE Computer Society, 0-7695-0643-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 124, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 194-208, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Andrew Solomon |
Pushout: A Mathematical Model of Architectural Merger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, pp. 389-399, 2006, Springer, 978-3-540-70880-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 56, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Hans Jürgen Schneider |
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 134-149, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi |
A 2-groupoid Characterisation of the Cubical Homotopy Pushout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(3), pp. 245-255, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 90-102, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Maxime Rebout, Louis Féraud, Sergei Soloviev 0001 |
A Unified Categorical Approach for Attributed Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 398-409, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Hartmut Ehrig, Fernando Orejas, Ulrike Prange |
Categorical Foundations of Distributed Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 215-229, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Annegret Habel, Detlef Plump |
Relabelling in Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 135-147, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 83-110, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 98-113, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Abhijit K. Choudhury, Ellen L. Hahne |
Dynamic queue length thresholds for shared-memory packet switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 6(2), pp. 130-140, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 5(5), pp. 728-738, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15641, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 130, pp. 100820, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yukang Jiang, Naoto Miyoshi |
Joint Performance Analysis of Ages of Information in a Multi-Source Pushout Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 68(2), pp. 965-975, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Tikhon Pshenitsyn |
From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH@FSCD ![In: Proceedings Twelfth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2022, Technion, Haifa, Israel, 1st August 2022., pp. 9-26, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Robert Söldner, Detlef Plump |
Towards Mechanised Proofs in Double-Pushout Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCM@STAF ![In: Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022., pp. 59-75, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Stünkel, Harald König |
Single pushout rewriting in comprehensive systems of graph-like structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 884, pp. 23-43, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.02309, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Kristopher Brown, Evan Patterson, James P. Fairbanks |
Double pushout rewriting of C-sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03784, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Jens Kosiol, Gabriele Taentzer |
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, pp. 22-39, 2021, Springer, 978-3-030-78945-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yukang Jiang, Naoto Miyoshi |
Joint performance analysis of ages of information in a multi-source pushout server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.03404, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 115, pp. 100565, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Wojciech Palacz, Iwona Grabska-Gradzinska |
Textual Representation of Pushout Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering - 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings, pp. 75-80, 2020, Springer, 978-3-030-60815-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Harald König, Patrick Stünkel |
Single Pushout Rewriting in Comprehensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 91-108, 2020, Springer, 978-3-030-51371-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Nicolas Behr |
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCM@STAF ![In: Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019., pp. 23-52, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 21-37, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Till Mossakowski, Bernd Krieg-Brückner |
Partial pushout semantics of generics in DOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 741, pp. 58-70, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Double-Pushout Rewriting in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, pp. 447-462, 2018, Springer, 978-3-030-04770-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, pp. 3-19, 2017, Springer, 978-3-319-61469-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Sesqui-Pushout Rewriting with Type Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: 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, pp. 21-36, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Marius Tempelmeier |
On Single-Pushout Rewriting of Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Polymorphic Sesqui-Pushout Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 3-18, 2015, Springer, 978-3-319-21144-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Marius Tempelmeier |
Single-Pushout Rewriting of Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCM@ICGT ![In: Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015., pp. 82-96, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
25 | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
Reversible Sesqui-Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, pp. 161-176, 2014, Springer, 978-3-319-09107-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe, Harald König, Christoph Schulz 0002 |
Polymorphic Single-Pushout Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 355-369, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 75th IEEE Vehicular Technology Conference, VTC Spring 2012, Yokohama, Japan, May 6-9, 2012, pp. 1-5, 2012, IEEE, 978-1-4673-0989-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Benjamin Braatz, Ulrike Golas, Thomas Soboll |
How to delete categorically - Two pushout complement constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 46(3), pp. 246-271, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Leszek Kotulski, Adam Sedziwy |
Parallel Graph Transformations with Double Pushout Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC (2) ![In: Artifical Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II, pp. 280-288, 2010, Springer, 978-3-642-13231-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PM2HW2N@MSWiM ![In: Proceedings of the 5th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, PM2HW2N@MSWiM 2010, Bodrum, Turkey, October 20-21, 2010, pp. 39-47, 2010, ACM, 978-1-4503-0278-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Kahl |
Amalgamating Pushout and Pullback Graph Transformation in Collagories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings, pp. 362-378, 2010, Springer, 978-3-642-15927-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Dominique Duval, Rachid Echahed, Frédéric Prost |
A Cloning Pushout Approach to Term-Graph Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0811.3400, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Hans J. Schneider |
Relabeling and the Independence Theorem in the Double-Pushout Approach to Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 91, pp. 208-223, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
The uniqueness condition for the double pushout transformation of algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 171(1-3), pp. 93-124, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ricardo Alberich, Mercè Llabrés, Francesc Rosselló |
Single-Pushout Transformation Of Total Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 15(1), pp. 205-222, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 13(2), pp. 147-154, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 43(7), pp. 1001-1010, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Mercè Llabrés, Francesc Rosselló |
Pushout Complements for Partly Total Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 12(2), pp. 177-201, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICON ![In: Proceedings 10th IEEE International Conference on Networks: Towards Network Superiority, ICON 2002, Singapore, August 27-30, 2002., pp. 89-93, 2002, IEEE, 0-7803-7533-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Towards a Double Pushout Transformation of Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETGRATS Closing Workshop ![In: GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, pp. 265-276, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-pushout graph transformation revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 11(5), pp. 637-688, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Julian D. Ho, Samar Singh, Neeraj K. Sharma |
Analytical modeling of multicast-pushout in shared-memory ATM switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2001, June 11-14, Helsinki, Finland, pp. 3140-3144, 2001, IEEE, 0-7803-7097-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente |
Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 216(1-2), pp. 311-362, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Pushout Complements for Arbitrary Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 131-144, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Unfolding of Double-Pushout Graph Grammars is a Coreflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 145-163, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Annegret Habel, Jürgen Müller, Detlef Plump |
Double-Pushout Approach with Injective Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 103-116, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Mercè Llabrés, Francesc Rosselló |
Double-Pushout Hypergraph Rewriting Using Total Conformisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 30(2), pp. 193-226, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Peter Burmeister, Francesc Rosselló, Joan Torrens, Gabriel Valiente |
Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 184(1-2), pp. 145-193, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Yu-Sheng Lin, C. Bernard Shung |
Quasi-pushout cell discarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 1(5), pp. 146-148, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Graph Grammars ![In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, pp. 163-246, 1997, World Scientific, 9810228848. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
25 | Paulo A. S. Veloso |
On Pushout Consistency, Modularity and Interpolation for Logical Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 60(2), pp. 59-66, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Abhijit K. Choudhury, Ellen L. Hahne |
New implementation of multi-priority pushout for shared memory ATM switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 19(3), pp. 245-256, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Martin Korff, Leila Ribeiro 0001 |
Concurrent derivations as single pushout graph grammar processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 177-186, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Richard Banach |
Locating the Contractum in the Double Pushout Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 152(2), pp. 305-320, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Michael Löwe |
Algebraic Approach to Single-Pushout Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 109(1&2), pp. 181-224, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Michael Löwe |
Parallel and Distributed Derivations in the Single-Pushout Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 109(1&2), pp. 123-143, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Martin Korff |
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 234-264, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 86-103, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Yasuo Kawahara, Yoshihiro Mizoguchi |
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Seminar on Graph Transformations in Computer Science ![In: Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings, pp. 218-233, 1993, Springer, 3-540-57787-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Michael Löwe |
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatik zwischen Wissenschaft und Gesellschaft ![In: Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck, pp. 47-65, 1992, Springer, 3-540-55389-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Yasuo Kawahara |
Pushout-Complements and Basic Concepts of Grammars in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 77(3), pp. 267-289, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Bernt Lindström |
On Strong Joins and Pushout of Combinatorial Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 25(1), pp. 77-79, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
15 | Jorge Martinez 0001, Eric Richard Zenk |
Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(5), pp. 467-486, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 160-171, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 350-366, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Prange, Hartmut Ehrig, Leen Lambers |
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(3), pp. 365-388, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(3), pp. 389-419, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 221-235, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 214-226, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg |
Transformations in Reconfigurable Place/Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 96-113, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 416-421, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Debjit Sinha, Gregory Schaeffer, Soroush Abbaspour, Alex Rubin, Frank Borkam |
Constrained aggressor set selection for maximum coupling noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 790-796, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 162-177, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 242-256, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
Parallel and Sequential Independence for Borrowed Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 226-241, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Esther Guerra, Juan de Lara |
Event-driven grammars: relating abstract and concrete levels of visual languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(3), pp. 317-347, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars |