Miguel Martins

According to our database, Miguel Martins authored at least 7 papers between 2009 and 2024.

Collaborative distances:

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

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