Pedro Filipe

According to our database, Pedro Filipe authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

Equivalence of finite non-deterministic logical matrices is undecidable.

Carlos Caleiro, Pedro Filipe, Sérgio Marcelino

CoRR, 2024

2023

Identification of biomarkers predictive of metastasis development in early-stage colorectal cancer using network-based regularization.

Carolina Peixoto, Marta B. Lopes, Marta Martins, Sandra Casimiro, Daniel Sobral, Ana Rita Grosso, Catarina Abreu, Daniela Macedo, Ana Lúcia Costa, Helena Pais, Cecília Alvim, André Mansinho, Pedro Filipe, Pedro Marques da Costa, Afonso Fernandes, Paula Borralho, Cristina Ferreira, João Malaquias, António Quintela, Shannon Kaplan, Mahdi Golkaram, Michael Salmans, Nafeesa Khan, Raakhee Vijayaraghavan, Shile Zhang, Traci Pawlowski, Jim Godsey, Alex So, Li Liu, Luís Costa, Susana Vinga

BMC Bioinform., December, 2023

2022

Computational properties of finite PNmatrices.

Pedro Filipe, Sérgio Marcelino, Carlos Caleiro

J. Log. Comput., 2022

Monadicity of Non-deterministic Logical Matrices is Undecidable.

Pedro Filipe, Carlos Caleiro, Sérgio Marcelino

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Computational Properties of Partial Non-deterministic Matrices and Their Logics.

Sérgio Marcelino, Carlos Caleiro, Pedro Filipe

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

Assessing machine learning adoption at the firm level: the moderating effect of the environmental context.

Pedro Filipe, Pedro Ruivo, Tiago Oliveira

Proceedings of the CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2022

2020

Infectious semantics and analytic calculi for even more inclusion logics.

Carlos Caleiro, Sérgio Marcelino, Pedro Filipe

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020