default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM Workshops 2024: Aveiro, Portugal
- José Proença
, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck:
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers. Lecture Notes in Computer Science 15551, Springer 2026, ISBN 978-3-031-94747-6
ReacTS 2024
- Bogdan Aman, Gabriel Ciobanu:
Behavioural Equivalences over Reconfigurable Systems. 7-21 - Johan van Benthem:
Logics for Dynamic Graph Games. 22-35 - Raul Fervari, Benjamin Icard:
Arbitrary Radical Upgrades. 36-49 - Daniel Figueiredo, Alexandre Madeira:
Binders for Switch Graphs Specification. 50-61 - Sérgio Marcelino:
Higher-Order Arrows for Path-Dependent Many-Valued Systems. 62-76 - John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Towards Resolving Distributed Beliefs. 77-91 - Benjamín R. C. Bedregal, Claudio Callejas:
A New Fuzzy Approach to Transition and Bisimulation Systems. 92-98 - Valentin Cassano, Sabine Frittella:
Pivotal Rules Consequence in Action Model Logic. 99-104 - Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Reactive Graphs. 105-111 - Bruno Jardim, Jaime Santos, Luís Soares Barbosa:
Reconfiguring Staggered Quantum Walks with ZX. 112-119 - Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire:
Many-Logic Modal Structures Based on the Lattice L6: A First Look. 120-125
CIFMA 2024
- Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri:
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. 131-147 - Samuel Allen Alexander, Arthur Paul Pedersen:
Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence. 148-164 - Antonio Cerone, Olzhas Zhalgendinov:
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. 165-181 - Giovanni Galli:
On the Morphic Problem in Artificial Neural Networks. 182-201 - Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli:
Time Factor in Neural Learning Processes. 202-218 - Leonardo Lapomarda, Alex Barco, Edoardo Datteri:
A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots. 219-236 - Graham Pluck, Fei Gu, Natasha Asawanuchit, Suphasiree Chantavarin:
Executive Cognitive Control of Free Choices. 237-253 - Pedro Quaresma, Pierluigi Graziani:
Towards a Readability Criterion for Humans and Machines. 254-270 - Philipp Stecher:
From Birth to Loss of Representations in Artificial Neural Networks. 271-289
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-12 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
