Publications

Books

Book Chapters: 4

2019

- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Leonel Sousa, Analysis of MOEA/D Approaches for Inferring Ancestral Relationships, chapter of Hybrid Artificial Intelligence Systems. LNAI Vol. 11734, Jun. 2019, Springer [bibTex]

2018

- Mário Pereira Véstias, High-Performance Reconfigurable Computing, chapter of Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics (Advances in Computer and Electrical Engineering) 1st Edition, Oct. 2018 [bibTex]
- Mário Pereira Véstias, Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics (Advances in Computer and Electrical Engineering, chapter of Viterbi Decoder in Hardware, Oct. 2018, IGIGlobal [bibTex]
- Inês Lynce and Vasco Manquinho and Ruben Carlos Gonçalves Martins, Parallel Maximum Satisfiability, chapter of Handbook of Parallel Constraint Reasoning, May. 2018, Springer [bibTex]

Articles

International Journal Articles: 48

2019

- José M. Granado-Criado and Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Álvaro Rubio-Largo, A Multi-Objective Optimization Procedure for Solving the High-Order Epistasis Detection Problem, article in Expert Systems With Applications vol. 142 pp. 1-15, to appear on 2019, Pergamon-Elsevier Science [DOI Article link] [bibTex]
- Fereshteh Jafarzadehpour and Amir Molahosseini and Azadeh Zarandi and Leonel Sousa, A New Energy-Efficient Hybrid Wide-Operand Adder Architecture, article in IET Circuits, Devices & Systems, to appear on 2019 [bibTex]
- João Francisco Cardoso Gante and Gabriel Falcão and Leonel Sousa, Deep Learning Architectures for Accurate Millimeter Wave Positioning in 5G, article in Neural Processing Letters, to appear on 2019, Kluwer Academic Publishers [bibTex] [PDF]
- Fereshteh Jafarzadehpour and Amir Molahosseini and Azadeh Zarandi and Leonel Sousa, Efficient Modular Adder Designs Based on Thermometer and One-Hot Coding, article in IEEE Transactions on Very Large Scale Integration Systems (TVLSI), to appear on 2019 [DOI Article link] [bibTex] [PDF]
- Jean-Claude Bajard and Paulo Sérgio Alves Martins and Leonel Sousa and Vincent Zucca, Improving the Efficiency of SVM Classification with FHE, article in IEEE Transactions on Information Forensics and Security, to appear on 2019 [bibTex]
- Nada Kassem and Liqun Chen and Rachid El Bansarkhani and Ali El Kaafarani and Jan Camenisch and Patrick Hough and Paulo Sérgio Alves Martins and Leonel Sousa, More Efficient, Provably-Secure Direct Anonymous Attestation from Lattices, article in Future Generation Computer Systems, to appear on 2019, Elsevier [Article] [bibTex]
- Belen Gonzalez-Sanchez and Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez, Multi-objective Memetic Meta-heuristic Algorithm for Encoding the Same Protein with Multiple Genes, article in Expert Systems With Applications vol. 136 pp. 83-93, to appear on 2019, Pergamon-Elsevier Science [DOI Article link] [bibTex]
- Belen Gonzalez-Sanchez and Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez, Multi-Objective Protein Encoding: Redefinition of the Problem, New Problem-aware Operators, and Approach based on Variable Neighborhood Search, article in Information Sciences vol. 500 pp. 173-189, to appear on 2019, Elsevier Science [DOI Article link] [bibTex]
- Gustavo Sanchez and Ramon Fernandes and Rodrigo Cataldo and Luciano Agostini and Leonel Sousa and Cesar Marcon, Multicore Parallelism Exploration Targeting 3D-HEVC Intra-Frame Prediction, article in IEEE Design & Test, to appear on 2019 [bibTex]
- Golnaz Taheri and Ahmad Khonsari and Reza Entezari-Maleki and Leonel Sousa, Temperature-aware Core Management in MPSoCs: Modeling and Evaluation using MRMs, article in IET Computers & Digital Techniques, to appear on 2019 [bibTex] [PDF]
- Leonel Sousa and Rogério Paludo and Paulo Sérgio Alves Martins and Hector Pettenghi, Towards the Integration of Reverse Converters into the RNS Channels, article in IEEE Transactions on Computers, to appear on 2019 [bibTex]
- João Filipe Dias Guerreiro and Aleksandar Ilic and Nuno Roma and Pedro Tomás, Modeling and Decoupling the GPU Power Consumption for Cross-Domain DVFS, article in IEEE Transactions on Parallel and Distributed Systems vol. 30 (11) pp. 2494-2506, Nov. 2019, IEEE [DOI Article link] [bibTex] [PDF]
- Daniel Ioan and Ruxandra Barbulescu and L. Miguel Silveira and Gabriela Ciuprina, Reduced order models of myelinated axonal compartments, article in Journal of Computational Neuroscience, Oct. 2019, Springer [DOI Article link] [bibTex] [PDF]
- Rafael Alexandre da Silva Marques and Luís M. S. Russo and Nuno Roma, Flying Tourist Problem: Flight Time and Cost Minimization in Complex Routes, article in Expert Systems with Applications vol. 130 pp. 172 - 187, Sep. 2019, Elsevier [bibTex] [PDF]
- Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez, Parallel Computing in Bioinformatics: A View from High-Performance, Heterogeneous, and Cloud Computing, article in Journal of Supercomputing vol. 75 (7) pp. 3369-3373, Jul. 2019, Springer [DOI Article link] [bibTex]
- Paulo Sérgio Alves Martins and Leonel Sousa, A Methodical FHE-based Cloud Computing Model, article in Future Generation Computer Systems (95) pp. 639-648, Jun. 2019, Elsevier [bibTex] [PDF]
- Nicolas Denoyelle and Brice Goglin and Aleksandar Ilic and Emmanuel Jeannot and Leonel Sousa, Modeling Non-Uniform Memory Access on Large Compute Nodes with the Cache-Aware Roofline Model, article in Transactions on Parallel and Distributed Systems (TPDS) vol. 30 (6) pp. 1374-1389, Jun. 2019, IEEE [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Virtual machine consolidation using constraint-based multi-objective optimization, article in Journal of Heuristics vol. 25 (3) pp. 339-375, Jun. 2019 [DOI Article link] [bibTex]
- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Leonel Sousa, A Multiobjective Adaptive Approach for the Inference of Evolutionary Relationships in Protein-Based Scenarios, article in Information Sciences vol. 485 (65) pp. 281-300, May. 2019, Elsevier Science [DOI Article link] [bibTex]
- Maurício Breternitz Jr and Vanderson Rosario and Edson Borin, The Multi-Lane Capsule Network (MLCN), article in IEEE Signal Processing Letters, May. 2019 [DOI Article link] [bibTex]
- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Jorge Vicente-Viola and Leonel Sousa, Comparative Assessment of GPGPU Technologies to Accelerate Objective Functions: A Case Study on Parsimony, article in Journal of Parallel and Distributed Computing vol. 126 pp. 67-81, Apr. 2019, Academic Press-Elsevier Science [DOI Article link] [bibTex]
- Satyendra Singh Yadav and Paulo Alexandre Crisóstomo Lopes and Aleksandar Ilic and Sarat Kumar Patra, Hungarian algorithm for subcarrier assignment problem using GPU and CUDA, article in International Journal of Communication Systems, Feb. 2019, Wiley [Article] [DOI Article link] [bibTex]
- Ahmad Hiasat and Leonel Sousa, On the Design of RNS Inter-Modulo Processing Units for the Arithmetic-Friendly Moduli Sets {2^{n+k}, 2^n-1, 2^{n+1}-1}, article in The Computer Journal vol. 62 (2) pp. 292-300, Feb. 2019, Oxford journals [Article] [bibTex]
- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez, Comparative Analysis of Intra-Algorithm Parallel Multiobjective Evolutionary Algorithms: Taxonomy Implications on Bioinformatics Scenarios, article in IEEE Transactions on Parallel and Distributed Systems vol. 30 (1) pp. 63-78, Jan. 2019, IEEE Computer Society [DOI Article link] [bibTex]
- Belen Gonzalez-Sanchez and Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez and José M. Granado-Criado, Multi-Objective Artificial Bee Colony for Designing Multiple Genes Encoding the Same Protein, article in Applied Soft Computing vol. 74 pp. 90-98, Jan. 2019, Elsevier Science [DOI Article link] [bibTex]

2018

- Marco Pereira and José T. de Sousa and João Costa Freire and João Caldinhas Vaz, A 1.7-mW -92-dBm Sensitivity Low-IF Receiver in 0.13-μm CMOS for Bluetooth LE Applications, article in IEEE Transactions on Microwave Theory and Techniques PP(99):1-15, to appear on 2018 [bibTex]
- Sergio Santander-Jiménez and Miguel Vega-Rodriguez and Leonel Sousa, Multiobjective Frog-Leaping Optimization for the Study of Ancestral Relationships in Protein Data, article in IEEE Transactions on Evolutionary Computation vol. 26 (6) pp. 879-893, Dec. 2018, IEEE [DOI Article link] [bibTex]
- Gustavo Sanchez and Luciano Agostini and Leonel Sousa and César Marcon, Parallelism Exploration for 3D High Efficiency Video Coding Depth Modeling Mode One, article in Journal of Real-Time Image Processing, to appear on 2018, Springer [bibTex] [PDF]
- Ahmad Hiasat and Leonel Sousa, Sign Identifier for the Enhanced Three Moduli Set {2^{n+k}, 2^n-1, 2^{n+1}-1}, article in Journal of Signal Processing Systems, to appear on 2018, Springer [Article] [bibTex] [PDF]
- Golnaz Taheri and Ahmak Khonsari and Reza Entezari-Maleki and Mohammad Baharloo and Leonel Sousa, Temperature-aware Dynamic Voltage and Frequency Scaling enabled MPSoC Modeling using Stochastic Activity Networks, article in Microprocessors and Microsystems: Embedded Hardware Design, to appear on 2018, Elsevier [bibTex]
- Diogo Miguel Coroas Prista Caetano and Taimur Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes and M. Pelkner and C. Fermont and S. Freitas and B. Ribez and F. Franco and J. Paul and Moises Simões Piedade and P. Freitas, High-Resolution Non-Destructive Test Probes Based on Magnetoresistive Sensors, article in IEEE Transactions on Industrial Electronics, Nov. 2018, IEEE [DOI Article link] [bibTex]
- Reza Entezari-Maleki and Kishor Trivedi and Leonel Sousa and Ali Movaghar, Performability-based Workflow Scheduling in Grids, article in Computer Journal vol. 61 (10) pp. 1479–1495, Oct. 2018, Oxford Academic [Article] [bibTex]
- Mário Pereira Véstias and Horácio C. Neto, Improving the area of fast parallel decimal multipliers, article in Microprocessors and Microsystems vol. 61 pp. 96-107, Sep. 2018, Elsevier [DOI Article link] [bibTex]
- Pedro Varela and Camila Ramos and Pedro T. Monteiro and Claudine Chaouiya, EpiLog: A software for the logical modelling of epithelial dynamics, article in F1000Research vol. 7 pp. 1145, Jul. 2018, F1000 Research, Ltd. [DOI Article link] [bibTex]
- Nuno D. Mendes and Rui Miguel Carrasqueiro Henriques and Elisabeth Remy and Jorge Carneiro and Pedro T. Monteiro and Claudine Chaouiya, Estimating attractor reachability in asynchronous logical models, article in Frontiers in Physiology vol. 9 pp. 1161, Jul. 2018 [DOI Article link] [bibTex]
- Satyendra Singh Yadav and Paulo Alexandre Crisóstomo Lopes and Sarat Kumar Patra, Parallel Resource Allocation and Subcarrier Assignment for Downlink OFDMA, article in IETE Technical Review pp. 1-16, Jul. 2018, Taylor & Francis [Article] [DOI Article link] [bibTex]
- Aurélien Naldi and Celine Hernandez and Wassim Abou-Jaoudé and Pedro T. Monteiro and Claudine Chaouiya and Denis Thieffry, Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0, article in Frontiers in Physiology vol. 9 pp. 646, Jun. 2018 [DOI Article link] [bibTex]
- Nuno Neves and Pedro Tomás and Nuno Roma, Stream Data Prefetcher for the GPU Memory Interface, article in Journal of Supercomputing vol. 74 (6) pp. 2314-2328, Jun. 2018, Springer US [DOI Article link] [bibTex] [PDF]
- Aurélien Naldi and Celine Hernandez and Nicolas Levy and Gautier Stoll and Pedro T. Monteiro and Claudine Chaouiya and Tomas Helikar and Andrei Zinovyev and Laurence Calzone and Sarah Cohen-Boulakia and Denis Thieffry and Loïc Paulevé, The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks, article in Frontiers in Physiology vol. 9 pp. 680, Jun. 2018 [DOI Article link] [bibTex]
- Andreia Teixeira and Pedro T. Monteiro and João A. Carriço and Francisco C. Santos and A. P. Francisco, Large-Scale Simulations of Bacterial Populations over Complex Networks, article in Journal of Computational Biology, May. 2018 [bibTex]
- Pedro Varela and Inês Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro, Stable states of Boolean regulatory networks composed over hexagonal grids, article in Electronic Notes in Theoretical Computer Science vol. 335 pp. 113-130, Apr. 2018 [DOI Article link] [bibTex]
- Biao Wang and Diego Felix de Souza and Mauricio Alvarez-Mesa and Chi Ching Chi and Ben Juurlink and Aleksandar Ilic and Nuno Roma and Leonel Sousa, Highly Parallel HEVC Decoding for Heterogeneous Systems with CPU and GPU, article in Signal Processing: Image Communication vol. 62 pp. 93-105, Mar. 2018, Elsevier [DOI Article link] [bibTex] [PDF]
- Shaolong Liu and Taimur Rabuske and Jeyanandh Paramesh and Larry Pileggi and Jorge Manuel dos Santos Ribeiro Fernandes, Analysis and Background Self-Calibration of Comparator Offset in Loop-Unrolled SAR ADCs, article in IEEE Trans. on Circuits and Systems I, Feb. 2018, IEEE [DOI Article link] [bibTex]
- Lidia Kuan and Frederico Pratas and Leonel Sousa and Pedro Tomás, MrBayes sMC3: Accelerating Bayesian Inference of Phylogenetic Trees, article in International Journal of High Performance Computing Applications vol. 32 (2) pp. 246-265, Feb. 2018, SAGE [DOI Article link] [bibTex]
- Miguel C. Teixeira and Pedro T. Monteiro and Margarida Palma and Catarina Costa and Claudia P. Godinho and Pedro Pais and Mafalda Cavalheiro and Miguel Antunes and Alexandre Lemos and Tiago Godinho de Ornelas Pedreira and Isabel Sá-Correia, YEASTRACT, an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae, article in Nucleic Acids Research vol. 46 pp. D348-D353, Jan. 2018, Oxford University Press [DOI Article link] [bibTex]

International Conferences: 40

2019

- Andreia Guerreiro and Miguel Neves and Inês Lynce and José Rui Figueira and Vasco Manquinho, Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving, presented at 25th International Conference Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- Pedro Miguel Orvalho Marques da Silva and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, Encodings for Enumeration-Based Program Synthesis, presented at 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- Leila Rashidi and Amir Dalili-Yazdi and Reza Entezari-Maleki and Leonel Sousa and Ali Movaghar, Scalable Performance Analysis of Epidemic Routing Considering Skewed Location Visiting Preferences, presented at 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Jul. 2019 [bibTex]
- Pedro Pontes Brito de Sá and Helena Aidos and Nuno Roma and Pedro Tomás, Heart Disease Detection Architecture for Lead I Off-the-Person ECG Monitoring Devices, presented at European Signal Processing Conference (EUSIPCO 2019), Jun. 2019 [bibTex]
- Gonçalo de Castro Pena Brandão Rodrigues and Jorge Manuel dos Santos Ribeiro Fernandes and Taimur Rabuske, A Small-Footprint Quasi-Passive 1st Order ΣΔ Modulator, presented at IEEE Int. Symp. on Circuits and Systems (ISCAS), May. 2019 [bibTex]
- João Francisco Cardoso Gante and Gabriel Falcão and Leonel Sousa, Enhancing Beamformed Fingerprint Outdoor Positioning with Hierarchical Convolutional Neural Networks, presented at 2019 International Conference on Acoustics, Speech and Signal Processing, May. 2019 [bibTex]
- Mafalda Sofia Ramos Benido and Taimur Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes, Injection Locked Oscillators with Current Reuse, presented at IEEE Int. Symp. on Circuits and Systems (ISCAS), May. 2019 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms, presented at 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May. 2019 [bibTex]
- Luís Fiolhais and Fernando Manuel Duarte Gonçalves and Rui Policarpo Duarte and Mário Pereira Véstias and José T. de Sousa, Low Energy Heterogeneous Computing with Multiple RISC-V and CGRA Cores, presented at IEEE International Symposium on Circuits and Systems, May. 2019 [bibTex]
- Ana Gonçalves and Tiago Peres and Mário Pereira Véstias, Exploring Data Bitwidth to Run Convolutional Neural Networks in Low Density FPGAs, presented at International Symposium on Applied Reconfigurable Computing, Apr. 2019 [bibTex]
- Tiago Peres and Ana Gonçalves and Mário Pereira Véstias, Faster Convolutional Neural Networks in Low Density FPGAs using Block Pruning, presented at International Symposium on Applied Reconfigurable Computing, Apr. 2019 [bibTex]
- Paulo Sérgio Alves Martins and Jérémy Marrez and Jean Claude Bajard and Leonel Sousa, HyPoRes: An Hybrid Representation System for ECC, presented at 26th IEEE Symposium on Computer Arithmetic, Apr. 2019 [bibTex]
- Maurício Breternitz Jr and Felipe Franca and Leandro Santiago and et al, Memory Efficient Weightless Neural Network using Bloom Filter, presented at 27 th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Apr. 2019 [bibTex] [PDF]
- Roger Endrigo Carvalho Porto and Luciano Agostini and Bruno Zatt and Nuno Roma and Marcelo Porto, Power-Efficient Approximate SAD Architecture with LOA Imprecise Adders, presented at IEEE Latin American Symposium on Circuits and Systems (LASCAS 2019), Feb. 2019 [bibTex] [PDF]
- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]

2018

- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Leonel Sousa, Phylogenetic Reconstructions Using an Indicator-Based Bat Algorithm for Multicore Processors, presented at IEEE International Conference on Bioinformatics and Biomedicine 2018 (IEEE BIBM 2018), Dec. 2018 [bibTex]
- Rui Policarpo Duarte and Horácio C. Neto, Stochastic processors on FPGAs to compute sensor data towards fault-tolerant IoT systems, Dec. 2018 [bibTex]
- Alexandre Filipe Coelho Vieira and Frederico Pratas and Leonel Sousa and Aleksandar Ilic, Accelerating CNN computation: Quantisation tuning and network resizing, presented at Workshop on AutotuniNg and aDaptivity AppRoaches for Energy Efficient HPC Systems (ANDARE/PACT), Nov. 2018 [DOI Article link] [bibTex]
- Maurício Breternitz Jr and Michael Lebeane and Khaled Hamidouche and Brad Benton and Steven K Reinhardt and Lizy K John, ComP-net: command processor networking for efficient intra-kernel communications on GPUs, presented at PACT '18 Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, Nov. 2018 [DOI Article link] [bibTex] [PDF]
- José Nascimento and Rui Policarpo Duarte and Mário Pereira Véstias, Hyperspectral compressive sensing: a low-power consumption approach, presented at Proeedings of SPIE, Nov. 2018 [bibTex]
- Rui Policarpo Duarte and Mário Pereira Véstias and Horácio C. Neto, Rapid Prototyping of Approximate Signal Processing Using Stochastic Processors on FPGAs, presented at International Conference on Design and Architectures for Signal and Image Processing, Oct. 2018 [bibTex]
- Shaolong Liu and J. Paramesh and L. Pileggi and Taimur Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes, A 125 MS/s 10.4 ENOB 10.1 fJ/Conv-Step Multi-Comparator SAR ADC with Comparator Noise Scaling in 65nm CMOS, presented at IEEE European Solid-State Circuits Conference (ESSCIRC), Sep. 2018 [bibTex]
- Sergio Santander-Jiménez and Miguel A. Vega-Rodríguez and Leonel Sousa, Analysis of Scheduling Policies in Metaheuristics for Evolutionary Biology, presented at 6th International Workshop on Parallelism in Bioinformatics (PBio 2018), Sep. 2018 [DOI Article link] [bibTex]
- João Vieira and Paolo Ienne and Nuno Roma and Gabriel Falcao and Pedro Tomás, Exploiting Compute Caches for Memory Bound Vector Operations, presented at International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2018), Sep. 2018 [bibTex] [PDF]
- Rui Policarpo Duarte and Rui Miguel Carrasqueiro Henriques and Horácio C. Neto, FPGA-based OpenCL Accelerator for Discovering Temporal Patterns in Gene Expression Data Using Biclustering', presented at PBio 2018 Proceedings of the 6th International Workshop on Parallelism in Bioinformatics , Sep. 2018 [DOI Article link] [bibTex]
- Luís Filipe Azenhas Fiolhais and Horácio C. Neto, An Efficient Exact Fused Dot Product Processor in FPGA, presented at International Conference on Field Programmable Logic and Applications (FPL), Aug. 2018 [DOI Article link] [bibTex]
- Mário Pereira Véstias and Rui Policarpo Duarte and José T. de Sousa and Horácio C. Neto, Lite-CNN: A High-Performance Architecture to Execute CNNs in Low Density FPGAs, presented at International Conference on Field Programmable Logic and Applications (FPL), Aug. 2018 [DOI Article link] [bibTex]
- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, Model Revision of Logical Regulatory Networks Using Logic-Based Tools, presented at Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Jul. 2018 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Multi-Objective Optimization Through Pareto Minimal Correction Subsets, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Jul. 2018 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Stratification for Constraint-Based Multi-Objective Combinatorial Optimization, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Jul. 2018 [bibTex]
- Estefania Serrano and Aleksandar Ilic and Leonel Sousa and Javier Garcia Blas and Jesus Carretero, Cache-aware Roofline Model and Medical Imaging Optimization, presented at Workshop on Sustainable Ultrascale Computing Systems - ISC High Performance, Jun. 2018 [bibTex]
- H. Kabakchiev and V. Behar and I. Garvanov and D. Kabakchieva and A. Kabakchiev and H. Rohling and M. Bentum and Jorge Manuel dos Santos Ribeiro Fernandes, Comparison of Two Algorithms for Signal Detection in Pulsar-based FSR, presented at IEEE International Radar Symposium (IRS), Jun. 2018 [DOI Article link] [bibTex]
- H. Kabakchiev and V. Behar and I. Garvanov and D. Kabakchieva and A. Kabakchiev and H. Rohling and M. Bentum and Jorge Manuel dos Santos Ribeiro Fernandes, Separation of Pulsar Signals in FSR System, presented at IEEE International Radar Symposium (IRS), Jun. 2018 [DOI Article link] [bibTex]
- Paula Cristina Alves Pereira and António Pinto and Luís Oliveira and Jorge Manuel dos Santos Ribeiro Fernandes, Generic Model for Multi-Phase Ring Oscillators, presented at IEEE Int. Symp. on Circuits and Systems (ISCAS), May. 2018 [bibTex]
- João Carlos Basto de Lima da Palma Santos and Diogo Brito and Jorge Manuel dos Santos Ribeiro Fernandes and Gonçalo Nuno Gomes Tavares, Radio Pulsar Signal Generator, presented at IEEE International Symposium on Circuits and Systems, May. 2018 [bibTex]
- Ricardo Chaves and Lukasz Chmielewski and Francesco Regazzoni and Lejla Batina, SCA-Resistance for AES: How Cheap Can We Go?, presented at International Conference on Cryptology in Africa, May. 2018 [bibTex]
- João Francisco Cardoso Gante and Gabriel Falcão and Leonel Sousa, Data-Aided Fast Beamforming Selection For 5G, presented at IEEE International Conference on Acoustics, Speech and Signal Processing, Apr. 2018 [bibTex]
- Mikolas Janota, Towards Generalization in QBF Solving via Machine Learning , presented at Thirty-Second AAAI Conference on Artificial Intelligence , Apr. 2018 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Enhancing Constraint-Based Multi-Objective Combinatorial Optimization, presented at AAAI Conference on Artificial Intelligence, AAAI 18, Feb. 2018 [bibTex]
- João Filipe Dias Guerreiro and Aleksandar Ilic and Nuno Roma and Pedro Tomás, GPGPU Power Modeling for Multi-Domain Voltage-Frequency Scaling, presented at 24th International Symposium on High-Performance Computer Architecture (HPCA'2018), Feb. 2018 [DOI Article link] [bibTex] [PDF]

National Conferences: 5

2019

- Tiago Peres and Ana Gonçalves and Mário Pereira Véstias, Otimização de Redes Neuronais Convolucionais em FPGA com Redução do Tamanho dos Operandos, presented at XV Jornadas sobre SIstemas Reconfiguráveis, Feb. 2019 [bibTex]
- Ana Gonçalves and Tiago Peres and Mário Pereira Véstias, Otimização de Redes Neuronais Convolucionais em FPGA com Redução do Tamanho dos Operandos, presented at XV Jornadas sobre SIstemas Reconfiguráveis, Feb. 2019 [bibTex]

2018

- Horácio C. Neto and Rui Policarpo Duarte and Mário Pereira Véstias and César Gouveia, CNN-Based Traffic-Sign Detection on FPGAs, presented at Jornadas sobre SIstemas Reconfiguráveis, Feb. 2018 [bibTex]
- Mário Pereira Véstias and Rui Policarpo Duarte and José T. de Sousa and Horácio C. Neto, Implementação Eficiente de Múltiplos Produtos Internos com DSP, presented at Jornadas sobre SIstemas Reconfiguráveis, Feb. 2018 [bibTex]

Dissertations

PhD Theses: 6

2019

- Miguel Neves advised by Vasco Manquinho and Inês Lynce, Constraint-Based Multi-Objective Combinatorial Optimization, PhD Thesis at IST - Universidade de Lisboa, Jun. 2019 [bibTex]
- Nuno Neves advised by Nuno Roma and Pedro Tomás, Energy-Efficient Computing: Adaptive Structures and Data Management, PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jan. 2019 [bibTex]

2018

- Diogo Brito advised by Gonçalo Nuno Gomes Tavares and Jorge Manuel dos Santos Ribeiro Fernandes, RF Receiver for Navigation Systems Using Pulsars, PhD Thesis, Dec. 2018 [bibTex]
- Liacha Ahmed advised by Paulo Flores and J. Monteiro, Optimal Implementation of LTI Systems for Embedded Systems/ Real Time, PhD Thesis, Oct. 2018 [bibTex]
- Diego Felix de Souza advised by Leonel Sousa and Nuno Roma, GHEVC: An Efficient HEVC Decoder for Graphics Processing Units, PhD Thesis at Universidade de Lisboa, Jul. 2018 [bibTex]
- Tiago Domingues advised by Marcelino Bicho dos Santos and Gonçalo Nuno Gomes Tavares, Click Modulation, PhD Thesis, Jan. 2018 [bibTex]

MSc Theses: 34

2019

- Francisco Sousa Lobo Theriaga Gonçalves advised by Aleksandar Ilic and Leonel Sousa, Boosting the performance of multi-objective epistasis detection, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jul. 2019 [bibTex]
- Illya Gerasymchuk advised by Ricardo Chaves and Aleksandar Ilic, TLS for IOT, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jul. 2019 [bibTex]
- Ricardo Martins Coelho Nunes advised by Jorge Manuel dos Santos Ribeiro Fernandes and Taimur Rabuske, SAR ADC for Stochastic Self-Calibration Algorithms, MSc Thesis, Jun. 2019 [bibTex]
- Mafalda Sofia Ramos Benido advised by Jorge Manuel dos Santos Ribeiro Fernandes and Taimur Rabuske, IR-UWB Transmiter for Biomedical Applications, MSc Thesis, May. 2019 [bibTex]
- Dinis Pedro Pinto Marcos Madeira advised by Rui Policarpo Duarte and J. Monteiro, Processador Didático P4 - Especificação e Implementação do Processador e Ambiente de Desenvolvimento, MSc Thesis at Universidade de Lisboa, May. 2019 [bibTex]
- Cláudia Fiore advised by Miguel Matos and Ricardo Chaves, Providing trust to multi-cloud storage platforms through the blockchain, MSc Thesis, Feb. 2019 [bibTex]
- Gonçalo de Castro Pena Brandão Rodrigues advised by Jorge Manuel dos Santos Ribeiro Fernandes and Taimur Rabuske, Sigma- Delta ADC for IoT Applications, MSc Thesis, Feb. 2019 [bibTex]

2018

- Ana Gonçalves advised by Mário Pereira Véstias, Otimização de Redes Neurais Convolucionais em FPGA com Redução do Tamanho dos Operandos, MSc Thesis at Instituto Superior de Engenharia de Lisboa, Dec. 2018 [bibTex]
- Tiago Peres advised by Mário Pereira Véstias, Otimização de Redes Neurais Convolucionais na FPGA utilizando Técnicas de Compressão, MSc Thesis at Instituto Superior de Engenharia de Lisboa, Dec. 2018 [bibTex]
- Magda Carolina Araújo Resende advised by Helena Galhardas and Inês Lynce, DeepSea: Web-based database, MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Nov. 2018 [bibTex]
- João Miguel Morgado Pereira Vieira advised by Pedro Tomás and Nuno Roma, Exploiting Processing Near Cache for Memory Bound Vector Operations, MSc Thesis, Nov. 2018 [bibTex]
- Helena Alexandra Sabala Ruivo da Cruz advised by Rui Policarpo Duarte and Horácio C. Neto, On-Board Multi-core Fault-Tolerant SAR Imaging Architecture, MSc Thesis at Instituto Superior Técnico, Nov. 2018 [bibTex]
- Jorge Guilherme Pessoa dos Santos advised by Pedro Tomás and Helena Aidos, Video Compression Using (End-to-End) Deep Learning, MSc Thesis, Nov. 2018 [bibTex]
- Luis Eduardo Gomes Sobral Gonçalves advised by Marcelino Bicho dos Santos, High Frequency Integrated DCDC converter, MSc Thesis, Oct. 2018 [bibTex]
- César Belo Gama Flor de Sá advised by Marcelino Bicho dos Santos, Integrated high PSRR class D audio driver, MSc Thesis, Oct. 2018 [bibTex]
- João Lucas dos Santos Munhão advised by Marcelino Bicho dos Santos, Power Management Unit for WigGig SoC, MSc Thesis, Oct. 2018 [bibTex]
- Diogo Filipe Silvério Fernandes advised by Marcelino Bicho dos Santos, Solar Energy Harvesting PMU, MSc Thesis, Oct. 2018 [bibTex]
- João Miguel Sousa Varandas advised by Vasco Manquinho, Solving the treevdith and pathwidth in graphs using MaxSat, MSc Thesis, Oct. 2018 [bibTex]
- Rafael Fernandes dos Santos advised by J. Monteiro, Parallelization of Conditional Path Detection in Graphs, MSc Thesis at IST ULisboa, Sep. 2018 [bibTex]
- Nik Orter advised by Mário Pereira Véstias, Embedded System for Gym and Fitness Centers, MSc Thesis at Instituto Superior de Engenharia de Lisboa, Jul. 2018 [bibTex]
- Martinho Dias advised by Mário Pereira Véstias, Implementação de filtros de imagem em FPGA usando ferramentas de síntese de alto nível, MSc Thesis at Instituto Superior de Engenharia de Lisboa, Jul. 2018 [bibTex]
- Rui Miguel Seromenho de Almeida Graça advised by Gonçalo Nuno Gomes Tavares, Desenvolvimento de Fresa CNC a laser: Sistema de Controlo Global e Programas de Vetorização, MSc Thesis, Jun. 2018 [bibTex]
- Alexandre Filipe Coelho Vieira advised by Aleksandar Ilic and Leonel Sousa, CNN Architectures on Heterogeneous Systems, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Daniel Paulo Januario Lopes advised by Gonçalo Nuno Gomes Tavares, Desenvolvimento de Fresa CNC a laser, MSc Thesis, Jun. 2018 [bibTex]
- Filipe Pedro Guerra Magalhães advised by J. Monteiro and Juan Acebron, Distributed Algorithm for the Analysis of Properties of Complex Networks, MSc Thesis at IST ULisboa, Jun. 2018 [bibTex]
- Rui de Almeida Torroaes Albuquerque advised by Nuno Roma and Pedro Tomás, Energy-Efficient HEVC Motion Estimation for Mobile Heterogeneous Platforms, MSc Thesis at Universidade de Lisboa, Jun. 2018 [bibTex]
- Henrique Franco Correia Cavaleiro advised by Paulo Flores, Extending OpenMSP430 Microcontroller for IoT Low-power Applications, MSc Thesis at Univ. Lisboa, Jun. 2018 [bibTex]
- Helder Francisco Pereira Duarte advised by Aleksandar Ilic, Performance Analysis of Intel Gen9.5 Integrated GPU Architecture, MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
- Paulo João Temoteo Rito advised by Paulo Flores, SoC Implementation of OpenMSP430 Microcontroller in UMC 130nm, MSc Thesis at Univ. Lisboa, Jun. 2018 [bibTex]
- Fabian Näf advised by Gonçalo Nuno Gomes Tavares, Wireless Adaptive Reconfigurable Network , MSc Thesis, Jun. 2018 [bibTex]
- André Alexandre Rocha Morgado Simões advised by Gonçalo Nuno Gomes Tavares, Wireless Adaptive Reconfigurable Network - Sensors and Energy Harvesting Subsystem, MSc Thesis, Jun. 2018 [bibTex]
- Rubén Filipe Martins Marques advised by Vasco Manquinho and Inês Lynce, Algorithms for Leakage Detection System, MSc Thesis at IST, May. 2018 [bibTex]
- José António Vieira Veiga de Faria advised by L. Miguel Silveira, Machine Learning Techniques for System Modeling, MSc Thesis, May. 2018 [bibTex]
- Amândio de Jesus Cordeiro Almada advised by Vasco Manquinho and Inês Lynce, Optimization algorithms in forest planning models, MSc Thesis, Apr. 2018 [bibTex]

Internships: 2

2019

- Chen Zhimin (Jimmy) advised by J. Monteiro, Development and Analysis of a SAT-model for Determining Short-circuit Conditions in Logic Circuits, short term traineeship, Jan. 2019 [bibTex]

2018

- Vasco Miguel Liang Xu advised by J. Monteiro, The Applicability of Gacuda in Developing Genetic Algorithms for Minimum Vertex Cover and Subset Sum Problem, short term traineeship, Aug. 2018 [bibTex]

as Editors

Edited Proceedings: 1

2018

- Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez and José M. Granado-Criado and Rosa M. Badia , editors, Proceedings of the 6th International Workshop on Parallelism in Bioinformatics (PBio 2018), Sep. 2018, Association for Computing Mach [bibTex]

Special Issues of Journals (editor): 1

2019

- Miguel A. Vega-Rodríguez and Sergio Santander-Jiménez, editors, Special Issue on Parallel Computing in Bioinformatics, Journal of Supercomputing vol. 75 (7), Jul. 2019, Springer [bibTex]