Miguel Martins

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 5

Top Topics

Particle Swarm Algorithm

Classification Trees

Job Shop Scheduling

Top Venues

Ann. Pure Appl. Log.

Publications

Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini
Bi-intermediate logics of trees and co-trees. Ann. Pure Appl. Log. 175 (10) (2024)
Miguel Martins, Horácio Fernandes, Pedro Rossa, João Nuno Silva
Integration of Remote Laboratories with LMS. exp.at (2023)
Pedro Rossa, Horácio Fernandes, Miguel Martins, João Nuno Silva
A Massive Online Plasma Physics Course Using Remote Controlled Laboratories in Open edX. exp.at (2023)
Miguel Martins, Miguel Rocha, Vitor Pereira
Variational Autoencoders and Evolutionary Algorithms for Targeted Novel Enzyme Design. CEC (2022)
Ricardo Magalhães, Miguel Martins, Susana M. Vieira, Filipe Santos, João M. C. Sousa
Encoder-Decoder Neural Network Architecture for solving Job Shop Scheduling Problems using Reinforcement Learning. SSCI (2021)
Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
A Trust Framework for Evaluating GNSS Signal Integrity. CSF (2013)
Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
Demonstrating a trust framework for evaluating GNSS signal integrity. CCS (2013)