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
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!
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!
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!
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 MembersFilters -> 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
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
Scopus5222
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
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
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
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
Scopus DBLP5224
TITLE: Report on the seventh ACM/IEEE Joint Conference on Digital Libraries (JCDL 2007) - Building and sustaining the digital environment. June 18-23, 2007, Vancouver, British Columbia, Canada Full Text
AUTHORS: Cassel, L; Borbinha, J ;
PUBLISHED: 2007, SOURCE: D-Lib Magazine, VOLUME: 13, ISSUE: 9-10
AUTHORS: Cassel, L; Borbinha, J ;
PUBLISHED: 2007, SOURCE: D-Lib Magazine, VOLUME: 13, ISSUE: 9-10
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5225
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
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
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
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
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
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
Scopus5228
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
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
Scopus CrossRef5229
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
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
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
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
Scopus WOS5231
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
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
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
AUTHORS: Goncalo N Tavares ; Luis M Tavares;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON COMMUNICATIONS, VOLUME: 55, ISSUE: 4, PAGES: 670-677
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
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
Scopus5234
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
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
5235
TITLE: Short-term operational planning of thermoelectric power systems with environmental constraints [Planificación de la operación de corto plazo de sistemas de energía termoeléctrica con restricciones ambientales]
AUTHORS: João P. S. Catalão ; Mariano, SJ ; Mendes, VM ; Ferreira, LA;
PUBLISHED: 2007, SOURCE: Informacion Tecnologica, VOLUME: 18, ISSUE: 1, PAGES: 79-86
AUTHORS: João P. S. Catalão ; Mariano, SJ ; Mendes, VM ; Ferreira, LA;
PUBLISHED: 2007, SOURCE: Informacion Tecnologica, VOLUME: 18, ISSUE: 1, PAGES: 79-86
INDEXED IN: Scopus
Scopus5236
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
AUTHORS: Pinto, S ; Silva, J ;
PUBLISHED: 2007, SOURCE: IET ELECTRIC POWER APPLICATIONS, VOLUME: 1, ISSUE: 3, PAGES: 439-448
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
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
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
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
Scopus WOS DBLP5239
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
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
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
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
Scopus DBLP