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
6781
TITLE: Relational Models for Tabling Logic Programs in a Database  Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
INDEXED IN: Scopus WOS DBLP CrossRef
6782
TITLE: Responding to questionnaires on the Web using XwQuest
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
INDEXED IN: Scopus
6783
TITLE: REUSE OF VIDEO ANNOTATIONS BASED ON LOW-LEVEL DESCRIPTOR SIMILARITY
AUTHORS: Mario Cordeiro ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 193-196
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6784
TITLE: SAGA Reloaded: Towards a Generic Platform for Developing Cooperative Applications
AUTHORS: Benjamim Fonseca ; Hugo Paredes ; Joao Paulo Sousa; Mario M Martins ; Eurico Carrapatoso;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Supported Cooperative Work in Design in 2009 13TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PAGES: 331-337
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6785
TITLE: Schem@Doc: a web-based XML schema visualizer
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: Handle
6786
TITLE: Search Optimizations in Structured Peer-to-peer Systems
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PAGES: 111-115
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6787
TITLE: Second Life Information Desk System using Instant Messaging and Short Messaging Service Technologies
AUTHORS: Valerio, S; Pereira, J; Morgado, L ; Mestre, P ; C. Serôdio ; Carvalho, F;
PUBLISHED: 2009, SOURCE: 1st IEEE International Conference in Games and Virtual Worlds for Serious Applications (VS-GAMES 2009) in PROCEEDINGS OF THE IEEE VIRTUAL WORLDS FOR SERIOUS APPLICATIONS, PAGES: 125-132
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6788
TITLE: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6789
TITLE: Selection of Heuristics for the Job-Shop Scheduling Problem Based on the Prediction of Gaps in Machines  Full Text
AUTHORS: Pedro Abreu; Carlos Soares ; Jorge M S Valente ;
PUBLISHED: 2009, SOURCE: 3rd Conference on Learning and Intelligent Optimization in LEARNING AND INTELLIGENT OPTIMIZATION, VOLUME: 5851, PAGES: 134-147
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6790
TITLE: Shopping centre image dynamics of a new entrant
AUTHORS: Brito, PQ ;
PUBLISHED: 2009, SOURCE: International Journal of Retail and Distribution Management, VOLUME: 37, ISSUE: 7, PAGES: 580-599
INDEXED IN: Scopus CrossRef: 9
6791
TITLE: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, PAGES: 81-90
INDEXED IN: Scopus DBLP CrossRef: 1
6792
TITLE: Signalling in an International Cournot Model  Full Text
AUTHORS: Ferreira, F. A. ; Humberto A Moreira; Alberto A Pinto ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2009, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, VOLUME: 1168, PAGES: 987-990
INDEXED IN: Scopus WOS CrossRef
6793
TITLE: SMARTCLEAN: A TOOL FOR CLEANING INCREMENTAL DATA
AUTHORS: Paulo Jorge Oliveira; Maria de Fatima Rodrigues; Pedro Rangel Henriques ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 621-626
INDEXED IN: WOS
6794
TITLE: SmartClean: An Incremental Data Cleaning Tool  Full Text
AUTHORS: Paulo Oliveira; Fatima Rodrigues ; Pedro Henriques ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Quality Software (QSIC 2009) in 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), PAGES: 452-457
INDEXED IN: Scopus WOS DBLP CrossRef
6795
TITLE: Software Knowledge Capture and Acquisition: Tool Support for Agile Settings
AUTHORS: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), PAGES: 542-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6796
TITLE: Spatial Clustering of Molecular Dynamics Trajectories in Protein Unfolding Simulations
AUTHORS: Pedro Gabriel Ferreira ; Cândida G Silva ; Paulo J Azevedo ; Rui M M Brito ;
PUBLISHED: 2009, SOURCE: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008 in COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, VOLUME: 5488, PAGES: 156-+
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6797
TITLE: Special track on data streams
AUTHORS: Gama, J ; Carvalho, A; Rodrigues, PP ; Aguilar, J;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1490
INDEXED IN: Scopus
6798
TITLE: Special track on dependable and adaptive distributed systems
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1013-1014
INDEXED IN: Scopus
6799
TITLE: Staff Detection with Stable Paths  Full Text
AUTHORS: Jaime dos Santos Cardoso ; Artur Capela ; Ana Rebelo ; Carlos Guedes ; Joaquim Pinto da Costa ;
PUBLISHED: 2009, SOURCE: IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOLUME: 31, ISSUE: 6, PAGES: 1134-1139
INDEXED IN: Scopus WOS CrossRef: 79
6800
TITLE: Stochasticity Favoring the Effects of the R&D Strategies of the Firms  Full Text
AUTHORS: Alberto A Pinto ; Bruno M P M Oliveira ; Ferreira, F. A. ; Flávio Ferreira;
PUBLISHED: 2009, SOURCE: Intelligent Engineering Systems and Computational Cybernetics, PAGES: 415-423
INDEXED IN: CrossRef Handle

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