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: 18407
1699 Team MembersFilters -> Year: 2024
10641
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
AUTHORS: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
10642
TITLE: A hybrid simulated annealing approach to handle energy resource management considering an intensive use of electric vehicles Full Text
AUTHORS: Tiago Sousa; Zita Vale; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
AUTHORS: Tiago Sousa; Zita Vale; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
10643
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
10644
TITLE: A method for defining human-machine micro-task workflows for gathering legal information
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
10645
TITLE: A MILP-Based Approach for Hydrothermal Scheduling
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
10646
TITLE: A Mission Programming System for an Autonomous Sailboat
AUTHORS: Jose C Alves ; Nuno A Cruz ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
AUTHORS: Jose C Alves ; Nuno A Cruz ;
PUBLISHED: 2014, SOURCE: Oceans Conference in 2014 OCEANS - ST. JOHN'S
10647
TITLE: A model for analyzing estimation, productivity, and quality performance in the personal software process
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: 2014 International Conference on Software and Systems Process, ICSSP 2014 in ACM International Conference Proceeding Series, PAGES: 10-19
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: 2014 International Conference on Software and Systems Process, ICSSP 2014 in ACM International Conference Proceeding Series, PAGES: 10-19
10648
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
10649
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
INDEXED IN: 
DBLP
DBLP10650
TITLE: A multi-modal approach for activity classification and fall detection Full Text
AUTHORS: Castillo, JC; Carneiro, D ; Serrano Cuerda, J; Paulo Novais ; Fernandez Caballero, A; Neves, J ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, VOLUME: 45, ISSUE: 4, PAGES: 810-824
AUTHORS: Castillo, JC; Carneiro, D ; Serrano Cuerda, J; Paulo Novais ; Fernandez Caballero, A; Neves, J ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, VOLUME: 45, ISSUE: 4, PAGES: 810-824
10651
TITLE: A New Branch-and-Price Approach for the Kidney Exchange Problem
AUTHORS: Xenia Klimentova ; Filipe Alvelos; Ana Viana ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 237-252
AUTHORS: Xenia Klimentova ; Filipe Alvelos; Ana Viana ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 237-252
10652
TITLE: A New Cavity Ring-Down Topology for Remote Sensing
AUTHORS: Passos, DJ; Susana O. Silva ; Marques, MB ; Frazao, O ;
PUBLISHED: 2014, SOURCE: 3rd Mediterranean Photonics Conference in 2014 THIRD MEDITERRANEAN PHOTONICS CONFERENCE
AUTHORS: Passos, DJ; Susana O. Silva ; Marques, MB ; Frazao, O ;
PUBLISHED: 2014, SOURCE: 3rd Mediterranean Photonics Conference in 2014 THIRD MEDITERRANEAN PHOTONICS CONFERENCE
10653
TITLE: A New MSE Channel Estimator Optimized for Nonlinearly Distorted Faded OFDM Signals With Applications to Radio Over Fiber
AUTHORS: Joao M B Oliveira; Henrique M Salgado ; Miguel R D Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 62, ISSUE: 8, PAGES: 2977-2985
AUTHORS: Joao M B Oliveira; Henrique M Salgado ; Miguel R D Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 62, ISSUE: 8, PAGES: 2977-2985
10654
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
10655
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
10656
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
WOS10657
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
10658
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
Scopus10659
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
10660
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 CrossRef