BIBLIOS
Sistema de Gestão de Referências Bibliográficas de Ciências
Modo Visitante (
Login
)
Need help?
Referências para fmrcasal
(10)
2022
Mixed sessions
(2022)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Artigos em Revista
2020
Mixed Sessions: the Other Side of the Tape
(2020)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Artigos em Conferência
2020
Mixed Sessions
(2020)
Vasco T. Vasconcelos
Filipe Casal
Bernardo Almeida
Andreia Mordido
Artigos em Conferência
2019
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
(2019)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Artigos em Revista
2018
Kolmogorov One-Way Functions Revisited
(2018)
Filipe Casal
João Rasga
André Souto
Artigos em Revista
2017
Classical Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Artigos em Conferência
2017
Generalized Probabilistic Satisfiability
(2017)
Carlos Caleiro
Filipe Casal
Andreia Mordido
Artigos em Revista
2017
Many-Sorted Equivalence of Shiny and Strongly Polite Theories
(2017)
Filipe Casal
João Rasga
Artigos em Revista
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
Artigos em Conferência
2013
Revisiting the Equivalence of Shininess and Politeness
(2013)
Filipe Casal
João Rasga
Artigos em Conferência