Miguel Martins

According to our database, Miguel Martins authored at least 10 papers between 2009 and 2026.

Collaborative distances:

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

2026

Strictly <i>n</i> -finite Varieties of Heyting Algebras.

Tapani Hyttinen, Miguel Martins, Tommaso Moraschini, Davide Emilio Quadrellaro

J. Symb. Log., 2026

Data-Driven Decision Support System for Managing Discrepancies in Textile Ordering Operations.

Miguel Martins, Daniela Quintas, Ivan Gomes, Cláudia Mendes Araújo, Rui Fonseca

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

2025

Local tabularity is decidable for bi-intermediate logics of trees and of co-trees.

Miguel Martins, Tommaso Moraschini

Ann. Pure Appl. Log., 2025

2024

Bi-intermediate logics of trees and co-trees.

Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini

Ann. Pure Appl. Log., 2024

2023

A Massive Online Plasma Physics Course Using Remote Controlled Laboratories in Open edX.

Pedro Rossa, Horácio Fernandes, Miguel Martins, João Nuno Silva

Proceedings of the 2023 6th Experiment@ International Conference (exp.at'23), 2023

Integration of Remote Laboratories with LMS.

Miguel Martins, Horácio Fernandes, Pedro Rossa, João Nuno Silva

Proceedings of the 2023 6th Experiment@ International Conference (exp.at'23), 2023

2022

Variational Autoencoders and Evolutionary Algorithms for Targeted Novel Enzyme Design.

Miguel Martins, Miguel Rocha, Vitor Pereira

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2013

A Trust Framework for Evaluating GNSS Signal Integrity.

Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Demonstrating a trust framework for evaluating GNSS signal integrity.

Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2009

Análise dinâmica de vibrações em manipuladores robóticos

Miguel Martins

PhD thesis, 2009