{"id":"https://openalex.org/W2559599276","doi":"https://doi.org/10.1109/fie.2016.7757574","title":"Combined Methodology for Theoretical Computing","display_name":"Combined Methodology for Theoretical Computing","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2559599276","doi":"https://doi.org/10.1109/fie.2016.7757574","mag":"2559599276"},"language":"en","primary_location":{"id":"doi:10.1109/fie.2016.7757574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie.2016.7757574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Frontiers in Education Conference (FIE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11449/173955","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073978680","display_name":"Gabriel Spadon","orcid":"https://orcid.org/0000-0001-8437-4349"},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gabriel Spadon de Souza","raw_affiliation_strings":["Departamento de Ci\u00eancias de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP)\u2014S\u00e3o Carlos, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Ci\u00eancias de Computa\u00e7\u00e3o, Universidade de S\u00e3o Paulo (USP)\u2014S\u00e3o Carlos, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101403273","display_name":"Pedro Henrique de Andrade Gomes","orcid":"https://orcid.org/0000-0002-7720-3856"},"institutions":[{"id":"https://openalex.org/I879563668","display_name":"Universidade Estadual Paulista (Unesp)","ror":"https://ror.org/00987cb86","country_code":"BR","type":"education","lineage":["https://openalex.org/I879563668"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Pedro Henrique de Andrade Gomes","raw_affiliation_strings":["Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I879563668"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080455155","display_name":"Ronaldo Celso Messias Correia","orcid":"https://orcid.org/0000-0002-8044-7333"},"institutions":[{"id":"https://openalex.org/I879563668","display_name":"Universidade Estadual Paulista (Unesp)","ror":"https://ror.org/00987cb86","country_code":"BR","type":"education","lineage":["https://openalex.org/I879563668"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ronaldo Celso Messias Correia","raw_affiliation_strings":["Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I879563668"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062388716","display_name":"Celso Olivete","orcid":null},"institutions":[{"id":"https://openalex.org/I879563668","display_name":"Universidade Estadual Paulista (Unesp)","ror":"https://ror.org/00987cb86","country_code":"BR","type":"education","lineage":["https://openalex.org/I879563668"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Celso Olivete","raw_affiliation_strings":["Universidade Estadual Paulista Julio de Mesquita Filho, Sao Paulo, SP, BR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Estadual Paulista Julio de Mesquita Filho, Sao Paulo, SP, BR","institution_ids":["https://openalex.org/I879563668"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032021135","display_name":"Danilo Medeiros Eler","orcid":"https://orcid.org/0000-0002-9493-145X"},"institutions":[{"id":"https://openalex.org/I879563668","display_name":"Universidade Estadual Paulista (Unesp)","ror":"https://ror.org/00987cb86","country_code":"BR","type":"education","lineage":["https://openalex.org/I879563668"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Danilo Medeiros Eler","raw_affiliation_strings":["Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I879563668"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082436488","display_name":"Rog\u00e9rio Eduardo Garcia","orcid":"https://orcid.org/0000-0003-1248-528X"},"institutions":[{"id":"https://openalex.org/I879563668","display_name":"Universidade Estadual Paulista (Unesp)","ror":"https://ror.org/00987cb86","country_code":"BR","type":"education","lineage":["https://openalex.org/I879563668"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Rogerio Eduardo Garcia","raw_affiliation_strings":["Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica e Computa\u00e7\u00e3o, Universidade Estadual Paulista (UNESP) - Presidente Prudente, S\u00e3o Paulo, Brazil","institution_ids":["https://openalex.org/I879563668"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1368,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.86817473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"36","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9987000226974487,"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.9987000226974487,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9412000179290771,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9309999942779541,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9066467881202698},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8055319786071777},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5224534273147583},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.49413636326789856},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4669989347457886},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.46032634377479553},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4288175106048584},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34378761053085327},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2910381257534027},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10862967371940613}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9066467881202698},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8055319786071777},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5224534273147583},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.49413636326789856},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4669989347457886},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.46032634377479553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4288175106048584},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34378761053085327},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2910381257534027},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10862967371940613},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fie.2016.7757574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie.2016.7757574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Frontiers in Education Conference (FIE)","raw_type":"proceedings-article"},{"id":"pmh:oai:repositorio.unesp.br:11449/173955","is_oa":true,"landing_page_url":"http://hdl.handle.net/11449/173955","pdf_url":null,"source":{"id":"https://openalex.org/S4377196277","display_name":"UNESP Institutional Repository (S\u00e3o Paulo State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I879563668","host_organization_name":"Universidade Estadual Paulista (Unesp)","host_organization_lineage":["https://openalex.org/I879563668"],"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":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:repositorio.unesp.br:11449/173955","is_oa":true,"landing_page_url":"http://hdl.handle.net/11449/173955","pdf_url":null,"source":{"id":"https://openalex.org/S4377196277","display_name":"UNESP Institutional Repository (S\u00e3o Paulo State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I879563668","host_organization_name":"Universidade Estadual Paulista (Unesp)","host_organization_lineage":["https://openalex.org/I879563668"],"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":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1514202320","https://openalex.org/W1550034460","https://openalex.org/W1559095633","https://openalex.org/W1582810113","https://openalex.org/W1597057940","https://openalex.org/W1655990431","https://openalex.org/W1817451992","https://openalex.org/W1970392769","https://openalex.org/W1972060224","https://openalex.org/W1982986340","https://openalex.org/W2040713190","https://openalex.org/W2057753376","https://openalex.org/W2061829493","https://openalex.org/W2127757021","https://openalex.org/W2142774444","https://openalex.org/W2159097365","https://openalex.org/W2186376468","https://openalex.org/W2241364038","https://openalex.org/W2293761830","https://openalex.org/W2485320865","https://openalex.org/W2592184324","https://openalex.org/W3112600129","https://openalex.org/W6633630334","https://openalex.org/W6690368654"],"related_works":["https://openalex.org/W2173065739","https://openalex.org/W2952249082","https://openalex.org/W2061420542","https://openalex.org/W2074343215","https://openalex.org/W2004465018","https://openalex.org/W4283799632","https://openalex.org/W659009177","https://openalex.org/W2949818316","https://openalex.org/W2149038841","https://openalex.org/W1979038995"],"abstract_inverted_index":{"Theoretical":[0,109,136],"Computer":[1,24,43,77],"Science":[2,25,44],"area":[3,34],"(TCS)":[4],"stands":[5],"out":[6],"by":[7,17,179],"being":[8],"an":[9],"important":[10],"study":[11],"field,":[12],"and":[13,20,28,67,87,92,129,141,160,182,200,205,231],"it":[14,68],"is":[15,35,80,114,177],"composed":[16],"Formal":[18],"Languages":[19],"Automata":[21],"Theory":[22,26,29],"(FLA),":[23],"(CST),":[27],"of":[30,41,52,85,126,175],"Compilers":[31],"(TC).":[32],"This":[33],"responsible":[36],"for":[37,108],"introducing":[38],"the":[39,42,59,74,83,95,121,149,173,191,195,202,225,228,232],"beginnings":[40],"through":[45],"formalisms":[46,176,206],"-":[47,66],"which":[48],"represent":[49],"a":[50,62,70,105,142],"set":[51],"methods,":[53],"techniques,":[54],"or":[55],"rules":[56],"that":[57,190,192],"describe":[58],"solution":[60],"to":[61,89,93,99,119,135,162,169,197],"problem":[63],"with":[64],"restrictions":[65],"has":[69,194],"substantial":[71],"impact":[72],"on":[73,82,116,212],"student's":[75],"knowledge.":[76,234],"science":[78],"theory":[79],"based":[81,115,211],"understanding":[84],"computability":[86],"techniques":[88],"solve":[90,163],"challenges,":[91],"improve":[94],"teaching-learning":[96],"process":[97],"used":[98,155],"introduce":[100],"these":[101],"concepts":[102,181,204],"we":[103,147,188,219],"proposed":[104],"Combined":[106],"Methodology":[107],"Computing":[110,137],"(CMTC).":[111],"Our":[112,208],"methodology":[113,151,168],"formalism":[117],"development":[118],"ground":[120],"knowledge":[122,199],"acquired":[123],"during":[124,138],"classes":[125],"FLA,":[127],"CST,":[128],"TC,":[130],"where":[131,152,218],"students":[132],"are":[133,210],"introduced":[134],"one":[139],"year":[140],"half.":[143],"In":[144],"each":[145,153],"course,":[146],"applied":[148],"same":[150],"student":[154],"data":[156],"structures,":[157],"computer":[158],"graphics,":[159],"algorithms":[161],"problems.":[164],"We":[165],"address":[166],"this":[167,186],"understand":[170],"how":[171],"much":[172],"incomprehension":[174],"influenced":[178],"new":[180,203],"its":[183],"abstractions.":[184],"Against":[185],"background,":[187],"demonstrate":[189],"CMTC":[193],"aim":[196],"build":[198],"make":[201],"concrete.":[207],"results":[209],"statistical":[213],"analysis":[214],"from":[215],"students'":[216],"grades,":[217],"could":[220],"observe":[221],"among":[222],"other":[223],"results,":[224],"correlation":[226],"between":[227],"practical":[229],"activities":[230],"conceptual":[233]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}