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: 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
3
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


4
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
5
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
6
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

7
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

8
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


9
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


10
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