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

536 Team Members
Filters -> Year: 2026
9041
TITLE: Formal Aspects of Computing: Editorial
AUTHORS: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing, VOLUME: 21, ISSUE: 3, PAGES: 225
INDEXED IN: Scopus
9042
TITLE: From Object Replication to Database Replication
AUTHORS: Fernando Pedone; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: 4th Latin-American Symposium on Dependable Computing in LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, PAGES: 135-135
INDEXED IN: WOS DBLP CrossRef
9043
TITLE: From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming, ICLP 2009 in Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, VOLUME: 5649, PAGES: 23
INDEXED IN: Scopus DBLP CrossRef: 5
9044
TITLE: From spreadsheets to relational databases and back
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: PEPM, PAGES: 179-188
INDEXED IN: Scopus DBLP CrossRef: 43
9045
9046
TITLE: GOALS - A TEST-BED FOR ONTOLOGY MATCHING
AUTHORS: Paulo Maio ; Nuno Silva ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Engineering and Ontology Development in KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, PAGES: 293-299
INDEXED IN: Scopus WOS
9047
TITLE: Golden tilings
AUTHORS: João P Almeida ; A. Portela;
PUBLISHED: 2009
INDEXED IN: Handle
9048
TITLE: Greedy randomised dispatching heuristics for the single machine scheduling problem with quadratic earliness and tardiness penalties  Full Text
AUTHORS: Jorge M S Valente ; Maria R A Moreira ;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 44, ISSUE: 9-10, PAGES: 995-1009
INDEXED IN: Scopus WOS CrossRef: 10
9049
TITLE: Groupware: Design, Implementation, and Use. 15th International Workshop, Peso Da Régua, Douro, Portugal, September 13-17, 2009, Proceedings
AUTHORS: Luís Carriço; Nelson Baloian; Benjamim Fonseca ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef Openlibrary
9050
9051
TITLE: H-NAMe: A hidden-node avoidance mechanism for wireless sensor networks
AUTHORS: Koubâa, A; Severino, R ; Alves, M; Tovar, E ;
PUBLISHED: 2009, SOURCE: 8th IFAC Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT 2009 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 42, ISSUE: 3, PAGES: 10-19
INDEXED IN: Scopus CrossRef: 4 Handle
9052
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
INDEXED IN: Scopus WOS DBLP CrossRef
9053
TITLE: Hybrid Meta-Heuristics Based System for Dynamic Scheduling
AUTHORS: Ana Madureira ;
PUBLISHED: 2009, SOURCE: Encyclopedia of Artificial Intelligence (3 Volumes), VOLUME: 1-3, PAGES: 853-859
INDEXED IN: Scopus DBLP CrossRef
9054
TITLE: IdSay: Question Answering for Portuguese
AUTHORS: Carvalho, G ; David Martins de Matos ; Rocio, V ;
PUBLISHED: 2009, SOURCE: 9th Workshop of the Cross-Language Evaluation Forum (CLEF 2008) in EVALUATING SYSTEMS FOR MULTILINGUAL AND MULTIMODAL INFORMATION ACCESS, VOLUME: 5706, PAGES: 345-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
9055
TITLE: Image segmentation in systems of stereo vision for visually impaired people
AUTHORS: Andreia Penedo; Paulo Costa; Hugo Fernandes; Antonio Pereira ; Joao Barroso ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion in DSAI 2009: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, PAGES: 149-156
INDEXED IN: WOS
9056
TITLE: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PAGES: 1263-1268
INDEXED IN: Scopus WOS CrossRef: 52
9057
TITLE: Implementação de ferramentas específicas ao Modelo Pedagógico da UAb na Plataforma Moodle
AUTHORS: José Coelho; Vitor Rocio ;
PUBLISHED: 2009, SOURCE: XIII Encontro Iberoamericano da Educação Superior a Distância
INDEXED IN: Handle
9058
TITLE: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTHORS: Marco Devesas Campos; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: FOCLASA, VOLUME: 255, PAGES: 45-64
INDEXED IN: Scopus DBLP CrossRef: 5
9059
TITLE: Improving Digital Maps Through GPS Data Processing
AUTHORS: Freitas, TRM; Coelho, A ; Rossetti, RJF ;
PUBLISHED: 2009, SOURCE: 12th International IEEE Conference on Intelligent Transportation Systems in 2009 12TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC 2009), PAGES: 480-485
INDEXED IN: Scopus WOS DBLP CrossRef: 10
9060
TITLE: Improving Quality-of-Service in Wireless Sensor Networks by Mitigating "Hidden-Node Collisions"
AUTHORS: Koubâa, A ; Severino, R ; Alves, M ; Tovar, E ;
PUBLISHED: 2009, SOURCE: 13th IEEE International Conference on Emerging Technologies and Factory Automation in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 5, ISSUE: 3, PAGES: 299-313
INDEXED IN: Scopus WOS DBLP CrossRef: 77 Handle

Results per Page: 20.
Page 453 of 532. Total results: 10637.