CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 8653

531 Team Members
Filters -> Year: 2025
5041
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; João Manuel R. S. Tavares ; José Pinto ; João B Sousa ; Francisco Martins;
PUBLISHED: 2015, SOURCE: IFAC-PapersOnLine, VOLUME: 28, ISSUE: 2, PAGES: 256-261
INDEXED IN: Scopus CrossRef: 5
5042
TITLE: Towards Reusing Data Cleaning Knowledge
AUTHORS: Ricardo Almeida; Paulo Maio ; Paulo Oliveira; Barroso Joao ;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 143-150
INDEXED IN: Scopus WOS DBLP CrossRef
5043
TITLE: Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets PDF
AUTHORS: Pedro Maia; Jorge Mendes ; Jácome Cunha ; Henrique Rebêlo; João Saraiva ;
PUBLISHED: 2015, SOURCE: 2nd Workshop on Software Engineering Methods in Spreadsheets, SEMS 2015, Co-located with the 37th International Conference on Software Engineering, ICSE 2015 in Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015., VOLUME: 1355, PAGES: 7-13
INDEXED IN: Scopus DBLP arXiv Handle
5044
TITLE: Transforming e-procurement platforms for PEPPOL and WCAG 2.0 compliance the anogov-PEPPOL project
AUTHORS: Martins, J ; Barroso, J ; Goncalves, R ; Sousa, A; Bacelar, M; Paredes, H ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Electrical Engineering, VOLUME: 339, PAGES: 973-980
INDEXED IN: Scopus CrossRef: 3
5045
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1, PAGES: 5-25
INDEXED IN: Scopus WOS DBLP CrossRef: 23
5046
TITLE: Transparent Acceleration of Program Execution Using Reconfigurable Hardware  Full Text
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: Conference on Design Automation Test in Europe (DATE) in 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), VOLUME: 2015-April, PAGES: 1066-1071
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5047
TITLE: Tuning a Semantic Relatedness Algorithm using a Multiscale Approach  Full Text
AUTHORS: Leal, JP ; Costa, T ;
PUBLISHED: 2015, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 635-654
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5048
TITLE: Two-Phase Approach to the Nesting problem with continuous rotations
AUTHORS: Pedro Rocha ; Rui Rodrigues ; Miguel Gomes, AM ; Franklina M B Toledo; Marina Andretta;
PUBLISHED: 2015, SOURCE: 15th IFAC Symposium on Information Control Problems in Manufacturing in IFAC PAPERSONLINE, VOLUME: 48, ISSUE: 3, PAGES: 501-506
INDEXED IN: Scopus WOS CrossRef: 3
5049
TITLE: Uncoordinated Frequency Hopping for secrecy with broadband jammers and eavesdroppers
AUTHORS: Sousa, JS; Vilela, JP ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PAGES: 7252-7256
INDEXED IN: Scopus
5050
TITLE: Uncoordinated Frequency Hopping for Secrecy with Broadband Jammers and Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 7252-7256
INDEXED IN: WOS CrossRef: 1
5051
TITLE: Urban Logistics Integrated in a Multimodal Mobility System
AUTHORS: Jorge Freire de Sousa ; Joao Mendes Moreira ;
PUBLISHED: 2015, SOURCE: 18th IEEE International Conference on Intelligent Transportation Systems in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 2015-October, PAGES: 89-94
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5052
TITLE: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions  Full Text
AUTHORS: Marcio Martins ; Antonio Cunha ; Irene Oliveira ; Leonel Morgado ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 1, PAGES: 5-16
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5053
TITLE: Use of previously acquired positioning of optimizations for phase ordering exploration
AUTHORS: Nobre, R; Martins, LGA; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, PAGES: 58-67
INDEXED IN: Scopus DBLP CrossRef: 13
5054
TITLE: Users Know Better: A QoE based Adaptive Control System for VoD in the Cloud
AUTHORS: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5055
TITLE: Using multiresolution time series motifs to classify urban sounds  Full Text
AUTHORS: Gomes, EF ; Batista, F;
PUBLISHED: 2015, SOURCE: International Journal of Software Engineering and its Applications, VOLUME: 9, ISSUE: 8, PAGES: 189-196
INDEXED IN: Scopus CrossRef: 1
5056
TITLE: Validating the coverage of bus schedules: A Machine Learning approach  Full Text
AUTHORS: Joao Mendes Moreira ; Luis Moreira Matias ; Joao Gama ; Jorge Freire de Sousa ;
PUBLISHED: 2015, SOURCE: INFORMATION SCIENCES, VOLUME: 293, PAGES: 299-313
INDEXED IN: Scopus WOS DBLP CrossRef: 39
5057
TITLE: Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction
AUTHORS: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Conference on Medical Imaging - Image-Guided Procedures, Robotic Interventions, and Modeling in MEDICAL IMAGING 2015: IMAGE-GUIDED PROCEDURES, ROBOTIC INTERVENTIONS, AND MODELING, VOLUME: 9415
INDEXED IN: Scopus WOS CrossRef Handle
5058
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015, PAGES: 1241
INDEXED IN: DBLP
5059
TITLE: Very fast decision rules for classification in data streams  Full Text
AUTHORS: Petr Kosina; Joao Gama ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 1, PAGES: 168-202
INDEXED IN: Scopus WOS DBLP CrossRef: 34
5060
TITLE: Visualization for streaming telecommunications networks
AUTHORS: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 3rd International Workshop on New Frontiers in Mining Complex Patterns, (NFMCP 2014) held in Conjunction with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2014 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 8983, PAGES: 117-131
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Page 253 of 433. Total results: 8653.