Alexandre Miguel dos Santos Martins Pinto
AuthID: R-000-0CA
1
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 WOS2
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
3
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
4
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
DBLP5
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
DBLP6
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 WOS7
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 WOS8
TÃTULO: Novel Cluster Modeling for the Spatiotemporal Analysis of Coastal Upwelling
AUTORES: Nascimento, Susana; Martins, Alexandre; Relvas, Paulo; Luis, Joaquim F. ; Mirkin, Boris;
PUBLICAÇÃO: 2022, FONTE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566
AUTORES: Nascimento, Susana; Martins, Alexandre; Relvas, Paulo; Luis, Joaquim F. ; Mirkin, Boris;
PUBLICAÇÃO: 2022, FONTE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566
9
TÃTULO: Encoder-Decoder Neural Network Architecture for solving Job Shop Scheduling Problems using Reinforcement Learning
AUTORES: Magalhaes, Ricardo; Martins, Miguel; Vieira, Susana; Santos, Filipe; Sousa, Joao;
PUBLICAÇÃO: 2021, FONTE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2021 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI 2021)
AUTORES: Magalhaes, Ricardo; Martins, Miguel; Vieira, Susana; Santos, Filipe; Sousa, Joao;
PUBLICAÇÃO: 2021, FONTE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2021 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI 2021)
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: Reinforcement Learning for Dual-Resource Constrained Scheduling
AUTORES: Martins, MSE; Viegas, JL; Coito, T; Firme, BM; Sousa, JMC; Figueiredo, J; Vieira, SM;
PUBLICAÇÃO: 2020, FONTE: 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges in IFAC PAPERSONLINE, VOLUME: 53, NÚMERO: 2
AUTORES: Martins, MSE; Viegas, JL; Coito, T; Firme, BM; Sousa, JMC; Figueiredo, J; Vieira, SM;
PUBLICAÇÃO: 2020, FONTE: 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges in IFAC PAPERSONLINE, VOLUME: 53, NÚMERO: 2
INDEXADO EM: WOS
WOS