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

531 Team Members
Filters -> Year: 2024
7641
TITLE: Dynamic mixed-strategy evaluation of tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 250-264
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7642
TITLE: Dynamic QoS-aware coalition formation
AUTHORS: Nogueira, L ; Pinho, LM ;
PUBLISHED: 2005, SOURCE: 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005 in Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005, VOLUME: 2005
INDEXED IN: Scopus CrossRef: 4
7643
TITLE: Editorial message for the special track on embedded systems: Applications, solutions, and techniques. applications, solutions, and techniques  Full Text
AUTHORS: Bechini, A; Bodin, F; Prete, CA; Bartolini, S; Buttazzo, G; Cardoso, JMP ; Dang, T; Engels, M; Foglia, P; Giorgi, R; Jha, NK; Knijnenburg, P; Krall, A; Kuo, TW; Ledeczi, A; Liu, J; Memik, G; O'Boyle, M; Schants, R; Sips, HJ; Talpin, JP; Vassiliadis, S; Yen, IL; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 836-837
INDEXED IN: Scopus CrossRef
7644
TITLE: Editorial: Programming languages track
AUTHORS: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; Saraiva, J ; Sloane, T; Wile, D; Winkler, J; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2, PAGES: 1383-1384
INDEXED IN: Scopus
7646
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
7647
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
7648
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
7649
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
7650
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: 44
7651
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
7652
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
7653
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
7654
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
7655
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
7656
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
7657
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
7658
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
7659
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
7660
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

Results per Page: 20.
Page 383 of 414. Total results: 8273.