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

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

Results per Page: 20.
Página 177 de 345. Total de resultados: 6881.