BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for fmrcasal
(10)
2022
Mixed sessions
(2022)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Journal articles
2020
Mixed Sessions: the Other Side of the Tape
(2020)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2020
Mixed Sessions
(2020)
Vasco T. Vasconcelos
Filipe Casal
Bernardo Almeida
Andreia Mordido
Conference papers
2019
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
(2019)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Journal articles
2018
Kolmogorov One-Way Functions Revisited
(2018)
Filipe Casal
João Rasga
André Souto
Journal articles
2017
Classical Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Conference papers
2017
Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Journal articles
2017
Many-Sorted Equivalence of Shiny and Strongly Polite Theories
(2017)
Filipe Casal
João Rasga
Journal articles
2013
Multiple-model adaptive state estimation of the HIV-1 infection using a moving horizon approach
(2013)
Filipe R. Casal
A. Pedro Aguiar
Joao M. Lemos
Conference papers
2013
Revisiting the Equivalence of Shininess and Politeness
(2013)
Filipe Casal
João Rasga
Conference papers