Alexandre Miguel dos Santos Martins Pinto
AuthID: R-000-0CA
1
TITLE: Minimizing total completion time in large-sized pharmaceutical quality control scheduling Full Text
AUTHORS: Martins, Miguel S. E.; Viegas, Joaquim L.; Coito, Tiago; Firme, Bernardo; Costigliola, Andrea; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2023, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 29, ISSUE: 1
AUTHORS: Martins, Miguel S. E.; Viegas, Joaquim L.; Coito, Tiago; Firme, Bernardo; Costigliola, Andrea; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2023, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 29, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Modularization of Logic Programs
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
3
TITLE: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
AUTHORS: Pinto, AM; Pereira, LM;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13160 LNCS
4
TITLE: Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXED IN: 
DBLP
DBLP5
TITLE: Modularization of Logic Programs
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
AUTHORS: Alexandre Miguel Pinto; Luís Moniz Pereira;
PUBLISHED: 2023, SOURCE: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, VOLUME: 13160
INDEXED IN: DBLP
DBLP6
TITLE: Assessing the impact of automation in pharmaceutical quality control labs using a digital twin Full Text
AUTHORS: Coito, Tiago; Martins, Miguel S. E.; Firme, Bernardo; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 62
AUTHORS: Coito, Tiago; Martins, Miguel S. E.; Firme, Bernardo; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF MANUFACTURING SYSTEMS, VOLUME: 62
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Integration of industrial IoT architectures for dynamic scheduling Full Text
AUTHORS: Coito, Tiago; Firme, Bernardo; Martins, Miguel S. E.; Costigliola, Andrea; Lucas, Rafael; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 171
AUTHORS: Coito, Tiago; Firme, Bernardo; Martins, Miguel S. E.; Costigliola, Andrea; Lucas, Rafael; Figueiredo, Joao; Vieira, Susana M.; Sousa, Joao M. C.;
PUBLISHED: 2022, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 171
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Novel Cluster Modeling for the Spatiotemporal Analysis of Coastal Upwelling
AUTHORS: Nascimento, Susana; Martins, Alexandre; Relvas, Paulo; Luis, Joaquim F. ; Mirkin, Boris;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566
AUTHORS: Nascimento, Susana; Martins, Alexandre; Relvas, Paulo; Luis, Joaquim F. ; Mirkin, Boris;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566
9
TITLE: Encoder-Decoder Neural Network Architecture for solving Job Shop Scheduling Problems using Reinforcement Learning
AUTHORS: Magalhaes, Ricardo; Martins, Miguel; Vieira, Susana; Santos, Filipe; Sousa, Joao;
PUBLISHED: 2021, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2021 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI 2021)
AUTHORS: Magalhaes, Ricardo; Martins, Miguel; Vieira, Susana; Santos, Filipe; Sousa, Joao;
PUBLISHED: 2021, SOURCE: IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2021 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI 2021)
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Reinforcement Learning for Dual-Resource Constrained Scheduling
AUTHORS: Martins, MSE; Viegas, JL; Coito, T; Firme, BM; Sousa, JMC; Figueiredo, J; Vieira, SM;
PUBLISHED: 2020, SOURCE: 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges in IFAC PAPERSONLINE, VOLUME: 53, ISSUE: 2
AUTHORS: Martins, MSE; Viegas, JL; Coito, T; Firme, BM; Sousa, JMC; Figueiredo, J; Vieira, SM;
PUBLISHED: 2020, SOURCE: 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges in IFAC PAPERSONLINE, VOLUME: 53, ISSUE: 2
INDEXED IN: WOS
WOS