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

531 Team Members
Filters -> Year: 2024
6361
TITLE: Estimating local thickness for finite element analysis
AUTHORS: Ferreira, V; Santos, LP ; Simoes, R ; Franzen, M; Ghouati, OO;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, PAGES: 63-68
INDEXED IN: Scopus
6362
TITLE: Evaluation of global descriptors for multimedia retrieval in medical applications
AUTHORS: Coelho, F; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 21st International Workshop on Database and Expert Systems Applications, DEXA 2010 in Proceedings - 21st International Workshop on Database and Expert Systems Applications, DEXA 2010, PAGES: 127-131
INDEXED IN: Scopus DBLP CrossRef: 3
6364
TITLE: EXPERIMENTS WITH BOLOGNA CURRICULUM IN A HIGH EDUCATION ENGINEERING SCHOOL
AUTHORS: Bertil P Marques; Angelo M Martins ;
PUBLISHED: 2010, SOURCE: 3rd International Conference of Education, Research and Innovation (ICERI) in 3RD INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2010)
INDEXED IN: WOS
6365
TITLE: Fault-Tolerant Aggregation for Dynamic Networks  Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
INDEXED IN: Scopus WOS DBLP CrossRef: 15
6366
TITLE: Feeding the beast: managing your collections of problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
INDEXED IN: Handle
6367
TITLE: FEUP at TREC 2010 Blog Track: Using h-index for blog ranking PDF
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2010, SOURCE: 19th Text REtrieval Conference, TREC 2010 in Proceedings of The Nineteenth Text REtrieval Conference, TREC 2010, Gaithersburg, Maryland, USA, November 16-19, 2010
INDEXED IN: Scopus DBLP Handle
6368
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
6369
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
6370
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
6371
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
6372
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
6373
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
6374
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
6375
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
6376
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
6377
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
6378
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
6379
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
6380
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

Results per Page: 20.
Page 319 of 406. Total results: 8111.