Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
15
views
25
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,395
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Entertainment Computing - ICEC 2006
Symbolic Model Generation for Graph Properties
other
Author(s):
Sven Schneider
,
Leen Lambers
,
Fernando Orejas
Publication date
(Online):
March 22 2017
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Exponential Random Graph Models
Most cited references
25
Record
: found
Abstract
: not found
Book Chapter
: not found
THE EXPRESSION OF GRAPH PROPERTIES AND GRAPH TRANSFORMATIONS IN MONADIC SECOND-ORDER LOGIC
B. Courcelle
(1997)
0
comments
Cited
33
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Handbook of Graph Grammars and Computing by Graph Transformation
Grzegorz Rozenberg
(1997)
0
comments
Cited
27
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Query languages for graph databases
Peter T. Wood
(2012)
0
comments
Cited
26
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
March 22 2017
Pages
: 226-243
DOI:
10.1007/978-3-662-54494-5_13
SO-VID:
0b2794dc-e4eb-4cdb-98a6-f336bbc7bdf0
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Multi-purpose Syntax Definition with SDF3
pp. 3
On the Impact of the Application Domain on Users’ Susceptibility to the Six Weapons of Influence
pp. 13
Forensic Authorship Attribution Using Compression Distances to Prototypes
pp. 41
Solving the Set Covering Problem with a Shuffled Frog Leaping Algorithm
pp. 59
Classification of EEG Signals for Cognitive Load Estimation Using Deep Learning Architectures
pp. 63
Seasonal Variation in Collective Mood via Twitter Content and Medical Purchases
pp. 77
Virtual-Reality Videos to Relieve Depression
pp. 38
Extending Open Dynamics Engine for Robotics Simulation
pp. 85
Localized Random Shapelets
pp. 125
The Use of Asymmetric Numeral Systems Entropy Encoding in Video Compression
pp. 127
Re-training Deep Neural Networks to Facilitate Boolean Concept Extraction
pp. 143
Universally Composable Oblivious Transfer Based on a Variant of LPN
pp. 146
Qualitative Reachability for Open Interval Markov Chains
pp. 86
SSHCure: A Flow-Based SSH Intrusion Detection System
pp. 133
Taking Neuropsychological Test to the Next Level: Commercial Virtual Reality Video Games for the Assessment of Executive Functions
pp. 164
Hidden Markov Model Modeling of SSH Brute-Force Attacks
pp. 226
Symbolic Model Generation for Graph Properties
pp. 197
Gait Recognition with Multi-region Size Convolutional Neural Network for Authentication with Wearable Sensors
pp. 147
Demonstrating the Differential Impact of Flock Heterogeneity on Multi-agent Herding
pp. 211
Uniform Substitution for Differential Game Logic
pp. 170
Dead Science: Most Resources Linked in Biomedical Articles Disappear in Eight Years
pp. 223
IOS Crowd–Sensing Won’t Hurt a Bit!: AWARE Framework and Sustainable Study Guideline for iOS Platform
pp. 276
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
pp. 237
Depression Management as Lifestyle Management: Exploring Existing Practices and Perceptions Among College Students
pp. 255
Overview of the CLEF eHealth Evaluation Lab 2020
pp. 228
On Prefix Normal Words
pp. 268
Accessibility or Usability of the User Interfaces for Visually Impaired Users? A Comparative Study
pp. 223
Mindtraining: Playful Interaction Techniques for People with Dementia
pp. 310
A Component Model for Control-Intensive Distributed Embedded Systems
pp. 418
A 3D Visualization Approach for Process Training in Office Environments
pp. 303
Rare Pattern Mining on Data Streams
pp. 243
Predicting Alcoholism Recovery from Twitter
pp. 318
HVUAN – A Rapid-Development Framework for Spanish-Speaking Virtual Humans
pp. 262
Enjoyment or Engagement? Role of Social Interaction in Playing Massively Mulitplayer Online Role-Playing Games (MMORPGS)
pp. 285
Gesture Based Automating Household Appliances
pp. 333
Investigation of Multimodal Mobile Applications for Improving Mental Health
pp. 387
ROSMonitoring: A Runtime Verification Framework for ROS
pp. 548
Combining Machine Learning and Simulation to a Hybrid Modelling Approach: Current and Future Directions
pp. 691
NightOwls: A Pedestrians at Night Dataset
pp. 529
Vision-Depth Landmarks and Inertial Fusion for Navigation in Degraded Visual Environments
pp. 621
Distributed Classification of Text Documents on Apache Spark Platform
pp. 633
VIDEODOPE: Applying Persuasive Technology to Improve Awareness of Drugs Abuse Effects
Similar content
3,395
Beyond symbolic and substantive: Strategic disclosure of corporate environmental information in China
Authors:
Xiaohua Meng
,
Saixing Zeng
,
Xuemei Xie
…
Representations of Inigo Jones’s Banqueting House: Development of Sketches and Architectural Symbolism
Authors:
Jérémy Filet
Are dogs sensitive to the human's visual perspective and signs of attention when using a keyboard with arbitrary symbols to communicate?
Authors:
Carine Savalli
,
Briseida Dôgo de Resende
,
César Ades
See all similar
Cited by
2
Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering
Authors:
Alexandru Burdusel
,
Steffen Zschaler
,
Stefan John
Initial Conflicts for Transformation Rules with Nested Application Conditions
Authors:
Leen Lambers
,
Fernando Orejas
See all cited by