CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 8103

531 Team Members
Filters -> Year: 2024
6361
TITLE: Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems
AUTHORS: Nogueira, L ; Pinho, LM ; Coelho, J ;
PUBLISHED: 2010, SOURCE: 21st IFIP World Computer Congress (WCC) in DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, VOLUME: 329, PAGES: 66-77
INDEXED IN: Scopus WOS CrossRef: 1
6362
TITLE: Formulations for the Weight-Constrained Minimum Spanning Tree Problem  Full Text
AUTHORS: Cristina Requejo ; Agostinho Agra ; Adelaide Cerveira ; Eulália Santos; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2166-2169
INDEXED IN: Scopus WOS CrossRef: 4
6363
TITLE: Friendly Jamming for Wireless Secrecy
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
INDEXED IN: Scopus WOS CrossRef: 27
6364
TITLE: From e-learning systems to specialised e-learning services
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
INDEXED IN: Handle
6365
TITLE: From SFC specification to C programming language on the context of aerospace systems control
AUTHORS: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLISHED: 2010, SOURCE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1, PAGES: 46-51
INDEXED IN: Scopus
6366
TITLE: g-tries: an efficient data structure for discovering network motifs. an efficient data structure for discovering network motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
INDEXED IN: Scopus DBLP CrossRef: 71
6367
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
INDEXED IN: Scopus DBLP CrossRef
6368
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: Scopus WOS
6369
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
INDEXED IN: Scopus WOS DBLP CrossRef: 9
6370
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
INDEXED IN: Scopus WOS DBLP CrossRef: 41
6371
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
INDEXED IN: Scopus WOS DBLP CrossRef
6372
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
6373
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: Handle
6374
TITLE: HAND GRIP STRENGTH IN A SAMPLE Of 11 to 14 Years Old Children  Full Text
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
INDEXED IN: Scopus WOS Handle
6375
TITLE: Handling mobility on a QoS-aware service-based framework for mobile systems
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
INDEXED IN: Scopus CrossRef
6376
TITLE: Hybrid Wired/Wireless PROFIBUS Architectures: Performance Study Based on Simulation Models  Full Text
AUTHORS: Paulo Baltarejo Sousa ; Luis Lino Ferreira ;
PUBLISHED: 2010, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2010, ISSUE: 1, PAGES: 845792
INDEXED IN: Scopus WOS CrossRef
6377
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN: Scopus WOS
6378
TITLE: Identifying Clones in Functional Programs for Refactoring
AUTHORS: Nuno Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 309-317
INDEXED IN: Scopus WOS CrossRef
6379
TITLE: Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
AUTHORS: Bjoern Andersson; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 54-67
INDEXED IN: Scopus WOS CrossRef
6380
TITLE: Improved heuristics for the single machine scheduling problem with linear early and quadratic tardy penalties
AUTHORS: Jorge M S Valente ; Jeffrey E Schaller;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF INDUSTRIAL ENGINEERING, VOLUME: 4, ISSUE: 1, PAGES: 99-129
INDEXED IN: Scopus WOS CrossRef: 16

Results per Page: 20.
Página 319 de 406. Total de resultados: 8103.