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

531 Team Members
Filters -> Year: 2024
7801
TITLE: Efficient identity-based key encapsulation to multiple parties
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 428-441
INDEXED IN: Scopus WOS DBLP CrossRef: 21
7802
TITLE: Efficient Identity-Based Key Encapsulation to Multiple Parties
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 217
INDEXED IN: DBLP
7803
TITLE: EKDB&W'05: Workshop on extraction of knowledge from databases and warehouses
AUTHORS: Joao Gama ; Joao Moura Pires ; Margarida Cardoso; Nuno Cavalheiro Marques; Luís Cavique ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 150-150
INDEXED IN: WOS CrossRef
7804
TITLE: Extracting knowledge from databases and warehouses (EKDB&W 2005) - Introduction
AUTHORS: Gama, J ; Moura Pires, J ; Cardoso, M; Marques, NC; Luís Cavique ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 287-287
INDEXED IN: WOS
7805
TITLE: Filtered and recovering beam search algorithms for the early/tardy scheduling problem with no idle time  Full Text
AUTHORS: Valente, JMS ; Alves, RAFS ;
PUBLISHED: 2005, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 48, ISSUE: 2, PAGES: 363-375
INDEXED IN: Scopus WOS CrossRef: 45
7806
TITLE: First Steps Toward a Cryptography-Aware Language and Compiler
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 160
INDEXED IN: DBLP
7807
TITLE: From algebras to objects: Generation and composition  Full Text
AUTHORS: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 10, PAGES: 1580-1612
INDEXED IN: Scopus WOS DBLP
7808
TITLE: Group-based replication of on-line transaction processing servers
AUTHORS: Correia, A; Sousa, A ; Soares, L; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2005, SOURCE: 2nd Latin-American Symposium on Dependable Computing in DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 3747, PAGES: 245-260
INDEXED IN: Scopus WOS DBLP CrossRef: 7
7809
TITLE: Identification of monoclonal proteins in serum: A comparison of acetate, agarose gel and capillary electrophoresis  Full Text
AUTHORS: Guimaraes, C; Ramalho, R; Ramos, J; Marinho, A; Oliveira, B ; Caudeias, J;
PUBLISHED: 2005, SOURCE: European Congress of Clinical Biochemistry and Laboratory Medicine (EUROMEDLAB 2005) in CLINICA CHIMICA ACTA, VOLUME: 355
INDEXED IN: WOS
7810
TITLE: Imitation networks and organizational survival in the Portuguese industry
AUTHORS: Campos, P ; Brazdil, P ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 325-328
INDEXED IN: WOS CrossRef: 1
7811
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7812
TITLE: Improved heuristics for the early/tardy scheduling problem with no idle time  Full Text
AUTHORS: Valente, JMS ; Alves, RAFS ;
PUBLISHED: 2005, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 32, ISSUE: 3, PAGES: 557-569
INDEXED IN: Scopus WOS CrossRef: 36
7813
TITLE: Improved lower bounds for the early/tardy scheduling problem with no idle time
AUTHORS: Valente, JMS ; Alves, RAFS ;
PUBLISHED: 2005, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 56, ISSUE: 5, PAGES: 604-612
INDEXED IN: Scopus WOS CrossRef: 14
7814
TITLE: Improving memory usage in the BEAM
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7815
TITLE: Interoperable geographic information services to support crisis management
AUTHORS: Rocha, A ; Cestnik, B; Oliveira, MA ;
PUBLISHED: 2005, SOURCE: 5th International Workshop on Web and Wireless Geographical Information Systems in WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 3833, PAGES: 246-255
INDEXED IN: Scopus WOS DBLP
7816
TITLE: Introduction
AUTHORS: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo J Azevedo ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 235-235
INDEXED IN: Scopus DBLP CrossRef
7817
TITLE: Introduction
AUTHORS: Gabriel Pereira Lopes; Joaquim Ferreira da Silva; Victor Rocio ; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 599-599
INDEXED IN: CrossRef
7818
TITLE: Introduction  Full Text
AUTHORS: João Comba; Isabel Navazo; Augusto A de Sousa ;
PUBLISHED: 2005, SOURCE: Computers & Graphics, VOLUME: 29, ISSUE: 5, PAGES: 639-640
INDEXED IN: CrossRef
7819
TITLE: Introduction
AUTHORS: João Gama ; João Moura Pires; Margarida Cardoso; Nuno Cavalheiro Marques; Luís Cavique ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 287-287
INDEXED IN: DBLP CrossRef
7820
TITLE: Introduction
AUTHORS: João Luiz Dihl Comba; Isabel Navazo; António Augusto de Sousa ;
PUBLISHED: 2005, SOURCE: Comput. Graph., VOLUME: 29, ISSUE: 5, PAGES: 639-640
INDEXED IN: DBLP

Results per Page: 20.
Page 391 of 422. Total results: 8434.