{"id":"https://openalex.org/W4281981770","doi":"https://doi.org/10.1145/3518997.3534994","title":"Formal Methods for Modeling and Simulation of Emergent Behavior in Complex Adaptive Systems","display_name":"Formal Methods for Modeling and Simulation of Emergent Behavior in Complex Adaptive Systems","publication_year":2022,"publication_date":"2022-06-08","ids":{"openalex":"https://openalex.org/W4281981770","doi":"https://doi.org/10.1145/3518997.3534994"},"language":"en","primary_location":{"id":"doi:10.1145/3518997.3534994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3518997.3534994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5036114423","display_name":"Daniel Foguelman","orcid":"https://orcid.org/0000-0001-8438-4619"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Daniel Foguelman","raw_affiliation_strings":["University of Buenos AIres, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Buenos AIres, Argentina","institution_ids":["https://openalex.org/I24354313"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5036114423"],"corresponding_institution_ids":["https://openalex.org/I24354313"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06848404,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"57","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9451000094413757,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9451000094413757,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9223999977111816,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9186000227928162,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6537230014801025},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.631688117980957},{"id":"https://openalex.org/keywords/complex-adaptive-system","display_name":"Complex adaptive system","score":0.5212205648422241},{"id":"https://openalex.org/keywords/adaptive-system","display_name":"Adaptive system","score":0.45564138889312744},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4174148142337799},{"id":"https://openalex.org/keywords/adaptive-behavior","display_name":"Adaptive behavior","score":0.4108227491378784},{"id":"https://openalex.org/keywords/biological-system","display_name":"Biological system","score":0.3936442732810974},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.36882922053337097},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22040340304374695},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15840676426887512},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.14481189846992493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6537230014801025},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.631688117980957},{"id":"https://openalex.org/C63108463","wikidata":"https://www.wikidata.org/wiki/Q581233","display_name":"Complex adaptive system","level":2,"score":0.5212205648422241},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.45564138889312744},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4174148142337799},{"id":"https://openalex.org/C68784500","wikidata":"https://www.wikidata.org/wiki/Q1570691","display_name":"Adaptive behavior","level":2,"score":0.4108227491378784},{"id":"https://openalex.org/C186060115","wikidata":"https://www.wikidata.org/wiki/Q30336093","display_name":"Biological system","level":1,"score":0.3936442732810974},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.36882922053337097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22040340304374695},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15840676426887512},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14481189846992493},{"id":"https://openalex.org/C118552586","wikidata":"https://www.wikidata.org/wiki/Q7867","display_name":"Psychiatry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3518997.3534994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3518997.3534994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2377558672","https://openalex.org/W3092039791","https://openalex.org/W3160291046"],"related_works":["https://openalex.org/W3169720216","https://openalex.org/W2818499439","https://openalex.org/W2950555512","https://openalex.org/W2053373266","https://openalex.org/W2346762449","https://openalex.org/W3121313129","https://openalex.org/W2148636420","https://openalex.org/W3143682317","https://openalex.org/W2215194150","https://openalex.org/W2805215803"],"abstract_inverted_index":{"Complex":[0],"adaptive":[1],"systems":[2,34],"are":[3],"characterized":[4],"by":[5],"exhibiting":[6],"macroscopic-level":[7],"behaviors":[8],"for":[9],"which":[10,42,55],"it":[11],"is":[12],"very":[13],"difficult":[14],"to":[15,54],"obtain":[16],"generalized":[17],"descriptions":[18],"based":[19],"solely":[20],"on":[21,50],"knowing":[22],"the":[23,37,51],"dynamics":[24],"of":[25,32],"all":[26],"microscopic":[27],"components.":[28],"An":[29],"essential":[30],"aspect":[31],"these":[33],"lies":[35],"in":[36,43],"interactions":[38],"between":[39],"atomic":[40],"components,":[41],"turn":[44],"can":[45],"change":[46],"over":[47],"time":[48],"depending":[49],"macroscopic":[52],"state":[53],"they":[56],"contribute.":[57]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}