default search action

combined dblp search
author search
venue search
publication search

ask others

SEFM Workshops 2024: Aveiro, Portugal

> Home > Conferences and Workshops > SEFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/2024w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2024w
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

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AmanC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AmanC24
Bogdan Aman, Gabriel Ciobanu:
Behavioural Equivalences over Reconfigurable Systems. 7-21
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Benthem24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Benthem24
Johan van Benthem:
Logics for Dynamic Graph Games. 22-35
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FervariI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FervariI24
Raul Fervari, Benjamin Icard:
Arbitrary Radical Upgrades. 36-49
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FigueiredoM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FigueiredoM24
Daniel Figueiredo, Alexandre Madeira:
Binders for Switch Graphs Specification. 50-61
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Marcelino24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Marcelino24
Sérgio Marcelino:
Higher-Order Arrows for Path-Dependent Many-Valued Systems. 62-76
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LindqvistVA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LindqvistVA24
John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Towards Resolving Distributed Beliefs. 77-91
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BedregalC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BedregalC24
Benjamín R. C. Bedregal, Claudio Callejas:
A New Fuzzy Approach to Transition and Bisimulation Systems. 92-98
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CassanoF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CassanoF24
Valentin Cassano, Sabine Frittella:
Pivotal Rules Consequence in Action Model Logic. 99-104
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CunhaMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CunhaMB24
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Reactive Graphs. 105-111
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/JardimSB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/JardimSB24
Bruno Jardim, Jaime Santos, Luís Soares Barbosa:
Reconfiguring Staggered Quantum Walks with ZX. 112-119
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RodriguesCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RodriguesCF24
Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire:
Many-Logic Modal Structures Based on the Lattice L6: A First Look. 120-125

CIFMA 2024

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AldiniFGMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AldiniFGMT24
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri:
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. 131-147
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AlexanderP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AlexanderP24
Samuel Allen Alexander, Arthur Paul Pedersen:
Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence. 148-164
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CeroneZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CeroneZ24
Antonio Cerone, Olzhas Zhalgendinov:
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction. 165-181
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Galli24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Galli24
Giovanni Galli:
On the Morphic Problem in Artificial Neural Networks. 182-201
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GaravagliaGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GaravagliaGS24
Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli:
Time Factor in Neural Learning Processes. 202-218
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/LapomardaBD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/LapomardaBD24
Leonardo Lapomarda, Alex Barco, Edoardo Datteri:
A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots. 219-236
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/PluckGAC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/PluckGAC24
Graham Pluck, Fei Gu, Natasha Asawanuchit, Suphasiree Chantavarin:
Executive Cognitive Control of Free Choices. 237-253
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/QuaresmaG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/QuaresmaG24
Pedro Quaresma, Pierluigi Graziani:
Towards a Readability Criterion for Humans and Machines. 254-270
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Stecher24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Stecher24
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.