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
5221
TITLE: Refutation by randomised general resolution
AUTHORS: Prestwich, S; Lynce, I ;
PUBLISHED: 2007, SOURCE: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 2, PAGES: 1667-1670
INDEXED IN: Scopus
5222
TITLE: RenH(2) - Stand-alone energy system supported by totally renewable hydrogen production
AUTHORS: Martins, JF ; Antonio Joyce; Carmen Rangel; Joao Sotomayor; Rui Castro; Armando Pires ; Joao Carvalheiro; Raquel A Silva; Susana Viana;
PUBLISHED: 2007, SOURCE: International Conference on Power Engineering Energy and Electrical Devices in POWERENG2007: INTERNATIONAL CONFERENCE ON POWER ENGINEERING - ENERGY AND ELECTRICAL DRIVES PROCEEDINGS, VOLS 1 & 2, PAGES: 566-570
INDEXED IN: Scopus WOS CrossRef
5223
TITLE: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTHORS: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLISHED: 2007, SOURCE: AI Magazine, VOLUME: 28, ISSUE: 4, PAGES: 135-136
INDEXED IN: Scopus DBLP
5225
TITLE: Representing Organizational Competencies
AUTHORS: Artur Caetano ; Joao Pombinho; Jose Tribolet ;
PUBLISHED: 2007, SOURCE: 22nd ACM Symposium on Applied Computing in APPLIED COMPUTING 2007, VOL 1 AND 2, PAGES: 1257-1262
INDEXED IN: Scopus WOS CrossRef
5226
TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PAGES: 373-380
INDEXED IN: WOS DBLP CrossRef: 36
5227
TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007, PAGES: 373-380
INDEXED IN: Scopus
5228
TITLE: Robust sensor self-initialization: Whispering to avoid intruders
AUTHORS: Ribeiro, C ;
PUBLISHED: 2007, SOURCE: International Conference on Emerging Security Information, Systems, and Technologies, SECURWARE 2007 in Proceedings - The International Conference on Emerging Security Information, Systems, and Technologies, SECURWARE 2007, PAGES: 101-107
INDEXED IN: Scopus CrossRef
5229
TITLE: Router design for application specific networks-on-chip on reconfigurable systems
AUTHORS: Mario P Vestias ; Horacio C Neto ;
PUBLISHED: 2007, SOURCE: 17th International Conference on Field Programmable Logic and Applications in 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2, PAGES: 389-394
INDEXED IN: Scopus WOS CrossRef
5230
TITLE: Search in the patience game 'Black Hole'
AUTHORS: Ian P Gent; Chris Jefferson; Tom Kelsey; Ines Lynce ; Ian Miguel; Peter Nightingale; Barbara M Smith; Armagan A Tarim;
PUBLISHED: 2007, SOURCE: AI COMMUNICATIONS, VOLUME: 20, ISSUE: 3, PAGES: 211-226
INDEXED IN: Scopus WOS
5231
TITLE: Semi-supervised Single-label Text Categorization using Centroid-based Classifiers
AUTHORS: Ana Cardoso Cachopo; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 22nd ACM Symposium on Applied Computing in APPLIED COMPUTING 2007, VOL 1 AND 2, PAGES: 844-851
INDEXED IN: Scopus WOS DBLP CrossRef
5232
TITLE: Sequence design for data-aided estimation of synchronization parameters
AUTHORS: Goncalo N Tavares ; Luis M Tavares;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 55, ISSUE: 4, PAGES: 670-677
INDEXED IN: Scopus WOS CrossRef
5233
TITLE: ShapeShop: Sketch-based solid modeling with BlobTrees
AUTHORS: Schmidt, R; Wyvill, B; Sousa, MC; Jorge, JA ;
PUBLISHED: 2007, SOURCE: ACM SIGGRAPH 2007 - International Conference on Computer Graphics and Interactive Techniques in ACM SIGGRAPH 2007 Papers - International Conference on Computer Graphics and Interactive Techniques
INDEXED IN: Scopus
5234
TITLE: Short-term electricity prices forecasting in a competitive market: A neural network approach  Full Text
AUTHORS: João P. S. Catalão ; Mariano, SJPS ; Mendes, VMF ; Ferreira, LAFM ;
PUBLISHED: 2007, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 77, ISSUE: 10, PAGES: 1297-1304
INDEXED IN: Scopus WOS CrossRef: 311
5236
TITLE: Sliding mode direct control of matrix converters  Full Text
AUTHORS: Pinto, S ; Silva, J ;
PUBLISHED: 2007, SOURCE: IET ELECTRIC POWER APPLICATIONS, VOLUME: 1, ISSUE: 3, PAGES: 439-448
INDEXED IN: Scopus WOS CrossRef
5237
TITLE: Solid-state Marx generator design with an energy recovery reset circuit for output transformer association  Full Text
AUTHORS: Redondo, LM ; Fernando F Silva ; Tavares, P; Margato, E ;
PUBLISHED: 2007, SOURCE: 38th IEEE Power Electronic Specialists Conference in 2007 IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, PAGES: 2987-2991
INDEXED IN: Scopus WOS CrossRef
5238
TITLE: Specification-based intrusion detection system for carrier ethernet
AUTHORS: Pan Jieke; Joao Redol; Miguel Correia ;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Web Information Systems and Technologies in WEBIST 2007: Proceedings of the Third International Conference on Web Information Systems and Technologies, Vol IT: INTERNET TECHNOLOGY, VOLUME: IT, PAGES: 426-429
INDEXED IN: Scopus WOS DBLP
5239
TITLE: Statistic moment based method for the detection and diagnosis of induction motor stator fault
AUTHORS: Tito G Amaral; Fernao F Pires ; Martins, JF ; Pires, AJ ; Manuel M Crisostomo ;
PUBLISHED: 2007, SOURCE: International Conference on Power Engineering Energy and Electrical Devices in POWERENG2007: INTERNATIONAL CONFERENCE ON POWER ENGINEERING - ENERGY AND ELECTRICAL DRIVES PROCEEDINGS, VOLS 1 & 2, PAGES: 106-110
INDEXED IN: Scopus WOS CrossRef: 2
5240
TITLE: Stochastic integrate-and-fire model for the retina
AUTHORS: Sergio Capela; Pedro Tomás ; Leonel Sousa ;
PUBLISHED: 2007, SOURCE: 15th European Signal Processing Conference, EUSIPCO 2007 in 15th European Signal Processing Conference, EUSIPCO 2007, Poznan, Poland, September 3-7, 2007, PAGES: 2514-2518
INDEXED IN: Scopus DBLP

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