Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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
TÍTULO: Refutation by randomised general resolution
AUTORES: Prestwich, S; Lynce, I ;
PUBLICAÇÃO: 2007, FONTE: 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, PÁGINAS: 1667-1670
INDEXADO EM: Scopus
5222
TÍTULO: RenH(2) - Stand-alone energy system supported by totally renewable hydrogen production
AUTORES: Martins, JF ; Antonio Joyce; Carmen Rangel; Joao Sotomayor; Rui Castro; Armando Pires ; Joao Carvalheiro; Raquel A Silva; Susana Viana;
PUBLICAÇÃO: 2007, FONTE: International Conference on Power Engineering Energy and Electrical Devices in POWERENG2007: INTERNATIONAL CONFERENCE ON POWER ENGINEERING - ENERGY AND ELECTRICAL DRIVES PROCEEDINGS, VOLS 1 & 2, PÁGINAS: 566-570
INDEXADO EM: Scopus WOS CrossRef
5223
TÍTULO: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTORES: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLICAÇÃO: 2007, FONTE: AI Magazine, VOLUME: 28, NÚMERO: 4, PÁGINAS: 135-136
INDEXADO EM: Scopus DBLP
5225
TÍTULO: Representing Organizational Competencies
AUTORES: Artur Caetano ; Joao Pombinho; Jose Tribolet ;
PUBLICAÇÃO: 2007, FONTE: 22nd ACM Symposium on Applied Computing in APPLIED COMPUTING 2007, VOL 1 AND 2, PÁGINAS: 1257-1262
INDEXADO EM: Scopus WOS CrossRef
5226
TÍTULO: Resilient intrusion tolerance through proactive and reactive recovery
AUTORES: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PÁGINAS: 373-380
INDEXADO EM: WOS DBLP CrossRef: 36
5227
TÍTULO: Resilient intrusion tolerance through proactive and reactive recovery
AUTORES: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007, PÁGINAS: 373-380
INDEXADO EM: Scopus
5228
TÍTULO: Robust sensor self-initialization: Whispering to avoid intruders
AUTORES: Ribeiro, C ;
PUBLICAÇÃO: 2007, FONTE: 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, PÁGINAS: 101-107
INDEXADO EM: Scopus CrossRef
5229
TÍTULO: Router design for application specific networks-on-chip on reconfigurable systems
AUTORES: Mario P Vestias ; Horacio C Neto ;
PUBLICAÇÃO: 2007, FONTE: 17th International Conference on Field Programmable Logic and Applications in 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2, PÁGINAS: 389-394
INDEXADO EM: Scopus WOS CrossRef
5230
TÍTULO: Search in the patience game 'Black Hole'
AUTORES: Ian P Gent; Chris Jefferson; Tom Kelsey; Ines Lynce ; Ian Miguel; Peter Nightingale; Barbara M Smith; Armagan A Tarim;
PUBLICAÇÃO: 2007, FONTE: AI COMMUNICATIONS, VOLUME: 20, NÚMERO: 3, PÁGINAS: 211-226
INDEXADO EM: Scopus WOS
5231
TÍTULO: Semi-supervised Single-label Text Categorization using Centroid-based Classifiers
AUTORES: Ana Cardoso Cachopo; Arlindo L Oliveira ;
PUBLICAÇÃO: 2007, FONTE: 22nd ACM Symposium on Applied Computing in APPLIED COMPUTING 2007, VOL 1 AND 2, PÁGINAS: 844-851
INDEXADO EM: Scopus WOS DBLP CrossRef
5232
TÍTULO: Sequence design for data-aided estimation of synchronization parameters
AUTORES: Goncalo N Tavares ; Luis M Tavares;
PUBLICAÇÃO: 2007, FONTE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 55, NÚMERO: 4, PÁGINAS: 670-677
INDEXADO EM: Scopus WOS CrossRef
5233
TÍTULO: ShapeShop: Sketch-based solid modeling with BlobTrees
AUTORES: Schmidt, R; Wyvill, B; Sousa, MC; Jorge, JA ;
PUBLICAÇÃO: 2007, FONTE: ACM SIGGRAPH 2007 - International Conference on Computer Graphics and Interactive Techniques in ACM SIGGRAPH 2007 Papers - International Conference on Computer Graphics and Interactive Techniques
INDEXADO EM: Scopus
5234
TÍTULO: Short-term electricity prices forecasting in a competitive market: A neural network approach  Full Text
AUTORES: João P. S. Catalão ; Mariano, SJPS ; Mendes, VMF ; Ferreira, LAFM ;
PUBLICAÇÃO: 2007, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 77, NÚMERO: 10, PÁGINAS: 1297-1304
INDEXADO EM: Scopus WOS CrossRef: 311
5236
TÍTULO: Sliding mode direct control of matrix converters  Full Text
AUTORES: Pinto, S ; Silva, J ;
PUBLICAÇÃO: 2007, FONTE: IET ELECTRIC POWER APPLICATIONS, VOLUME: 1, NÚMERO: 3, PÁGINAS: 439-448
INDEXADO EM: Scopus WOS CrossRef
5237
TÍTULO: Solid-state Marx generator design with an energy recovery reset circuit for output transformer association  Full Text
AUTORES: Redondo, LM ; Fernando F Silva ; Tavares, P; Margato, E ;
PUBLICAÇÃO: 2007, FONTE: 38th IEEE Power Electronic Specialists Conference in 2007 IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, PÁGINAS: 2987-2991
INDEXADO EM: Scopus WOS CrossRef
5238
TÍTULO: Specification-based intrusion detection system for carrier ethernet
AUTORES: Pan Jieke; Joao Redol; Miguel Correia ;
PUBLICAÇÃO: 2007, FONTE: 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, PÁGINAS: 426-429
INDEXADO EM: Scopus WOS DBLP
5239
TÍTULO: Statistic moment based method for the detection and diagnosis of induction motor stator fault
AUTORES: Tito G Amaral; Fernao F Pires ; Martins, JF ; Pires, AJ ; Manuel M Crisostomo ;
PUBLICAÇÃO: 2007, FONTE: International Conference on Power Engineering Energy and Electrical Devices in POWERENG2007: INTERNATIONAL CONFERENCE ON POWER ENGINEERING - ENERGY AND ELECTRICAL DRIVES PROCEEDINGS, VOLS 1 & 2, PÁGINAS: 106-110
INDEXADO EM: Scopus WOS CrossRef: 2
5240
TÍTULO: Stochastic integrate-and-fire model for the retina
AUTORES: Sergio Capela; Pedro Tomás ; Leonel Sousa ;
PUBLICAÇÃO: 2007, FONTE: 15th European Signal Processing Conference, EUSIPCO 2007 in 15th European Signal Processing Conference, EUSIPCO 2007, Poznan, Poland, September 3-7, 2007, PÁGINAS: 2514-2518
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 262 de 341. Total de resultados: 6820.