English
Related papers

Related papers: Proceedings Tenth International Workshop on Graph …

200 papers

This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as part of STAF (Software Technologies: Applications and…

Logic in Computer Science · Computer Science 2026-01-07 Leen Lambers , Oszkár Semeráth

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

Logic in Computer Science · Computer Science 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling,…

Formal Languages and Automata Theory · Computer Science 2020-12-03 Berthold Hoffmann , Mark Minas

This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph transformation systems, are used in many areas within Computer…

Logic in Computer Science · Computer Science 2019-02-06 Maribel Fernández , Ian Mackie

Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Once such…

Data Structures and Algorithms · Computer Science 2016-12-06 Alexander Heußner , Aleks Kissinger , Anton Wijs

This volume contains the proceedings of the (first) Graphs as Models (GaM) 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the European Joint Conferences on Theory and Practice of Software.…

Software Engineering · Computer Science 2015-04-10 Arend Rensink , Eduardo Zambon

Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spaces, models such as UML and other types of domain-specific…

Logic in Computer Science · Computer Science 2017-12-25 Timo Kehrer , Alice Miller

This volume contains the proceedings of the Sixth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011). The workshop took place in Saarbruecken, Germany, on April 2nd, 2011, as part of the fourteenth edition of the…

Logic in Computer Science · Computer Science 2011-02-14 Rachid Echahed

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

Logic in Computer Science · Computer Science 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European…

Symbolic Computation · Computer Science 2013-02-26 Rachid Echahed , Detlef Plump

These are the proceedings of the Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013), which took place on March 24, 2013 in Rome, Italy, as a satellite event of the 16th European Joint Conferences on Theory and…

Data Structures and Algorithms · Computer Science 2013-12-30 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term…

Symbolic Computation · Computer Science 2021-02-04 Patrick Bahr

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 12, 2014, as one of the satellite events of the European…

Cryptography and Security · Computer Science 2014-04-08 Barbara Kordy , Sjouke Mauw , Wolter Pieters

This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Netherlands, as a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2016-09-13 Andrea Corradini , Hans Zantema

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of…

Software Engineering · Computer Science 2019-12-23 Reiko Heckel , Leen Lambers , Maryam Ghaffari Saadat

Graph Foundation Models (GFMs) are emerging as a significant research topic in the graph domain, aiming to develop graph models trained on extensive and diverse data to enhance their applicability across various tasks and domains.…

Machine Learning · Computer Science 2024-06-03 Haitao Mao , Zhikai Chen , Wenzhuo Tang , Jianan Zhao , Yao Ma , Tong Zhao , Neil Shah , Mikhail Galkin , Jiliang Tang
‹ Prev 1 2 3 10 Next ›