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

530 Team Members
Filters -> Year: 2025
6321
TITLE: Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems
AUTHORS: Ricardo Garibay Martínez; Geoffrey Nelissen; Luis Lino Ferreira ; Luís Miguel Pinho;
PUBLISHED: 2013, SOURCE: REACTION 2013, Second International Workshop on Real-time and distributed computing in emerging applications, Proceedings, Vancouver, Canada, December 3, 2013
INDEXED IN: DBLP
6322
TITLE: Tasklettes - A fine grained parallelism for Ada on multicores
AUTHORS: Michell, S; Moore, B; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 18th Ada-Europe International Conference on Reliable Software Technologies, Ada Europe 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7896 LNCS, PAGES: 17-34
INDEXED IN: Scopus CrossRef: 10
6323
TITLE: Techniques and toolset for conformance testing against UML sequence diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 180-195
INDEXED IN: Scopus DBLP CrossRef: 1
6324
TITLE: Technologies for Enhancing Accessibility and Fighting Info-exclusion J.UCS Special Issue  Full Text
AUTHORS: Joao Barroso ; Frode Eika Sandnes; Hugo Paredes ; Leontios Hadjileontiadis; Paulo Martins ;
PUBLISHED: 2013, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 19, ISSUE: 18, PAGES: 2637-2638
INDEXED IN: Scopus WOS DBLP
6325
TITLE: Technology Challenges of Virtual Worlds in Education & Training - Research directions
AUTHORS: Leonel Morgado ;
PUBLISHED: 2013, SOURCE: 5th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 2013 5TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES), PAGES: 1-5
INDEXED IN: Scopus WOS DBLP CrossRef: 9
6326
TITLE: Temporal Visualization of a Multidimensional Network of News Clips
AUTHORS: Filipe Gomes; Jose Devezas ; Alvaro Figueira ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
INDEXED IN: Scopus WOS DBLP CrossRef
6327
TITLE: Testing the perception of time, state and causality to predict programming aptitude
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: Federated Conference on Computer Science and Information Systems (FedCSIS) in 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), PAGES: 721-726
INDEXED IN: Scopus WOS DBLP
6328
TITLE: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTHORS: Paulo Baltarejo Sousa ; Pedro Souto ; Eduardo Tovar ; Konstantinos Bletsas;
PUBLISHED: 2013, SOURCE: IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), PAGES: 12-21
INDEXED IN: Scopus WOS DBLP CrossRef: 9
6329
TITLE: The Case For Mobile Edge-Clouds
AUTHORS: Drolia, U; Martins, R ; Tan, JQ; Chheda, A; Sanghavi, M; Gandhi, R; Narasimhan, P;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 209-215
INDEXED IN: Scopus WOS DBLP CrossRef: 83
6330
TITLE: The community structure of a multidimensional network of news clips
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: IJWBC, VOLUME: 9, ISSUE: 3, PAGES: 411-429
INDEXED IN: Scopus DBLP CrossRef: 1
6331
TITLE: The CSAI-2: An Examination of the Instrument's Factorial Validity and Reliability of the Intensity, Direction and Frequency Dimensions with Brazilian Athletes  Full Text
AUTHORS: Marcos Gimenes Fernandes; Sandra Adriana Nunes; Jose Vasconcelos Raposo ; Fernandes, HM ; Robert Brustad;
PUBLISHED: 2013, SOURCE: JOURNAL OF APPLIED SPORT PSYCHOLOGY, VOLUME: 25, ISSUE: 4, PAGES: 377-391
INDEXED IN: Scopus WOS CrossRef: 25
6332
TITLE: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTHORS: Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
INDEXED IN: DBLP
6333
TITLE: The Dotted-Board Model: A new MIP model for nesting irregular shapes  Full Text
AUTHORS: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, ISSUE: 2, PAGES: 478-487
INDEXED IN: Scopus WOS CrossRef: 90
6334
TITLE: The ENCOURAGE ICT architecture for heterogeneous smart grids
AUTHORS: Albano, M ; Ferreira, L ; Le Guilly, T; Ramiro, M; Faria, JE; Duenas, LP; Ferreira, R; Gaylard, E; Cubas, DJ; Roarke, E; Lux, D; Scalari, S; Sorensen, SM; Gangolells, M; Pinho, LM ; Skou, A;
PUBLISHED: 2013, SOURCE: IEEE EUROCON Conference in 2013 IEEE EUROCON, PAGES: 1382-1389
INDEXED IN: Scopus WOS DBLP CrossRef
6335
TITLE: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTHORS: Govindaraj, S; Chintamani, K; Gancet, J; Letier, P; van Lierde, B; Nevatia, Y; De Cubber, G; Serrano, D; Palomares, ME; Bedkowski, J; Armbrust, C; Sanchez, J; Coelho, A ; Orbe, I;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PAGES: 1-4
INDEXED IN: Scopus WOS DBLP CrossRef: 22
6336
TITLE: The impact of time in link-based Web ranking  Full Text
AUTHORS: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
6337
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
INDEXED IN: Scopus CrossRef
6338
TITLE: The LSTS Toolchain for Networked Vehicle Systems
AUTHORS: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLISHED: 2013, SOURCE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
INDEXED IN: Scopus WOS CrossRef: 105
6339
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
INDEXED IN: Scopus WOS DBLP CrossRef: 6
6340
TITLE: The mobile context framework: Providing context to mobile applications
AUTHORS: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PAGES: 144-153
INDEXED IN: Scopus DBLP CrossRef: 3

Results per Page: 20.
Page 317 of 455. Total results: 9098.