Alexandre Miguel dos Santos Martins Pinto
AuthID: R-000-0CA
1
TÃTULO: Divide-and-conquer initialization and mutation operators for the large-scale mixed Capacitated Arc Routing Problem Full Text
AUTORES: Oliveira, Diogo F.; Martins, Miguel S. E.; Sousa, Joao M. C.; Vieira, Susana M.; Figueira, Jose Rui;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 321, NÚMERO: 2
AUTORES: Oliveira, Diogo F.; Martins, Miguel S. E.; Sousa, Joao M. C.; Vieira, Susana M.; Figueira, Jose Rui;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 321, NÚMERO: 2
2
TÃTULO: A Systematic Review on Reinforcement Learning for Industrial Combinatorial Optimization Problems
AUTORES: Martins, Miguel S. E.; Sousa, Joao M. C.; Vieira, Susana;
PUBLICAÇÃO: 2025, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 15, NÚMERO: 3
AUTORES: Martins, Miguel S. E.; Sousa, Joao M. C.; Vieira, Susana;
PUBLICAÇÃO: 2025, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 15, NÚMERO: 3
3
TÃTULO: Forced Periodic Optimal Scheduling Policy for Graph Reinforcement Learning
AUTORES: Martins, Miguel S. E.; Vieira, Susana; Sousa, Joao M. C.;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems in INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2024, VOL 1, VOLUME: 1174
AUTORES: Martins, Miguel S. E.; Vieira, Susana; Sousa, Joao M. C.;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems in INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2024, VOL 1, VOLUME: 1174
4
TÃTULO: Minimizing total completion time in large-sized pharmaceutical quality control scheduling Full Text
AUTORES: Martins, Miguel S. E.; Viegas, Joaquim L.; Coito, Tiago; Firme, Bernardo; Costigliola, Andrea; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HEURISTICS, VOLUME: 29, NÚMERO: 1
AUTORES: Martins, Miguel S. E.; Viegas, Joaquim L.; Coito, Tiago; Firme, Bernardo; Costigliola, Andrea; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HEURISTICS, VOLUME: 29, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS5
TÃTULO: Modularization of Logic Programs
AUTORES: Pinto, AM; Pereira, LM;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
AUTORES: Pinto, AM; Pereira, LM;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
6
TÃTULO: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTORES: Pinto, AM; Pereira, LM;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
AUTORES: Pinto, AM; Pereira, LM;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
7
TÃTULO: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTORES: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLICAÇÃO: 2023, FONTE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
AUTORES: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLICAÇÃO: 2023, FONTE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXADO EM: 
DBLP
DBLP8
TÃTULO: Modularization of Logic Programs
AUTORES: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLICAÇÃO: 2023, FONTE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
AUTORES: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLICAÇÃO: 2023, FONTE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXADO EM: DBLP
DBLP9
TÃTULO: Assessing the impact of automation in pharmaceutical quality control labs using a digital twin Full Text
AUTORES: Coito, Tiago; Martins, Miguel S. E.; Firme, Bernardo; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 62
AUTORES: Coito, Tiago; Martins, Miguel S. E.; Firme, Bernardo; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 62
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: Integration of industrial IoT architectures for dynamic scheduling Full Text
AUTORES: Coito, Tiago; Firme, Bernardo; Martins, Miguel S. E.; Costigliola, Andrea; Lucas, Rafael; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 171
AUTORES: Coito, Tiago; Firme, Bernardo; Martins, Miguel S. E.; Costigliola, Andrea; Lucas, Rafael; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLICAÇÃO: 2022, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 171
INDEXADO EM: Scopus WOS
Scopus WOS