中文
相关论文

相关论文: Proceedings of the Thirteenth International Worksh…

200 篇论文

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…

形式语言与自动机理论 · 计算机科学 2021-12-21 Berthold Hoffmann , Mark Minas

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…

计算机科学中的逻辑 · 计算机科学 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

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…

计算机科学中的逻辑 · 计算机科学 2026-01-07 Leen Lambers , Oszkár Semeráth

This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, The Netherlands, on July 17th, 2019, as part of STAF 2019…

计算机科学中的逻辑 · 计算机科学 2019-12-20 Rachid Echahed , Detlef Plump

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,…

形式语言与自动机理论 · 计算机科学 2020-12-03 Berthold Hoffmann , Mark Minas

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.…

软件工程 · 计算机科学 2015-04-10 Arend Rensink , Eduardo Zambon

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…

密码学与安全 · 计算机科学 2014-04-08 Barbara Kordy , Sjouke Mauw , Wolter Pieters

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…

计算机科学中的逻辑 · 计算机科学 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

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…

计算机科学中的逻辑 · 计算机科学 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…

数据结构与算法 · 计算机科学 2016-12-06 Alexander Heußner , Aleks Kissinger , Anton Wijs

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…

计算机科学中的逻辑 · 计算机科学 2017-12-25 Timo Kehrer , Alice Miller

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

计算机科学中的逻辑 · 计算机科学 2024-10-01 Sandra Alves , Ian Mackie

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…

计算机科学中的逻辑 · 计算机科学 2011-02-14 Rachid Echahed

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…

符号计算 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

符号计算 · 计算机科学 2021-02-04 Patrick Bahr

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…

计算机科学中的逻辑 · 计算机科学 2016-03-03 César A. Muñoz , Jorge A. Pérez

This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…

计算机科学中的逻辑 · 计算机科学 2014-04-01 Mauricio Ayala-Rincón , Eduardo Bonelli , Ian Mackie

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…

软件工程 · 计算机科学 2019-12-23 Reiko Heckel , Leen Lambers , Maryam Ghaffari Saadat

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

计算工程、金融与科学 · 计算机科学 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk
‹ 上一页 1 2 3 10 下一页 ›