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: 6881
112 Team MembersFilters -> Year: 2024
3521
TITLE: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1, PAGES: 36-41
AUTHORS: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, VOLUME: 1, PAGES: 36-41
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3522
TITLE: Cost Per Flying Hour - Use of Information from the Integrated Management System
AUTHORS: Carlos Pascoa; Pedro Santos; Jose Tribolet ;
PUBLISHED: 2011, SOURCE: International Conference on Enterprise Information Systems in ENTERPRISE INFORMATION SYSTEMS, PT 2, VOLUME: 220, ISSUE: PART 2, PAGES: 1-10
AUTHORS: Carlos Pascoa; Pedro Santos; Jose Tribolet ;
PUBLISHED: 2011, SOURCE: International Conference on Enterprise Information Systems in ENTERPRISE INFORMATION SYSTEMS, PT 2, VOLUME: 220, ISSUE: PART 2, PAGES: 1-10
INDEXED IN: Scopus 
WOS
Scopus WOS3523
TITLE: Critical perspective on the consequences of the limited availability of kinetic data in metabolic dynamic modelling
AUTHORS: Costa, RS ; Machado, D; Rocha, I ; Ferreira, EC ;
PUBLISHED: 2011, SOURCE: IET SYSTEMS BIOLOGY, VOLUME: 5, ISSUE: 3, PAGES: 157-163
AUTHORS: Costa, RS ; Machado, D; Rocha, I ; Ferreira, EC ;
PUBLISHED: 2011, SOURCE: IET SYSTEMS BIOLOGY, VOLUME: 5, ISSUE: 3, PAGES: 157-163
3524
TITLE: CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks Full Text
AUTHORS: Radu Mateescu; Pedro T Monteiro ; Estelle Dumas; Hidde de Jong;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 26, PAGES: 2854-2883
AUTHORS: Radu Mateescu; Pedro T Monteiro ; Estelle Dumas; Hidde de Jong;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 26, PAGES: 2854-2883
3525
TITLE: Data replication support for collaboration in mobile and ubiquitous computing environments
AUTHORS: Barreto, J ; Ferreira, P ;
PUBLISHED: 2011, SOURCE: Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts, PAGES: 1132-1154
AUTHORS: Barreto, J ; Ferreira, P ;
PUBLISHED: 2011, SOURCE: Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts, PAGES: 1132-1154
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3526
TITLE: Decentralized linear motion estimators for AUV formations with fixed topologies
AUTHORS: Viegas, D; Batista, P ; Oliveira, P; Silvestre, C ;
PUBLISHED: 2011, SOURCE: 18th IFAC World Congress in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 18, ISSUE: PART 1, PAGES: 13636-13641
AUTHORS: Viegas, D; Batista, P ; Oliveira, P; Silvestre, C ;
PUBLISHED: 2011, SOURCE: 18th IFAC World Congress in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 18, ISSUE: PART 1, PAGES: 13636-13641
INDEXED IN: Scopus
Scopus3527
TITLE: Decentralized MDPs with sparse interactions Full Text
AUTHORS: Melo, FS ; Veloso, M;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 11, PAGES: 1757-1789
AUTHORS: Melo, FS ; Veloso, M;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 11, PAGES: 1757-1789
3528
TITLE: Delay sensing for long-term variations and defects monitoring in safety-critical applications
AUTHORS: Vazquez, JC; Champac, V; Ziesemer, AM; Reis, R; Teixeira, IC ; Santos, MB ; Teixeira, JP ;
PUBLISHED: 2011, SOURCE: Analog Integrated Circuits and Signal Processing, PAGES: 1-15
AUTHORS: Vazquez, JC; Champac, V; Ziesemer, AM; Reis, R; Teixeira, IC ; Santos, MB ; Teixeira, JP ;
PUBLISHED: 2011, SOURCE: Analog Integrated Circuits and Signal Processing, PAGES: 1-15
INDEXED IN: Scopus
Scopus3529
TITLE: Delimiting Imprecise Regions with Georeferenced Photos and Land Coverage Data Full Text
AUTHORS: Bruno Martins ;
PUBLISHED: 2011, SOURCE: 10th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2011) in WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS, VOLUME: 6574, PAGES: 219-229
AUTHORS: Bruno Martins ;
PUBLISHED: 2011, SOURCE: 10th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2011) in WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS, VOLUME: 6574, PAGES: 219-229
3530
TITLE: DepSky. dependable and secure storage in a cloud-of-clouds
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando André; Paulo Sousa;
PUBLISHED: 2011, SOURCE: Proceedings of the sixth conference on Computer systems - EuroSys '11
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando André; Paulo Sousa;
PUBLISHED: 2011, SOURCE: Proceedings of the sixth conference on Computer systems - EuroSys '11
3531
TITLE: DEPSKY: Dependable and Secure Storage in a Cloud-of-Clouds
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando Andre; Paulo Sousa;
PUBLISHED: 2011, SOURCE: 6th ACM EuroSys Conference on Computer Systems (EuroSys 2011) in EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE, PAGES: 31-45
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando Andre; Paulo Sousa;
PUBLISHED: 2011, SOURCE: 6th ACM EuroSys Conference on Computer Systems (EuroSys 2011) in EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE, PAGES: 31-45
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3532
TITLE: Design Issues for an Extensible CMS-Based Document Management System
AUTHORS: João Saraiva ; da Silva, AR ;
PUBLISHED: 2011, SOURCE: 1st International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management in KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, VOLUME: 128, PAGES: 323-336
AUTHORS: João Saraiva ; da Silva, AR ;
PUBLISHED: 2011, SOURCE: 1st International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management in KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, VOLUME: 128, PAGES: 323-336
3533
TITLE: Design of low-power multiple constant multiplications using low-complexity minimum depth operations
AUTHORS: Aksoy, L ; Costa, E; Flores, P ; Monteiro, J ;
PUBLISHED: 2011, SOURCE: 21st Great Lakes Symposium on VLSI, GLSVLSI 2011 in Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI, PAGES: 79-84
AUTHORS: Aksoy, L ; Costa, E; Flores, P ; Monteiro, J ;
PUBLISHED: 2011, SOURCE: 21st Great Lakes Symposium on VLSI, GLSVLSI 2011 in Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI, PAGES: 79-84
INDEXED IN: Scopus CrossRef
Scopus CrossRef3534
TITLE: Development of risk-constrained offering strategies for a wind power producer under uncertainty
AUTHORS: João P. S. Catalão ; Pousinho, HMI; Mendes, VMF;
PUBLISHED: 2011, SOURCE: 17th Power Systems Computation Conference, PSCC 2011 in 17th Power Systems Computation Conference, PSCC 2011
AUTHORS: João P. S. Catalão ; Pousinho, HMI; Mendes, VMF;
PUBLISHED: 2011, SOURCE: 17th Power Systems Computation Conference, PSCC 2011 in 17th Power Systems Computation Conference, PSCC 2011
INDEXED IN: Scopus
Scopus3535
TITLE: Differential eligibility vectors for advantage updating and gradient methods
AUTHORS: Melo, FS ;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PAGES: 441-446
AUTHORS: Melo, FS ;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PAGES: 441-446
INDEXED IN: Scopus
Scopus3536
TITLE: Digital LQR control with Kalman Estimator for DC-DC Buck converter
AUTHORS: Moreira, CO; Silva, FA ; Pinto, SF ; Santos, MB ;
PUBLISHED: 2011, SOURCE: International Conference on Computer as a Tool, EUROCON 2011 - Joint with Conftele 2011 in EUROCON 2011 - International Conference on Computer as a Tool - Joint with Conftele 2011
AUTHORS: Moreira, CO; Silva, FA ; Pinto, SF ; Santos, MB ;
PUBLISHED: 2011, SOURCE: International Conference on Computer as a Tool, EUROCON 2011 - Joint with Conftele 2011 in EUROCON 2011 - International Conference on Computer as a Tool - Joint with Conftele 2011
INDEXED IN: Scopus CrossRef
Scopus CrossRef3537
TITLE: Digital Sliding Mode Control of DC-DC Buck converters
AUTHORS: Jacinto, B; Moreira, C; Santos, M ;
PUBLISHED: 2011, SOURCE: Journal of Low Power Electronics, VOLUME: 7, ISSUE: 2, PAGES: 218-233
AUTHORS: Jacinto, B; Moreira, C; Santos, M ;
PUBLISHED: 2011, SOURCE: Journal of Low Power Electronics, VOLUME: 7, ISSUE: 2, PAGES: 218-233
INDEXED IN: Scopus CrossRef
Scopus CrossRef3538
TITLE: Digital Storytelling for Competence Development
AUTHORS: Edgar Santos; Claudia Ribeiro; Manuel Fradinho; Joao Pereira ;
PUBLISHED: 2011, SOURCE: 3rd International workshop on Story-Telling and Educational Games in NEW HORIZONS IN WEB-BASED LEARNING: ICWL 2010 WORKSHOPS, VOLUME: 6537, PAGES: 35-44
AUTHORS: Edgar Santos; Claudia Ribeiro; Manuel Fradinho; Joao Pereira ;
PUBLISHED: 2011, SOURCE: 3rd International workshop on Story-Telling and Educational Games in NEW HORIZONS IN WEB-BASED LEARNING: ICWL 2010 WORKSHOPS, VOLUME: 6537, PAGES: 35-44
3539
TITLE: Direct lightning surge analysis in wind turbines using electromagnetic transients computer program
AUTHORS: Rafael B Rodrigues; Victor M F Mendes; João P. S. Catalão ;
PUBLISHED: 2011, SOURCE: International Conference on Computer as a Tool, EUROCON 2011 - Joint with Conftele 2011 in Proceedings of EUROCON 2011, International Conference on Computer as a Tool, 27-29 April 2011, Lisbon, Portugal, PAGES: 1-4
AUTHORS: Rafael B Rodrigues; Victor M F Mendes; João P. S. Catalão ;
PUBLISHED: 2011, SOURCE: International Conference on Computer as a Tool, EUROCON 2011 - Joint with Conftele 2011 in Proceedings of EUROCON 2011, International Conference on Computer as a Tool, 27-29 April 2011, Lisbon, Portugal, PAGES: 1-4
3540
TITLE: Discriminative Learning of Bayesian Networks via Factorized Conditional Log-Likelihood Full Text
AUTHORS: Alexandra M Carvalho ; Teemu Roos; Arlindo L Oliveira ; Petri Myllymaki;
PUBLISHED: 2011, SOURCE: JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 12, PAGES: 2181-2210
AUTHORS: Alexandra M Carvalho ; Teemu Roos; Arlindo L Oliveira ; Petri Myllymaki;
PUBLISHED: 2011, SOURCE: JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 12, PAGES: 2181-2210
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP