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: 19067
1704 Team MembersFilters -> Year: 2025
11201
TITLE: A Non-invasive Approach to Detect and Monitor Acute Mental Fatigue
AUTHORS: André Pimenta; Davide Carneiro ; José Neves; Paulo Novais ;
PUBLISHED: 2014, SOURCE: 27th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014 in Modern Advances in Applied Intelligence - 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part II, VOLUME: 8482, ISSUE: PART 2, PAGES: 338-347
AUTHORS: André Pimenta; Davide Carneiro ; José Neves; Paulo Novais ;
PUBLISHED: 2014, SOURCE: 27th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014 in Modern Advances in Applied Intelligence - 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part II, VOLUME: 8482, ISSUE: PART 2, PAGES: 338-347
11202
TITLE: A ns-3 based simulator of TCP/IP Wireless Underground Networks
AUTHORS: Sérgio Conceição; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: 7th IFIP/IEEE Wireless Days Conference, WD 2014 in 2014 IFIP Wireless Days, WD 2014, Rio de Janeiro, Brazil, November 12-14, 2014, VOLUME: 2015-January, ISSUE: January, PAGES: 1-6
AUTHORS: Sérgio Conceição; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: 7th IFIP/IEEE Wireless Days Conference, WD 2014 in 2014 IFIP Wireless Days, WD 2014, Rio de Janeiro, Brazil, November 12-14, 2014, VOLUME: 2015-January, ISSUE: January, PAGES: 1-6
11203
TITLE: A ns-3 based Simulator of TCP/IP Wireless Underground Networks
AUTHORS: Sergio Conceicao; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: IFIP Wireless Days (WD) in 2014 IFIP Wireless Days (WD)
AUTHORS: Sergio Conceicao; Filipe Ribeiro ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: IFIP Wireless Days (WD) in 2014 IFIP Wireless Days (WD)
INDEXED IN: 
WOS
WOS11204
TITLE: A panoramic view on metadata application profiles of the last decade
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2014, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 9, ISSUE: 1, PAGES: 58-73
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2014, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 9, ISSUE: 1, PAGES: 58-73
11205
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: 
Scopus
Scopus11206
TITLE: A peer-to-peer service architecture for the Smart Grid
AUTHORS: Filipe Campos ; Miguel Matos ; Jose Pereira ; David Rua ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
AUTHORS: Filipe Campos ; Miguel Matos ; Jose Pereira ; David Rua ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
11207
TITLE: A performance estimation framework for complex manufacturing systems
AUTHORS: Almeida, A ; Azevedo, A ;
PUBLISHED: 2014, SOURCE: 24th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2014 in FAIM 2014 - Proceedings of the 24th International Conference on Flexible Automation and Intelligent Manufacturing: Capturing Competitive Advantage via Advanced Manufacturing and Enterprise Transformation, PAGES: 849-856
AUTHORS: Almeida, A ; Azevedo, A ;
PUBLISHED: 2014, SOURCE: 24th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2014 in FAIM 2014 - Proceedings of the 24th International Conference on Flexible Automation and Intelligent Manufacturing: Capturing Competitive Advantage via Advanced Manufacturing and Enterprise Transformation, PAGES: 849-856
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef11208
TITLE: A PHD Filter for Tracking Multiple AUVs
AUTHORS: Jose Melo ; Anibal Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Jose Melo ; Anibal Matos ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
11209
TITLE: A physics simulation tool for the container loading problem
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
INDEXED IN: Scopus
Scopus11210
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus11211
TITLE: A proposal for a public transport ticketing solution based on customers' mobile devices
AUTHORS: Marta Campos Ferreira ; Henriqueta Novoa ; Teresa Galvao Dias ; Joao F E Falcao e Cunha ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 232-241
AUTHORS: Marta Campos Ferreira ; Henriqueta Novoa ; Teresa Galvao Dias ; Joao F E Falcao e Cunha ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 232-241
11212
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
11213
TITLE: A relational approach to bidirectional transformation
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: 
DBLP
DBLP11214
TITLE: A relax-and-fix-based algorithm for the vehicle-reservation assignment problem in a car rental company Full Text
AUTHORS: Beatriz Brito Oliveira ; Maria Antonia Carravilla ; Jose Fernando Oliveira ; Franklina M B Toledo;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 2, PAGES: 729-737
AUTHORS: Beatriz Brito Oliveira ; Maria Antonia Carravilla ; Jose Fernando Oliveira ; Franklina M B Toledo;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 237, ISSUE: 2, PAGES: 729-737
11215
TITLE: A Retrospective Socio-Semantic Analysis of the PRO-VE Conferences
AUTHORS: Soares, AL ; Almeida, M; Ramalho, F ;
PUBLISHED: 2014, SOURCE: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, VOLUME: 434, PAGES: 651-663
AUTHORS: Soares, AL ; Almeida, M; Ramalho, F ;
PUBLISHED: 2014, SOURCE: 15th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE SYSTEMS FOR SMART NETWORKED ENVIRONMENTS, VOLUME: 434, PAGES: 651-663
11216
TITLE: A Review on the Portuguese Enterprises Web Accessibility Levels - A website accessibility high level improvement proposal
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
AUTHORS: Ramiro Goncalves ; Jose Martins ; Frederico Branco ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
11217
TITLE: A rich vehicle routing problem dealing with perishable food: a case study Full Text
AUTHORS: Amorim, P ; Parragh, SN; Sperandio, F; Almada Lobo, B ;
PUBLISHED: 2014, SOURCE: TOP, VOLUME: 22, ISSUE: 2, PAGES: 489-508
AUTHORS: Amorim, P ; Parragh, SN; Sperandio, F; Almada Lobo, B ;
PUBLISHED: 2014, SOURCE: TOP, VOLUME: 22, ISSUE: 2, PAGES: 489-508
11218
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
11219
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
11220
TITLE: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
INDEXED IN: DBLP 
arXiv
DBLP arXiv