22nd International Conference on Software Engineering and Formal Methods (SEFM 2024) Collocated Workshops: ReacTS 2024 and CIFMA 2024 | www.gmachineinfo.com

会议文集

文集名	Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
会议名	22nd International Conference on Software Engineering and Formal Methods (SEFM 2024) Collocated Workshops: ReacTS 2024 and CIFMA 2024
中译名	《第二十二届国际软件工程与形式化方法会议 - 讨论会》
会议日期	November 4-5, 2024
会议地点	Aveiro, Portugal
出版年	2026
馆藏号	358003

题名	作者	出版年
Behavioural Equivalences over Reconfigurable Systems	Bogdan Aman; Gabriel Ciobanu	2026
Logics for Dynamic Graph Games	Johan van Benthem	2026
Arbitrary Radical Upgrades	Raul Fervari; Benjamin Icard	2026
Binders for Switch Graphs Specification	Daniel Figueiredo; Alexandre Madeira	2026
Higher-Order Arrows for Path-Dependent Many-Valued Systems	Sergio Marcelino	2026
Towards Resolving Distributed Beliefs	John Lindqvist; Fernando R. Velazquez-Quesada; Thomas Agotnes	2026
A New Fuzzy Approach to Transition and Bisimulation Systems	Benjamin Bedregal; Claudio Callejas	2026
Pivotal Rules Consequence in Action Model Logic	Valentin Cassano; Sabine Frittella	2026
Paraconsistent Reactive Graphs	Juliana Cunha; Alexandre Madeira; Luis S. Barbosa	2026
Reconfiguring Staggered Quantum Walks with ZX	Bruno Jardim; Jaime Santos; Luis S. Barbosa	2026
Many-Logic Modal Structures Based on the Lattice L6: A First Look	Abilio Rodrigues; Marcelo E. Coniglio; Alfredo Freire	2026
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret	Alessandro Aldini; Davide Fazio; Pierluigi Graziani; Raffaele Mascella; Mirko Tagliaferri	2026
Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence	Samuel Allen Alexander; Arthur Paul Pedersen	2026
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction	Antonio Cerone; Olzhas Zhalgendinov	2026
On the Morphic Problem in Artificial Neural Networks	Giovanni Galli	2026
Time Factor in Neural Learning Processes	Fabrizia Giulia Garavaglia; Marco Giunti; Giuseppe Sergioli	2026
A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots	Leonardo Lapomarda; Alex Barco; Edoardo Datteri	2026
Executive Cognitive Control of Free Choices	Graham Pluck; Fei Gu; Natasha Asawanuchit; Suphasiree Chantavarin	2026
Towards a Readability Criterion for Humans and Machines	Pedro Quaresma; Pierluigi Graziani	2026
From Birth to Loss of Representations in Artificial Neural Networks	Philipp Stecher	2026