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: 20249
1709 Team MembersFilters -> Year: 2025
12261
TITLE: A DEPTH-MAP APPROACH FOR AUTOMATIC MICE BEHAVIOR RECOGNITION Full Text
AUTHORS: Joao P Monteiro ; Helder P Oliveira ; Paulo Aguiar ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Image Processing (ICIP) in 2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), PAGES: 2261-2265
AUTHORS: Joao P Monteiro ; Helder P Oliveira ; Paulo Aguiar ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Image Processing (ICIP) in 2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), PAGES: 2261-2265
12262
TITLE: A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol
AUTHORS: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 269-279
AUTHORS: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 269-279
12263
TITLE: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
12264
TITLE: A FABRY-PEROT SENSOR PROTOTYPE FOR LOW-PRESSURE MEASUREMENTS Full Text
AUTHORS: Roriz, P ; Ferreira, MS ; Schuster, K; Kobelke, J; Frazaeo, O ;
PUBLISHED: 2014, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 56, ISSUE: 12, PAGES: 2981-2984
AUTHORS: Roriz, P ; Ferreira, MS ; Schuster, K; Kobelke, J; Frazaeo, O ;
PUBLISHED: 2014, SOURCE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 56, ISSUE: 12, PAGES: 2981-2984
12265
TITLE: A Flexible Wearable Sensor Network for Bio-signals and Human Activity Monitoring
AUTHORS: Ruben Dias; Jose Machado da Silva ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Wearable and Implantable Body Sensor Networks in 2014 11TH INTERNATIONAL CONFERENCE ON WEARABLE AND IMPLANTABLE BODY SENSOR NETWORKS WORKSHOPS (BSN WORKSHOPS), PAGES: 17-22
AUTHORS: Ruben Dias; Jose Machado da Silva ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Wearable and Implantable Body Sensor Networks in 2014 11TH INTERNATIONAL CONFERENCE ON WEARABLE AND IMPLANTABLE BODY SENSOR NETWORKS WORKSHOPS (BSN WORKSHOPS), PAGES: 17-22
12266
TITLE: A Flow-based Motion Perception Technique for an Autonomous Robot System Full Text
AUTHORS: Andry Maykol Pinto ; Paulo P Moreira ; Miguel V Correia ; Paulo G Costa ;
PUBLISHED: 2014, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 75, ISSUE: 3-4, PAGES: 475-492
AUTHORS: Andry Maykol Pinto ; Paulo P Moreira ; Miguel V Correia ; Paulo G Costa ;
PUBLISHED: 2014, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 75, ISSUE: 3-4, PAGES: 475-492
12267
TITLE: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
12268
TITLE: A framework to decompose and develop metafeatures PDF
AUTHORS: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLISHED: 2014, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PAGES: 32-36
AUTHORS: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLISHED: 2014, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PAGES: 32-36
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP12269
TITLE: A framework to support the lifecycle of virtual manufacturing enterprises
AUTHORS: Azevedo, A ; Ferreira, F ; Faria, J ;
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: 223-229
AUTHORS: Azevedo, A ; Ferreira, F ; Faria, J ;
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: 223-229
12270
TITLE: A game for robot operation training in Search and Rescue missions
AUTHORS: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PAGES: 262-267
AUTHORS: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PAGES: 262-267
12271
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
12272
TITLE: A GRASP-based Approach for Demand Responsive Transportation
AUTHORS: Rui Gomes ; Jorge Pinho de Sousa; Teresa Galvão Dias ;
PUBLISHED: 2014, SOURCE: International Journal of Transportation, VOLUME: 2, ISSUE: 1, PAGES: 21-32
AUTHORS: Rui Gomes ; Jorge Pinho de Sousa; Teresa Galvão Dias ;
PUBLISHED: 2014, SOURCE: International Journal of Transportation, VOLUME: 2, ISSUE: 1, PAGES: 21-32
12273
TITLE: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
12274
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
12275
TITLE: A hybrid approach for integrated healthcare cooperative purchasing and supply chain configuration Full Text
AUTHORS: Nazare Rego ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: HEALTH CARE MANAGEMENT SCIENCE, VOLUME: 17, ISSUE: 4, PAGES: 303-320
AUTHORS: Nazare Rego ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2014, SOURCE: HEALTH CARE MANAGEMENT SCIENCE, VOLUME: 17, ISSUE: 4, PAGES: 303-320
12276
TITLE: A hybrid biased random key genetic algorithm approach for the unit commitment problem Full Text
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
12277
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
12278
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
12279
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
12280
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
