Filipe Casal

According to our database, Filipe Casal authored at least 9 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Mixed sessions.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Theor. Comput. Sci., 2022

2020

Mixed Sessions: the Other Side of the Tape.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Mixed Sessions.

Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido

Proceedings of the Programming Languages and Systems, 2020

2019

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Theor. Comput. Sci., 2019

2018

Many-Sorted Equivalence of Shiny and Strongly Polite Theories.

Filipe Casal, João Rasga

J. Autom. Reason., 2018

Kolmogorov One-Way Functions Revisited.

Filipe Casal, João Rasga, André Souto

Cryptogr., 2018

2017

Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2013

Revisiting the Equivalence of Shininess and Politeness.

Filipe Casal, João Rasga

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013