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