Daniel Figueiredo

16 papers B 1C 1Misc 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Graded Relation Updates in Modal Logic.
WoLLIC
Raul Fervari, Daniel Figueiredo, Manuel A. Martins
2025 J jnl
Labeled fuzzy reactive graphs.
Fuzzy Sets Syst.
Suene Campos, Daniel Figueiredo, Manuel A. Martins, Regivan H. N. Santiago
2024 B conf
Binders for Switch Graphs Specification.
SEFM
Daniel Figueiredo, Alexandre Madeira
2023 J jnl
Aggregation-based operations for reversal fuzzy switch graphs.
Fuzzy Sets Syst.
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2023 J jnl
Relation-changing models meet paraconsistency.
J. Log. Algebraic Methods Program.
Diana Costa, Daniel Figueiredo, Manuel A. Martins
2023 Misc conf
idDL2DL - Interval Syntax to dℒ.
TASE
Jaime Santos, Daniel Figueiredo, Alexandre Madeira
2022 J jnl
Introduction to reversal fuzzy switch graph.
Sci. Comput. Program.
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2021 — conf
Introducing Interval Differential Dynamic Logic.
FSEN
Daniel Figueiredo
2021 J jnl
Introducing fuzzy reactive graphs: a simple application on biology.
Soft Comput.
Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2020 J jnl
Boolean dynamics revisited through feedback interconnections.
Nat. Comput.
Madalena Chaves, Daniel Figueiredo, Manuel A. Martins
2020 — conf
Reversal Fuzzy Switch Graphs.
SBMF
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo
2019 — conf
rPrism - A Software for Reactive Weighted State Transition Models.
HSB
Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves
2018 — conf
A Note on Reactive Transitions and Reo Connectors.
It's All About Coordination
Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa
2018 — conf
Reactive Models for Biological Regulatory Networks.
MLCSB
Daniel Figueiredo, Luís Soares Barbosa
2017 — ed.
Algorithms for Computational Biology - 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
AlCoB
Daniel Figueiredo, Carlos Martín-Vide, Diogo Pratas, Miguel A. Vega-Rodríguez
2016 — conf
Relating Bisimulations with Attractors in Boolean Network Models.
AlCoB
Daniel Figueiredo
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling