Miguel Martins

Orcid: 0000-0002-2996-7907

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Bi-intermediate logics of trees and co-trees.
Ann. Pure Appl. Log., 2024

2023
A Massive Online Plasma Physics Course Using Remote Controlled Laboratories in Open edX.
Proceedings of the 2023 6th Experiment@ International Conference (exp.at'23), 2023

Integration of Remote Laboratories with LMS.
Proceedings of the 2023 6th Experiment@ International Conference (exp.at'23), 2023

2022
Variational Autoencoders and Evolutionary Algorithms for Targeted Novel Enzyme Design.
Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2013
A Trust Framework for Evaluating GNSS Signal Integrity.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Demonstrating a trust framework for evaluating GNSS signal integrity.
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
PhD thesis, 2009


  Loading...