{"id":"https://openalex.org/W4399593822","doi":"https://doi.org/10.1007/978-3-031-62645-6_12","title":"AuDaLa is Turing Complete","display_name":"AuDaLa is Turing Complete","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399593822","doi":"https://doi.org/10.1007/978-3-031-62645-6_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-62645-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-62645-6_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.tue.nl/ws/files/349775739/978-3-031-62645-6_12.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093314969","display_name":"Tom T. P. Franken","orcid":"https://orcid.org/0000-0002-1168-5450"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Tom T. P. Franken","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1168-5450","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007949558","display_name":"Thomas Neele","orcid":"https://orcid.org/0000-0001-6117-9129"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Thomas Neele","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6117-9129","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5093314969"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26407563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12029","display_name":"DNA and Biological Computing","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8656516075134277},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.6382068395614624},{"id":"https://openalex.org/keywords/turing-machine-examples","display_name":"Turing machine examples","score":0.41680940985679626},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.39756810665130615},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.365433931350708},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3577178120613098},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.2144869565963745},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.05438867211341858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8656516075134277},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.6382068395614624},{"id":"https://openalex.org/C21176728","wikidata":"https://www.wikidata.org/wiki/Q7854963","display_name":"Turing machine examples","level":5,"score":0.41680940985679626},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.39756810665130615},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.365433931350708},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3577178120613098},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.2144869565963745},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.05438867211341858}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-62645-6_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-62645-6_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire/2652c312-562b-4d0c-9ad1-ca42faff7664","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/2652c312-562b-4d0c-9ad1-ca42faff7664","pdf_url":"https://pure.tue.nl/ws/files/349775739/978-3-031-62645-6_12.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Franken, T T P & Neele, T 2024, AuDaLa is Turing Complete. in V Castiglioni & A Francalanza (eds), Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17\u201321, 2024, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 14678, Springer, Cham, pp. 221-229, 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, Netherlands, 17/06/24. https://doi.org/10.1007/978-3-031-62645-6_12","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-04966813v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04966813","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2024, Groningen, Netherlands. pp.221-229, ⟨10.1007/978-3-031-62645-6_12⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/2652c312-562b-4d0c-9ad1-ca42faff7664","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/2652c312-562b-4d0c-9ad1-ca42faff7664","pdf_url":"https://pure.tue.nl/ws/files/349775739/978-3-031-62645-6_12.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Franken, T T P & Neele, T 2024, AuDaLa is Turing Complete. in V Castiglioni & A Francalanza (eds), Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17\u201321, 2024, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 14678, Springer, Cham, pp. 221-229, 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, Netherlands, 17/06/24. https://doi.org/10.1007/978-3-031-62645-6_12","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399593822.pdf","grobid_xml":"https://content.openalex.org/works/W4399593822.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W990710721","https://openalex.org/W1883943301","https://openalex.org/W2016939324","https://openalex.org/W2026191634","https://openalex.org/W2114739399","https://openalex.org/W2127307894","https://openalex.org/W2150716750","https://openalex.org/W2157633638","https://openalex.org/W2593915840","https://openalex.org/W2610922742","https://openalex.org/W2780077279","https://openalex.org/W3090553240","https://openalex.org/W3157488278","https://openalex.org/W3197594783","https://openalex.org/W3205891022","https://openalex.org/W4249221579","https://openalex.org/W4253103663","https://openalex.org/W4388895354","https://openalex.org/W6815862653"],"related_works":["https://openalex.org/W4324016496","https://openalex.org/W4312201671","https://openalex.org/W1559604976","https://openalex.org/W4231495498","https://openalex.org/W1969470083","https://openalex.org/W2273345230","https://openalex.org/W2280616180","https://openalex.org/W2090113742","https://openalex.org/W4254404873","https://openalex.org/W2392422095"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}