Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 25045

1716 Team Members
Filters -> Year: 2026
15561
TITLE: A data warehouse to support web site automation
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLISHED: 2014, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 20, ISSUE: 1, PAGES: 1-16
INDEXED IN: Scopus DBLP CrossRef: 2
15562
TITLE: A Datalog Engine for GPUs
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2014, SOURCE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PAGES: 152-168
INDEXED IN: Scopus WOS DBLP CrossRef: 7
15563
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
INDEXED IN: Scopus WOS DBLP CrossRef: 9
15564
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
INDEXED IN: Scopus WOS DBLP CrossRef
15565
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
15566
TITLE: A dynamic multi-commodity inventory and facility location problem in steel supply chain network design  Full Text
AUTHORS: Ali Sabzevari Zadeh; Rashed Sahraeian; Seyed Mahdi Homayouni ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 70, ISSUE: 5-8, PAGES: 1267-1282
INDEXED IN: Scopus WOS CrossRef: 25
15567
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
INDEXED IN: Scopus WOS CrossRef: 4
15568
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
INDEXED IN: Scopus WOS CrossRef: 8
15569
TITLE: A Flow-based Motion Perception Technique for an Autonomous Robot System  Full Text
AUTHORS: Andry Maykol Pinto ; Paulo P Moreira ; Miguel Velhote Correia ; Paulo G Costa ;
PUBLISHED: 2014, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 75, ISSUE: 3-4, PAGES: 475-492
INDEXED IN: Scopus WOS DBLP CrossRef: 9
15570
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
INDEXED IN: Scopus WOS CrossRef: 17
15571
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
INDEXED IN: Scopus DBLP
15572
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
INDEXED IN: Scopus CrossRef: 1
15573
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
INDEXED IN: Scopus WOS CrossRef: 3
15574
TITLE: A genetic algorithm for optimization of integrated scheduling of cranes, vehicles, and storage platforms at automated container terminals  Full Text
AUTHORS: Seyed Mandi Homayouni ; Sai Hong Tang; Omid Motlagh;
PUBLISHED: 2014, SOURCE: 4th international conference on finite element methods in engineering and sciences (FEMTEC) in JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 270, PAGES: 545-556
INDEXED IN: Scopus WOS CrossRef: 80
15575
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
15576
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
INDEXED IN: CrossRef: 10
15577
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
15578
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
15579
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
INDEXED IN: Scopus WOS CrossRef: 41
15580
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
INDEXED IN: Scopus WOS DBLP CrossRef: 23

Results per Page: 20.
Page 779 of 1253. Total results: 25045.