logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
S

SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS

IF
Papers20
Citations
Journal Papers 20
Publication Date
delete
Explicit Legg-Hutter Intelligence Calculations Which Suggest Non-Archimedean Intelligence
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAlexander, Samuel Allen; Pedersen, Arthur Paul
deleteShare
deleteSave
Reconfiguring Staggered Quantum Walks with ZX
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteJardim, Bruno; Santos, Jaime; Barbosa, Luis S.
deleteShare
deleteSave
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAldini, Alessandro; Fazio, Davide; Graziani, Pierluigi; Mascella, Raffaele; Tagliaferri, Mirko
deleteShare
deleteSave
Cognitive Aspects in the Formal Modelling of Multi-party Human-Computer Interaction
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCerone, Antonio; Zhalgendinov, Olzhas
deleteShare
deleteSave
Towards Resolving Distributed Beliefs
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteLindqvist, John; Velazquez-Quesada, Fernando R.; Agotnes, Thomas
deleteShare
deleteSave
Logics for Dynamic Graph Games
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deletevan Benthem, Johan
deleteShare
deleteSave
Arbitrary Radical Upgrades
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteFervari, Raul; Icard, Benjamin
deleteShare
deleteSave
Binders for Switch Graphs Specification
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteFigueiredo, Daniel; Madeira, Alexandre
deleteShare
deleteSave
Behavioural Equivalences over Reconfigurable Systems
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteAman, Bogdan; Ciobanu, Gabriel
deleteShare
deleteSave
A New Fuzzy Approach to Transition and Bisimulation Systems
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteBedregal, Benjamin; Callejas, Claudio
deleteShare
deleteSave
Paraconsistent Reactive Graphs
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCunha, Juliana; Madeira, Alexandre; Barbosa, Luis S.
deleteShare
deleteSave
Executive Cognitive Control of Free Choices
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deletePluck, Graham; Gu, Fei; Asawanuchit, Natasha; Chantavarin, Suphasiree
deleteShare
deleteSave
Higher-Order Arrows for Path-Dependent Many-Valued Systems
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteMarcelino, Sergio
deleteShare
deleteSave
From Birth to Loss of Representations in Artificial Neural Networks
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteStecher, Philipp
deleteShare
deleteSave
Many-Logic Modal Structures Based on the Lattice.L6: A First Look
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteRodrigues, Abilio; Coniglio, Marcelo E.; Freire, Alfredo
deleteShare
deleteSave
Pivotal Rules Consequence in Action Model Logic
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteCassano, Valentin; Frittella, Sabine
deleteShare
deleteSave
Time Factor in Neural Learning Processes
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteGaravaglia, Fabrizia Giulia; Giunti, Marco; Sergioli, Giuseppe
deleteShare
deleteSave
Towards a Readability Criterion for Humans and Machines
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteQuaresma, Pedro; Graziani, Pierluigi
deleteShare
deleteSave
A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteLapomarda, Leonardo; Barco, Alex; Datteri, Edoardo
deleteShare
deleteSave
On the Morphic Problem in Artificial Neural Networks
deleteSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
delete2026-01-01
delete0
PREAI
deleteGalli, Giovanni
deleteShare
deleteSave