Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 18947
1703 Team MembersFilters -> Year: 2025
11681
TITLE: Optimization of Power Flow with Energy Storage Using Genetic Algorithms
AUTHORS: Vitor Leite; Carlos Silva; Joao Claro ; Joao M C Sousa;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2678-2684
AUTHORS: Vitor Leite; Carlos Silva; Joao Claro ; Joao M C Sousa;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2678-2684
11682
TITLE: Optimization of quadruped robot locomotion gaits through a genetic algorithm Full Text
AUTHORS: Silva, MF ;
PUBLISHED: 2014, SOURCE: Mathematical Methods in Engineering, PAGES: 181-192
AUTHORS: Silva, MF ;
PUBLISHED: 2014, SOURCE: Mathematical Methods in Engineering, PAGES: 181-192
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef11683
TITLE: Optimizing Large Scale Problems With Metaheuristics in a Reduced Space Mapped by Autoencoders-Application to the Wind-Hydro Coordination
AUTHORS: Vladimiro Miranda ; Joana da Hora Martins ; Vera Palma;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 29, ISSUE: 6, PAGES: 3078-3085
AUTHORS: Vladimiro Miranda ; Joana da Hora Martins ; Vera Palma;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 29, ISSUE: 6, PAGES: 3078-3085
11684
TITLE: Ordered minimum completion time heuristic for unrelated parallel-machines problems
AUTHORS: E Santos, AS; Ana Maria Madureira ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies, CISTI 2014 in Iberian Conference on Information Systems and Technologies, CISTI
AUTHORS: E Santos, AS; Ana Maria Madureira ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies, CISTI 2014 in Iberian Conference on Information Systems and Technologies, CISTI
11685
TITLE: Otimização de planos de exploração florestal em baldios do norte de Portugal
AUTHORS: Adelaide Cerveira ; Isabel Martins; Artur Mota; João Bento; Teresa Fonseca;
PUBLISHED: 2014, SOURCE: Investigação operacional em ação: casos de aplicação, PAGES: 17-56
AUTHORS: Adelaide Cerveira ; Isabel Martins; Artur Mota; João Bento; Teresa Fonseca;
PUBLISHED: 2014, SOURCE: Investigação operacional em ação: casos de aplicação, PAGES: 17-56
INDEXED IN: CrossRef
CrossRef11686
TITLE: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTHORS: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
AUTHORS: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
11687
TITLE: P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems
AUTHORS: Luis M Miguel Pinho ; Eduardo Quinones; Marko Bertogna; Andrea Marongiu; Jorge P Pereira Carlos; Claudio Scordino; Michele Ramponi;
PUBLISHED: 2014, SOURCE: 17th Euromicro Conference on Digital System Design (DSD) in 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), PAGES: 214-221
AUTHORS: Luis M Miguel Pinho ; Eduardo Quinones; Marko Bertogna; Andrea Marongiu; Jorge P Pereira Carlos; Claudio Scordino; Michele Ramponi;
PUBLISHED: 2014, SOURCE: 17th Euromicro Conference on Digital System Design (DSD) in 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), PAGES: 214-221
11688
TITLE: PAR/PST location and sizing in power grids with wind power uncertainty
AUTHORS: Vladimiro Miranda ; Rui Alves;
PUBLISHED: 2014, SOURCE: International Conference on Probabilistic Methods Applied to Power Systems (PMAPS) in 2014 INTERNATIONAL CONFERENCE ON PROBABILISTIC METHODS APPLIED TO POWER SYSTEMS (PMAPS)
AUTHORS: Vladimiro Miranda ; Rui Alves;
PUBLISHED: 2014, SOURCE: International Conference on Probabilistic Methods Applied to Power Systems (PMAPS) in 2014 INTERNATIONAL CONFERENCE ON PROBABILISTIC METHODS APPLIED TO POWER SYSTEMS (PMAPS)
11689
TITLE: PAR/PST location and sizing in power grids with wind power uncertainty
AUTHORS: Miranda, V ; Alves, R;
PUBLISHED: 2014, SOURCE: 2014 IEEE PES Transmission and Distribution Conference and Exposition - Latin America, PES T and D-LA 2014 in 2014 IEEE PES Transmission and Distribution Conference and Exposition, PES T and D-LA 2014 - Conference Proceedings
AUTHORS: Miranda, V ; Alves, R;
PUBLISHED: 2014, SOURCE: 2014 IEEE PES Transmission and Distribution Conference and Exposition - Latin America, PES T and D-LA 2014 in 2014 IEEE PES Transmission and Distribution Conference and Exposition, PES T and D-LA 2014 - Conference Proceedings
INDEXED IN: Scopus
Scopus11690
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), PAGES: 492-499
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), PAGES: 492-499
11691
TITLE: PARADIGM-COV A Multimensional Test Coverage Analysis Tool
AUTHORS: Liliana Vilela; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
AUTHORS: Liliana Vilela; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
11692
TITLE: Parallel Machines Scheduling with Fuzzy Simulated Annealing
AUTHORS: Santos, AS; Varela, MLR; Ana Maria Madureira ; Ribeiro, RA;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 269-274
AUTHORS: Santos, AS; Varela, MLR; Ana Maria Madureira ; Ribeiro, RA;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 269-274
11693
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
11694
TITLE: Parallelism in Ada: Status and prospects
AUTHORS: Pinho, LM ; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS, PAGES: 91-106
AUTHORS: Pinho, LM ; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS, PAGES: 91-106
INDEXED IN: Scopus
Scopus11695
TITLE: Parallelism in Ada: Status and Prospects
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 91-106
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 91-106
INDEXED IN: 
WOS CrossRef
WOS CrossRef11696
TITLE: Parkinson's Disease Assessment Based on Gait Analysis Using an Innovative RGB-D Camera System
AUTHORS: Ana Patricia Rocha; Hugo Choupina ; Jose Maria Fernandes ; Maria Jose Rosas; Rui Vaz; Joao Paulo S Silva Cunha ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3126-3129
AUTHORS: Ana Patricia Rocha; Hugo Choupina ; Jose Maria Fernandes ; Maria Jose Rosas; Rui Vaz; Joao Paulo S Silva Cunha ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3126-3129
11697
TITLE: Particle Swarm Optimization of Electricity Market Negotiating Players Portfolio
AUTHORS: Tiago Pinto ; Zita Vale; Tiago M Sousa; Tiago Sousa; Hugo Morais; Isabel Praca;
PUBLISHED: 2014, SOURCE: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF HETEROGENEOUS MULTI-AGENT SYSTEMS: THE PAAMS COLLECTION, VOLUME: 430, PAGES: 273-284
AUTHORS: Tiago Pinto ; Zita Vale; Tiago M Sousa; Tiago Sousa; Hugo Morais; Isabel Praca;
PUBLISHED: 2014, SOURCE: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF HETEROGENEOUS MULTI-AGENT SYSTEMS: THE PAAMS COLLECTION, VOLUME: 430, PAGES: 273-284
11698
TITLE: Particle Swarm Optimization of Electricity Market Negotiating Players Portfolio
AUTHORS: Tiago Pinto ; Zita A Vale; Tiago M Sousa; Tiago Sousa; Hugo Morais; Isabel Praça;
PUBLISHED: 2014, SOURCE: Highlights of Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection - PAAMS 2014 International Workshops, Salamanca, Spain, June 4-6, 2014. Proceedings, VOLUME: 430, PAGES: 273-284
AUTHORS: Tiago Pinto ; Zita A Vale; Tiago M Sousa; Tiago Sousa; Hugo Morais; Isabel Praça;
PUBLISHED: 2014, SOURCE: Highlights of Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection - PAAMS 2014 International Workshops, Salamanca, Spain, June 4-6, 2014. Proceedings, VOLUME: 430, PAGES: 273-284
INDEXED IN: 
DBLP
DBLP11699
TITLE: Pattern Based GUI testing for Mobile Applications
AUTHORS: Pedro Costa; Miguel Nabuco; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 66-74
AUTHORS: Pedro Costa; Miguel Nabuco; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 66-74
11700
TITLE: PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. an integrated modeling and testing environment for pattern-based GUI testing
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 in ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, PAGES: 863-866
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 in ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, PAGES: 863-866
