{"id":"https://openalex.org/W6888054027","doi":"https://doi.org/10.18420/delfi2024_45","title":"Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science","display_name":"Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W6888054027","doi":"https://doi.org/10.18420/delfi2024_45"},"language":"en","primary_location":{"id":"doi:10.18420/delfi2024_45","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2024_45","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/delfi2024_45","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Herwig, Maurice","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Herwig, Maurice","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hundeshagen, Norbert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hundeshagen, Norbert","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kastaun, Marit","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kastaun, Marit","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Kollenberg, Cedric","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kollenberg, Cedric","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33408437,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9168999791145325,"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.9168999791145325,"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/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.008100000210106373,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13197","display_name":"Spreadsheets and End-User Computing","score":0.005499999970197678,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/python","display_name":"Python (programming language)","score":0.6291999816894531},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.40869998931884766},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.38580000400543213},{"id":"https://openalex.org/keywords/computer-programming","display_name":"Computer programming","score":0.37529999017715454},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.2944999933242798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6883000135421753},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6291999816894531},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4221999943256378},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.40869998931884766},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.38580000400543213},{"id":"https://openalex.org/C33857546","wikidata":"https://www.wikidata.org/wiki/Q80006","display_name":"Computer programming","level":2,"score":0.37529999017715454},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.3686999976634979},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3370000123977661},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3237000107765198},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30480000376701355},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2971000075340271},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C2986849125","wikidata":"https://www.wikidata.org/wiki/Q1068473","display_name":"Computer aided instruction","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2614000141620636},{"id":"https://openalex.org/C2780368719","wikidata":"https://www.wikidata.org/wiki/Q5157342","display_name":"Computational thinking","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/delfi2024_45","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2024_45","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/delfi2024_45","is_oa":true,"landing_page_url":"https://doi.org/10.18420/delfi2024_45","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6969759464263916}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reductions":[0],"play":[1],"a":[2,50,55,59,76,107],"crucial":[3],"role":[4],"in":[5,12,49,106],"the":[6,13,73,85,123],"theory":[7],"of":[8,15,35,75,94,99,125],"computer":[9],"science,":[10],"aiding":[11],"identification":[14],"computationally":[16],"unsolvable":[17],"or":[18],"intractable":[19],"problems.":[20],"Despite":[21],"their":[22,32],"significance,":[23],"mastering":[24],"reductions":[25,48],"remains":[26],"challenging":[27],"for":[28,80],"students":[29],"due":[30],"to":[31,46],"high":[33],"level":[34],"abstraction.":[36],"In":[37],"this":[38],"work":[39],"we":[40],"report":[41],"on":[42,72],"an":[43],"educational":[44],"approach":[45],"learn":[47],"more":[51],"practical":[52],"way":[53],"as":[54,84,102,116,118],"programming":[56],"exercise.":[57],"Through":[58],"pilot":[60],"study":[61],"(\ud835\udc5b":[62],"=":[63],"41)":[64],"with":[65],"three":[66],"measurement":[67],"points,":[68],"insights":[69],"were":[70],"gathered":[71],"usage":[74],"prototype":[77],"learning":[78,96],"tool":[79],"reductions,":[81,100],"leveraging":[82],"Python":[83],"main":[86],"computational":[87],"model.":[88],"Initial":[89],"findings":[90],"highlight":[91],"further":[92],"enhancements":[93],"computer-aided":[95],"and":[97,111],"teaching":[98],"such":[101],"incorporating":[103],"mathematical":[104],"foundations":[105],"tools":[108],"feedback,":[109],"visualizing":[110],"generically":[112],"generating":[113],"problem":[114],"instances,":[115],"well":[117],"improving":[119],"extensibility":[120],"by":[121],"simplifying":[122],"creation":[124],"exercises.":[126]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}