{"id":"https://openalex.org/W7128768044","doi":"https://doi.org/10.1145/3770761.3777355","title":"Visualization Tools for CS Theory: an Initial Literature Review","display_name":"Visualization Tools for CS Theory: an Initial Literature Review","publication_year":2026,"publication_date":"2026-02-13","ids":{"openalex":"https://openalex.org/W7128768044","doi":"https://doi.org/10.1145/3770761.3777355"},"language":null,"primary_location":{"id":"doi:10.1145/3770761.3777355","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3770761.3777355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5125927906","display_name":"Ian Campbell","orcid":null},"institutions":[{"id":"https://openalex.org/I192545095","display_name":"United States Military Academy","ror":"https://ror.org/01jepya76","country_code":"US","type":"education","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I192545095","https://openalex.org/I4210088792"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ian Campbell","raw_affiliation_strings":["United States Military Academy, West Point, NY, USA"],"affiliations":[{"raw_affiliation_string":"United States Military Academy, West Point, NY, USA","institution_ids":["https://openalex.org/I192545095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125983092","display_name":"Anthony Notaro","orcid":null},"institutions":[{"id":"https://openalex.org/I192545095","display_name":"United States Military Academy","ror":"https://ror.org/01jepya76","country_code":"US","type":"education","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I192545095","https://openalex.org/I4210088792"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anthony Notaro","raw_affiliation_strings":["United States Military Academy, West Point, NY, USA"],"affiliations":[{"raw_affiliation_string":"United States Military Academy, West Point, NY, USA","institution_ids":["https://openalex.org/I192545095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035179393","display_name":"Ryan E. Dougherty","orcid":"https://orcid.org/0000-0003-1739-1127"},"institutions":[{"id":"https://openalex.org/I192545095","display_name":"United States Military Academy","ror":"https://ror.org/01jepya76","country_code":"US","type":"education","lineage":["https://openalex.org/I1304082316","https://openalex.org/I1330347796","https://openalex.org/I192545095","https://openalex.org/I4210088792"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan E. Dougherty","raw_affiliation_strings":["United States Military Academy, West Point, NY, USA"],"affiliations":[{"raw_affiliation_string":"United States Military Academy, West Point, NY, USA","institution_ids":["https://openalex.org/I192545095"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5125927906"],"corresponding_institution_ids":["https://openalex.org/I192545095"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.74330766,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1251","last_page":"1252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.7343999743461609,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10533","display_name":"Teaching and Learning Programming","score":0.7343999743461609,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10799","display_name":"Data Visualization and Analytics","score":0.05050000175833702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.02160000056028366,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.7773000001907349},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.5986999869346619},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.4408999979496002},{"id":"https://openalex.org/keywords/comprehension","display_name":"Comprehension","score":0.4350999891757965},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4343000054359436},{"id":"https://openalex.org/keywords/interactive-visualization","display_name":"Interactive visualization","score":0.41260001063346863}],"concepts":[{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.7773000001907349},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7078999876976013},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.5986999869346619},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.4408999979496002},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.4350999891757965},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C64073096","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Interactive visualization","level":3,"score":0.41260001063346863},{"id":"https://openalex.org/C185578843","wikidata":"https://www.wikidata.org/wiki/Q10609775","display_name":"Information visualization","level":3,"score":0.4016999900341034},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3625999987125397},{"id":"https://openalex.org/C109359841","wikidata":"https://www.wikidata.org/wiki/Q728944","display_name":"Inclusion (mineral)","level":2,"score":0.36230000853538513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3409000039100647},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.32339999079704285},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.31850001215934753},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3028999865055084},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2924000024795532},{"id":"https://openalex.org/C14669888","wikidata":"https://www.wikidata.org/wiki/Q4014850","display_name":"Creative visualization","level":3,"score":0.2879999876022339},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3770761.3777355","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3770761.3777355","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4337059259414673}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2092208185","https://openalex.org/W4245927651","https://openalex.org/W4404910483","https://openalex.org/W4407681323"],"related_works":[],"abstract_inverted_index":{"Learning":[0],"formal":[1],"concepts":[2],"in":[3,18,88,117],"Theory":[4],"of":[5,20,28,69,98,101],"Computation":[6],"(ToC)":[7],"can":[8,16],"be":[9],"challenging":[10],"for":[11,32],"students,":[12],"and":[13,41,83,114,124],"visualization":[14,29,103],"tools":[15,30,70,79],"assist":[17],"comprehension":[19],"ToC":[21,34,102],"concepts.":[22],"We":[23,64,94],"present":[24],"a":[25,45,115],"literature":[26],"review":[27],"developed":[31],"teaching":[33],"topics,":[35,85],"including":[36],"automata":[37,72],"theory,":[38,40],"computability":[39],"complexity":[42,84],"theory.":[43],"Using":[44],"comprehensive":[46],"search":[47],"strategy":[48],"across":[49],"major":[50],"libraries,":[51],"we":[52],"identified":[53],"47":[54],"primary":[55],"studies":[56],"from":[57],"1988--2025":[58],"that":[59,66],"met":[60],"our":[61],"inclusion":[62],"criteria.":[63],"found":[65],"the":[67,109,118],"majority":[68],"target":[71],"(especially":[73],"finite":[74],"automata),":[75],"while":[76],"relatively":[77],"fewer":[78],"address":[80],"proof":[81],"techniques":[82],"though":[86],"interest":[87],"these":[89],"areas":[90],"has":[91],"recently":[92],"grown.":[93],"observed":[95],"two":[96],"periods":[97],"heightened":[99],"development":[100],"tools:":[104],"an":[105],"initial":[106],"wave":[107],"around":[108],"late":[110],"1990s":[111],"to":[112],"mid-2000s,":[113],"resurgence":[116],"early":[119],"2020s":[120],"with":[121],"more":[122],"interactive":[123],"web-based":[125],"tools.":[126]},"counts_by_year":[],"updated_date":"2026-02-23T20:09:44.859080","created_date":"2026-02-14T00:00:00"}