Instituto de Engenharia de Sistemas e Computadores (INESC ID)

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

112 Team Members
Filters -> Year: 2024
5521
TITLE: Validating associations in biological databases
AUTHORS: Francisco M Couto ; Mário J Silva ; Pedro Coutinho;
PUBLISHED: 2006, SOURCE: 15th ACM Conference on Information and Knowledge Management, CIKM 2006 in Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, PAGES: 142-151
INDEXED IN: Scopus DBLP CrossRef
5522
TITLE: Variation-aware, library compatible delay modeling strategy
AUTHORS: Luis Guerra E Silva ; Zhenhai H Zhu; Joel R Phillips; Silveira, L. Miguel ;
PUBLISHED: 2006, SOURCE: International Conference on Very Large Scale Integration and System-on-Chip in IFIP VLSI-SoC 2006: IFIP WG 10.5 International Conference on Very Large Scale Integration & System-on-Chip, PAGES: 122-127
INDEXED IN: Scopus WOS CrossRef
5523
TITLE: Vector quantization techniques for remote train detection
AUTHORS: Carvalho, CF; Martins, CR; Serralheiro, AJ ;
PUBLISHED: 2006, SOURCE: 13th International Congress on Sound and Vibration 2006, ICSV 2006 in 13th International Congress on Sound and Vibration 2006, ICSV 2006, VOLUME: 7, PAGES: 5638-5645
INDEXED IN: Scopus
5524
TITLE: Versioned boxes as the basis for memory transactions  Full Text
AUTHORS: Joao Cachopo ; Antonio Rito Silva ;
PUBLISHED: 2006, SOURCE: OOPSLA Workshop on Synchronization and Concurrent in Object-Oriented Languages in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 63, ISSUE: 2, PAGES: 172-185
INDEXED IN: Scopus WOS CrossRef
5525
TITLE: VITRAL - A text mode window manager for real-time embedded kernels
AUTHORS: Coutinho, M; Almeida, C; Rufino, J ;
PUBLISHED: 2006, SOURCE: 2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, PAGES: 1254-1260
INDEXED IN: Scopus CrossRef
5526
TITLE: Web-based support for resource-effective e-Learning
AUTHORS: Rentroia Bonito, MA; Frederico Figueiredo; Andre Martins; Vitor Fernandes; Joaquim Jorge ;
PUBLISHED: 2006, SOURCE: 2nd International Conference on Web Information Systems and Technologies in WEBIST 2006: Proceedings of the Second International Conference on Web Information Systems and Technologies: SOCIETY, E-BUSINESS AND E-GOVERNMENT / E-LEARNING, VOLUME: SEBEG, ISSUE: EL/-, PAGES: 281-286
INDEXED IN: Scopus WOS
5527
TITLE: Weighted finite-state transducer inference for limited-domain speech-to-speech translation
AUTHORS: Caseiro, D; Trancoso, I ;
PUBLISHED: 2006, SOURCE: 7th International Workshop on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 3960, PAGES: 60-68
INDEXED IN: Scopus WOS CrossRef
5528
TITLE: "Tell me a story" - Issues on the design of document retrieval systems
AUTHORS: Goncalves, D ; Jorge, J ;
PUBLISHED: 2005, SOURCE: Joint Working Conferences of the 9th Engineering for Human Computer Interaction (EHCI)/11th Annual Conference on Design, Specification and Verification of Interactive Systems (DSVIS) in ENGINEERING HUMAN COMPUTER INTERACTION AND INTERACTIVE SYSTEMS, VOLUME: 3425, PAGES: 129-145
INDEXED IN: Scopus WOS
5529
TITLE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
AUTHORS: Paiva, A ; Martinho, C ; de Oliveira, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 101-101
INDEXED IN: WOS
5530
TITLE: A believable group in the synthetic mind
AUTHORS: Prada, R ; Paiva, A ;
PUBLISHED: 2005, SOURCE: AISB'05 Convention: Social Intelligence and Interaction in Animals, Robots and Agents - Joint Symposium on Virtual Social Agents: Social Presence Cues for Virtual Humanoids Empathic Interaction with Synthetic Characters Mind Minding Agents in AISB'05 Convention:Proceedings of the Joint Symposium on Virtual Social Agents: Social Presence Cues for Virtual Humanoids Empathic Interaction with Synthetic Characters Mind Minding Agents, PAGES: 207-214
INDEXED IN: Scopus
5531
TITLE: A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas
AUTHORS: Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLISHED: 2005, SOURCE: 8th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, VOLUME: 3569, PAGES: 467-474
INDEXED IN: Scopus WOS DBLP
5532
TITLE: A calligraphic interface for interactive free-form modeling with large datasets  Full Text
AUTHORS: De Araujo, BR; Jorge, JAP ;
PUBLISHED: 2005, SOURCE: 18th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2005) in SIBGRAPI 2005: XVIII BRAZILIAN SYMPOSIUM ON COMPUTER GRAPHICS AND IMAGE PROCESSING, CONFERENCE PROCEEDINGS, VOLUME: 2005, PAGES: 333-340
INDEXED IN: Scopus WOS CrossRef
5533
TITLE: A comparison by simulation and by measurement of the substrate noise generated by CMOS, CSL, and CBL digital circuits
AUTHORS: Albuquerque, EFM; Silva, MM ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, VOLUME: 52, ISSUE: 4, PAGES: 734-741
INDEXED IN: Scopus WOS CrossRef
5534
TITLE: A decomposition approach to optimal remote controlled switch allocation in distribution systems
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; da Silva, AJC;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 20, ISSUE: 2, PAGES: 1031-1036
INDEXED IN: Scopus WOS CrossRef
5535
TITLE: A dual approach to start-up of an adaptive predictive controller
AUTHORS: da Silva, RN ; Filatov, N; Lemos, JM ; Unbehauen, H;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOLUME: 13, ISSUE: 6, PAGES: 877-883
INDEXED IN: Scopus WOS CrossRef
5536
TITLE: A graph-ranking algorithm for geo-referencing documents  Full Text
AUTHORS: Martins, B ; Silva, MJ ;
PUBLISHED: 2005, SOURCE: 5th IEEE International Conference on Data Mining in Fifth IEEE International Conference on Data Mining, Proceedings, PAGES: 741-744
INDEXED IN: Scopus WOS CrossRef
5537
TITLE: A highly scalable algorithm for the extraction of cis-regulatory regions PDF
AUTHORS: Carvalho, AM ; Freitas, AT ; Oliveira, AL ; Sagot, MF;
PUBLISHED: 2005, SOURCE: 3rd Asia-Pacific Bioinformatics Conference, APBC 2005 in Series on Advances in Bioinformatics and Computational Biology, VOLUME: 1, PAGES: 273-282
INDEXED IN: Scopus DBLP
5538
TITLE: A lightweight and scalable e-Transaction protocol for three-tier systems with centralized back-end database  Full Text
AUTHORS: Romano, P ; Quaglia, F; Ciciani, B;
PUBLISHED: 2005, SOURCE: IEEE Transactions on Knowledge and Data Engineering, VOLUME: 17, ISSUE: 11, PAGES: 1578-1583
INDEXED IN: Scopus CrossRef: 8
5539
TITLE: A linear time biclustering algorithm for time series gene expression data
AUTHORS: Madeira, SC ; Oliveira, AL ;
PUBLISHED: 2005, SOURCE: 5th International Workshop on Algorithms in Bioinformatics (WABI 2005) in ALGORITHMS IN BIOINFORMATICS, PROCEEDINGS, VOLUME: 3692, PAGES: 39-52
INDEXED IN: Scopus WOS DBLP CrossRef
5540
TITLE: A Logic Programming Based Approach to QA@CLEF05 Track
AUTHORS: Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLISHED: 2005, SOURCE: Accessing Multilingual Information Repositories, 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers, VOLUME: 4022, PAGES: 351-360
INDEXED IN: DBLP CrossRef

Results per Page: 20.
Page 277 of 341. Total results: 6820.