skip to content
Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 Preview this item
ClosePreview this item
Checking...

Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016

Author: Hartmut Ehrig; Rachid Echahed; Mark Minas
Publisher: Switzerland : Springer, 2016.
Series: Lecture notes in computer science, 9761.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. The book also contains one keynote paper  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hartmut Ehrig; Rachid Echahed; Mark Minas
ISBN: 9783319405308 3319405306
OCLC Number: 952578397
Notes: International conference proceedings.
Description: 1 online resource.
Contents: Keynote --
Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering --
Foundations --
Sesqui-Pushout Rewriting with Type Refinements --
Parallelism in AGREE Transformations --
Model Checking Reconfigurable Petri Nets with Maude --
Tools and Algorithms --
A Software Package for Chemically Inspired Graph Transformation --
A Tool Environment for Managing Families of Model Transformation Rules --
Compiling Graph Programs to C --
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.-Queries --
Rete Network Slicing for Model Queries --
An SQL-Based Query Language and Engine for Graph Pattern Matching --
On the Operationalization of Graph Queries with Generalized Discrimination Networks --
Applications --
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework --
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions --
Using Graph Transformation for Puzzle Game Level Generation and Validation --
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .
Series Title: Lecture notes in computer science, 9761.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: ICGT 2016
Responsibility: Rachid Echahed, Mark Minas (eds.).

Abstract:

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The book is  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/952578397> # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "952578397" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/511.5/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3338289204#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/3338289204#Topic/graph_theory_data_processing> ; # Graph theory--Data processing
    schema:alternateName "ICGT 2016" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3338289204#Meeting/staf_federation_of_conferences_2016_vienna_austria> ; # STAF (Federation of conferences) (2016 : Vienna, Austria),
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3338289204#Person/ehrig_hartmut> ; # Hartmut Ehrig
    schema:creator <http://experiment.worldcat.org/entity/work/data/3338289204#Meeting/icgt_conference_9th_2016_vienna_austria> ; # ICGT (Conference) (9th : 2016 : Vienna, Austria)
    schema:datePublished "2016" ;
    schema:description "Keynote -- Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering -- Foundations -- Sesqui-Pushout Rewriting with Type Refinements -- Parallelism in AGREE Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software Package for Chemically Inspired Graph Transformation -- A Tool Environment for Managing Families of Model Transformation Rules -- Compiling Graph Programs to C -- An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.-Queries -- Rete Network Slicing for Model Queries -- An SQL-Based Query Language and Engine for Graph Pattern Matching -- On the Operationalization of Graph Queries with Generalized Discrimination Networks -- Applications -- The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework -- Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions -- Using Graph Transformation for Puzzle Game Level Generation and Validation -- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ."@en ;
    schema:description "This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume. ."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/3338289204#Person/minas_mark> ; # Mark Minas
    schema:editor <http://experiment.worldcat.org/entity/work/data/3338289204#Person/echahed_rachid> ; # Rachid Echahed
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3338289204> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3338289204#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3338289204#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3338289204#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:name "Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016"@en ;
    schema:productID "952578397" ;
    schema:url <http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-40530-8> ;
    schema:url <http://proxy.artic.edu/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <https://proxy1.library.eiu.edu/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-40530-8> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-40529-2> ;
    schema:url <https://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-40530-8> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://link.springer.com/10.1007/978-3-319-40530-8> ;
    schema:workExample <http://worldcat.org/isbn/9783319405308> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/952578397> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3338289204#Meeting/icgt_conference_9th_2016_vienna_austria> # ICGT (Conference) (9th : 2016 : Vienna, Austria)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3338289204#Place/vienna_austria> ; # Vienna, Austria),
    schema:name "ICGT (Conference) (9th : 2016 : Vienna, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Meeting/staf_federation_of_conferences_2016_vienna_austria> # STAF (Federation of conferences) (2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3338289204#Place/vienna_austria> ; # Vienna, Austria),
    schema:name "STAF (Federation of conferences) (2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Person/echahed_rachid> # Rachid Echahed
    a schema:Person ;
    schema:familyName "Echahed" ;
    schema:givenName "Rachid" ;
    schema:name "Rachid Echahed" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Person/ehrig_hartmut> # Hartmut Ehrig
    a schema:Person ;
    schema:familyName "Ehrig" ;
    schema:givenName "Hartmut" ;
    schema:name "Hartmut Ehrig" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Person/minas_mark> # Mark Minas
    a schema:Person ;
    schema:familyName "Minas" ;
    schema:givenName "Mark" ;
    schema:name "Mark Minas" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Place/vienna_austria> # Vienna, Austria),
    a schema:Place ;
    schema:name "Vienna, Austria)," ;
    schema:name "Vienna, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/952578397> ; # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/952578397> ; # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/952578397> ; # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/3338289204#Topic/graph_theory_data_processing> # Graph theory--Data processing
    a schema:Intangible ;
    schema:name "Graph theory--Data processing"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-40530-8>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://link.springer.com/openurl?genre=book&isbn=978-3-319-40529-2>
    rdfs:comment "Springer eBooks (Complete Collection)" ;
    .

<http://worldcat.org/isbn/9783319405308>
    a schema:ProductModel ;
    schema:isbn "3319405306" ;
    schema:isbn "9783319405308" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/952578397> ; # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/952578397>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/952578397> ; # Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016
    schema:dateModified "2018-01-05" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.