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
4261
TÍTULO: A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering
AUTORES: David de Almeida Ferreira; Alberto Rodrigues da Silva ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), PÁGINAS: 518-523
INDEXADO EM: Scopus WOS CrossRef
4262
TÍTULO: A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems
AUTORES: Daniel Machado; Rafael S Costa ; Miguel Rocha ; Isabel Rocha ; Bruce Tidor; Eugenio C Ferreira ;
PUBLICAÇÃO: 2009, FONTE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, NÚMERO: PART 2, PÁGINAS: 1063-1070
INDEXADO EM: Scopus WOS CrossRef: 2
4263
TÍTULO: A distributed systems approach to airborne self-separation
AUTORES: Moniz, H; Tedeschi, A; Neves, NF ; Correia, M ;
PUBLICAÇÃO: 2009, FONTE: Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications, PÁGINAS: 215-236
INDEXADO EM: Scopus CrossRef
4264
TÍTULO: A Feature Selection Algorithm for the Regularization of Neuron Models
AUTORES: Pedro Tomas ; Leonel Augusto Sousa ;
PUBLICAÇÃO: 2009, FONTE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 58, NÚMERO: 11, PÁGINAS: 3824-3830
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
4265
TÍTULO: A Flywheel Energy Storage System with Matrix Converter Controlled Permanent Magnet Synchronous Motor
AUTORES: Paulo Gamboa; Ferreira F Pinto; Fernando F Silva ; Elmano Margato;
PUBLICAÇÃO: 2009, FONTE: International Conferece on Electrical Machines in ICEM: 2008 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES, VOLS 1- 4, PÁGINAS: 232-236
INDEXADO EM: WOS
4266
TÍTULO: A Lazy Unbounded Model Checker for Event-B
AUTORES: Paulo J Matos; Bernd Fischer; João P Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Engineering Methods, ICFEM 2009 in Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885, PÁGINAS: 485-503
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
4267
TÍTULO: A MILP-based Approach to Path Sensitization of Embedded Software
AUTORES: Costa, JC; Monteiro, JC ;
PUBLICAÇÃO: 2009, FONTE: Design, Automation and Test in Europe Conference and Exhibition in DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, PÁGINAS: 1568-1571
INDEXADO EM: Scopus WOS CrossRef
4268
TÍTULO: A mobile and web-based student learning system
AUTORES: Rui Neves Madeira; Luis L Sousa ; Fernao F Pires ; Luis Esteves; Dias, OP;
PUBLICAÇÃO: 2009, FONTE: World Conference on Educational Sciences in WORLD CONFERENCE ON EDUCATIONAL SCIENCES - NEW TRENDS AND ISSUES IN EDUCATIONAL SCIENCES, VOLUME: 1, NÚMERO: 1, PÁGINAS: 2441-2448
INDEXADO EM: Scopus WOS CrossRef
4269
TÍTULO: A model for emotional contagion based on the emotional contagion scale
AUTORES: João Bispo ; Ana Paiva ;
PUBLICAÇÃO: 2009, FONTE: Affective Computing and Intelligent Interaction, Third International Conference and Workshops, ACII 2009, Amsterdam, The Netherlands, September 10-12, 2009, Proceedings, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 10
4270
TÍTULO: A polynomial time biclustering algorithm for finding approximate expression patterns in gene expression time series  Full Text
AUTORES: Sara C Madeira ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2009, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 4, NÚMERO: 1, PÁGINAS: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
4271
TÍTULO: A Portable and Autonomous Magnetic Detection Platform for Biosensing  Full Text
AUTORES: Jose Germano ; Veronica C Martins; Filipe A Cardoso ; Teresa M Almeida ; Leonel Sousa ; Paulo P Freitas ; Moises S Piedade ;
PUBLICAÇÃO: 2009, FONTE: SENSORS, VOLUME: 9, NÚMERO: 6, PÁGINAS: 4119-4137
INDEXADO EM: Scopus WOS DBLP CrossRef
4272
TÍTULO: A role-based enterprise architecture framework  Full Text
AUTORES: Caetano, A; Silva, AR ; Tribolet, J ;
PUBLICAÇÃO: 2009, FONTE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 253-258
INDEXADO EM: Scopus CrossRef
4273
TÍTULO: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks  Full Text
AUTORES: Pedro T Monteiro ; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas ; Hidde de Jong;
PUBLICAÇÃO: 2009, FONTE: BMC BIOINFORMATICS, VOLUME: 10, NÚMERO: 1, PÁGINAS: 450
INDEXADO EM: Scopus WOS CrossRef
4274
TÍTULO: A Simple Model for the Identification of Drug Effects
AUTORES: Hugo Alonso ; Teresa Mendonca ; Joao M Lemos ; Torbjorm Wigren;
PUBLICAÇÃO: 2009, FONTE: 6th IEEE International Symposium on Intelligent Signal Processing in WISP 2009: 6TH IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT SIGNAL PROCESSING, PROCEEDINGS, PÁGINAS: 269-273
INDEXADO EM: Scopus WOS CrossRef: 7
4275
TÍTULO: A Wireless Sensor Network Architecture for Homeland Security Application
AUTORES: Antonio Grilo ; Krzysztof Piotrowski; Peter Langendoerfer; Augusto Casaca ;
PUBLICAÇÃO: 2009, FONTE: 8th International Conference on Ad-Hoc Networks and Wireless (ADHOC-NOW 2009) in AD-HOC, MOBILE AND WIRELESS NETWORKS, PROCEEDINGS, VOLUME: 5793, PÁGINAS: 397-402
INDEXADO EM: Scopus WOS CrossRef
4276
TÍTULO: A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications
AUTORES: João Ferreira; João Leitão ; Luís Rodrigues ;
PUBLICAÇÃO: 2009, FONTE: 3rd International ICST Conference on Autonomic Computing and Communications Systems, Autonomics 2009 in Autonomic Computing and Communications Systems, Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers, VOLUME: 23, PÁGINAS: 1-16
INDEXADO EM: Scopus DBLP CrossRef
4277
TÍTULO: Accuracy versus efficiency of hyper-exponential approximations of the response time distribution of MMPP/M/1 queues  Full Text
AUTORES: Romano, P ; Ciciani, B; Santoro, A; Quaglia, F;
PUBLICAÇÃO: 2009, FONTE: International Journal of Parallel, Emergent and Distributed Systems, VOLUME: 24, NÚMERO: 2, PÁGINAS: 107-125
INDEXADO EM: Scopus CrossRef: 2
4278
TÍTULO: Accurate magnetic field evaluation due to underground power cables  Full Text
AUTORES: Malo M Machado ; Almeida, ME ; Guerreiro G das Neves ;
PUBLICAÇÃO: 2009, FONTE: EUROPEAN TRANSACTIONS ON ELECTRICAL POWER, VOLUME: 19, NÚMERO: 8, PÁGINAS: 1153-1160
INDEXADO EM: Scopus WOS CrossRef
4279
TÍTULO: Active Learning for Reward Estimation in Inverse Reinforcement Learning
AUTORES: Manuel Lopes; Francisco Melo ; Luis Montesano;
PUBLICAÇÃO: 2009, FONTE: Joint European Conference on Machine Learning (ECML)/European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PT II, VOLUME: 5782, NÚMERO: PART 2, PÁGINAS: 31-46
INDEXADO EM: Scopus WOS CrossRef
4280
TÍTULO: Adapting a Virtual Agent to Users' Vocabulary and Needs
AUTORES: Ana Cristina Mendes; Rui Prada ; Luisa Coheur ;
PUBLICAÇÃO: 2009, FONTE: 9th International Conference on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS, VOLUME: 5773, PÁGINAS: 529-530
INDEXADO EM: Scopus WOS CrossRef

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