{"id":"https://openalex.org/W2009172267","doi":"https://doi.org/10.1109/vast.2011.6102480","title":"PORGY: Interactive and visual reasoning with graph rewriting systems","display_name":"PORGY: Interactive and visual reasoning with graph rewriting systems","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2009172267","doi":"https://doi.org/10.1109/vast.2011.6102480","mag":"2009172267"},"language":"en","primary_location":{"id":"doi:10.1109/vast.2011.6102480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vast.2011.6102480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE Conference on Visual Analytics Science and Technology (VAST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.inria.fr/inria-00617547","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039742693","display_name":"Bruno Pinaud","orcid":"https://orcid.org/0000-0003-4814-3273"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bruno Pinaud","raw_affiliation_strings":["INRIA, University of Bordeaux 1, Bordeaux, France","University of Bordeaux and INRIA Bordeaux Sud-Ouest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, University of Bordeaux 1, Bordeaux, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I15057530"]},{"raw_affiliation_string":"University of Bordeaux and INRIA Bordeaux Sud-Ouest, France","institution_ids":["https://openalex.org/I15057530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018524253","display_name":"Jonathan L. DuBois","orcid":"https://orcid.org/0000-0003-3154-4273"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jonathan Dubois","raw_affiliation_strings":["INRIA, University of Bordeaux 1, Bordeaux, France","University of Bordeaux and INRIA Bordeaux Sud-Ouest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, University of Bordeaux 1, Bordeaux, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I15057530"]},{"raw_affiliation_string":"University of Bordeaux and INRIA Bordeaux Sud-Ouest, France","institution_ids":["https://openalex.org/I15057530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070966718","display_name":"Guy M\u00e9lan\u00e7on","orcid":"https://orcid.org/0000-0003-3193-7261"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guy Melancon","raw_affiliation_strings":["INRIA, University of Bordeaux 1, Bordeaux, France","University of Bordeaux and INRIA Bordeaux Sud-Ouest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, University of Bordeaux 1, Bordeaux, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I15057530"]},{"raw_affiliation_string":"University of Bordeaux and INRIA Bordeaux Sud-Ouest, France","institution_ids":["https://openalex.org/I15057530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2377,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.43132804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"293","last_page":"294"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12720","display_name":"Multimedia Communication and Technology","score":0.9732999801635742,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.9268863201141357},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.8599103689193726},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7521674633026123},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7335933446884155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6187808513641357},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.5773757696151733},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.5629931688308716},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5582164525985718},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4201585650444031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2239619791507721},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15082859992980957}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.9268863201141357},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8599103689193726},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7521674633026123},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7335933446884155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6187808513641357},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.5773757696151733},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.5629931688308716},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5582164525985718},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4201585650444031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2239619791507721},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15082859992980957},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/vast.2011.6102480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vast.2011.6102480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE Conference on Visual Analytics Science and Technology (VAST)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:inria-00617547v1","is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00617547","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conf. on Visual Analytics Science and Technology (VAST), 2011 IEEE (Poster Abstract)","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00617547v1","is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00617547","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Conf. on Visual Analytics Science and Technology (VAST), 2011 IEEE (Poster Abstract)","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G367268585","display_name":"Exploration and Visualization of Dynamic Relational Data","funder_award_id":"ANR-10-JCJC-0201","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1599883712","https://openalex.org/W1916339519","https://openalex.org/W2071353749","https://openalex.org/W2142493242","https://openalex.org/W2147405597","https://openalex.org/W2154594741","https://openalex.org/W6639947459"],"related_works":["https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W2504157767","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2475418661","https://openalex.org/W1504820687","https://openalex.org/W2491573813","https://openalex.org/W2154047167"],"abstract_inverted_index":{"Graph":[0],"rewriting":[1,54,76,130,155],"systems":[2,156],"are":[3,103],"easily":[4],"described":[5],"and":[6,45,63,106,114,136,140,158,182],"explained.":[7],"They":[8],"can":[9,84],"be":[10,40,85],"seen":[11],"as":[12],"a":[13,32,36,43,69,112,143,170],"game":[14],"where":[15],"one":[16],"iterates":[17],"transformation":[18],"rules":[19,83],"on":[20,122,142,150,169],"an":[21,126],"initial":[22],"graph,":[23],"until":[24],"some":[25],"condition":[26],"is":[27,56,90],"met.":[28],"A":[29],"rule":[30],"describes":[31],"local":[33],"pattern":[34],"(i.e.":[35],"subgraph)":[37],"that":[38],"must":[39],"identified":[41],"in":[42,72,87],"graph":[44,53,75,129,154],"specifies":[46],"how":[47],"to":[48,110,138],"transform":[49],"this":[50],"subgraph.":[51],"The":[52,165],"formalism":[55],"at":[57],"the":[58,66,123,161],"same":[59],"time":[60],"extremely":[61],"rich":[62],"complex,":[64],"making":[65],"study":[67],"of":[68,74,125],"model":[70,178],"expressed":[71],"terms":[73],"quite":[77],"challenging.":[78],"For":[79],"instance,":[80],"predicting":[81],"whether":[82],"applied":[86],"any":[88],"order":[89],"often":[91],"difficult.":[92],"When":[93],"modelling":[94],"complex":[95],"systems,":[96],"graphical":[97,134],"formalisms":[98],"have":[99],"clear":[100],"advantages:":[101],"they":[102],"more":[104],"intuitive":[105],"make":[107],"it":[108],"easier":[109],"visualize":[111],"system":[113,131],"convey":[115],"intuitions":[116],"about":[117],"it.":[118],"This":[119],"work":[120],"focuses":[121],"design":[124,166,181],"interactive":[127],"visual":[128],"which":[132],"supports":[133],"manipulations":[135],"computation":[137],"reason":[139],"simulate":[141],"system.":[144],"PORGY":[145],"has":[146],"been":[147],"designed":[148],"based":[149],"regular":[151],"exchanges":[152],"with":[153],"experts":[157],"users":[159],"over":[160],"past":[162],"three":[163],"years.":[164],"choices":[167],"relied":[168],"careful":[171],"methodology":[172],"inspired":[173],"from":[174],"Munzner's":[175],"nested":[176],"process":[177],"for":[179],"visualization":[180],"validation":[183],"[4].":[184]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-13T07:04:57.449891","created_date":"2025-10-10T00:00:00"}