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

531 Team Members
Filters -> Year: 2024
4621
TITLE: Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks
AUTHORS: Gil Ferro ; Roberto Silva; Luis Lopes ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 110-119
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4622
TITLE: Towards programmable coordination of unmanned vehicle networks
AUTHORS: Marques, ERB ; João Manuel R. S. Tavares ; Pinto, J ; Sousa, JB ; Martins, F;
PUBLISHED: 2015, SOURCE: 4th IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2015 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 48, ISSUE: 2, PAGES: 256-261
INDEXED IN: Scopus CrossRef: 5
4623
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
4624
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
4625
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
4626
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
4627
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
4628
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
4629
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
4630
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
4631
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
4632
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
4633
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
4634
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
4635
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
4636
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
4637
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
4638
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
4639
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
4640
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

Results per Page: 20.
Page 232 of 406. Total results: 8120.