Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4646
60 Team MembersFilters -> Year: 2026
3281
TITLE: Assessment of the interference caused by uncontrolled traffic sources upon real-time communication in IEEE 802.11-based mesh networks
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
3282
TITLE: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PAGES: 51-58
AUTHORS: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLISHED: 2012, SOURCE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PAGES: 51-58
3283
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO Full Text
AUTHORS: Luis F Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
AUTHORS: Luis F Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
3284
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
3285
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv3286
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery Full Text
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
3287
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
3288
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: 
Scopus 
WOS
Scopus WOS3289
TITLE: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
AUTHORS: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 162-+
INDEXED IN: WOS
WOS3290
TITLE: Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336
3291
TITLE: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-442
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-442
3292
TITLE: Bus Bunching Detection by Mining Sequences of Headway Deviations Full Text
AUTHORS: Luís Moreira Matias ; Carlos Abreu Ferreira ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2012, SOURCE: ICDM, VOLUME: 7377 LNAI, PAGES: 77-91
AUTHORS: Luís Moreira Matias ; Carlos Abreu Ferreira ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2012, SOURCE: ICDM, VOLUME: 7377 LNAI, PAGES: 77-91
3293
TITLE: Bus Bunching detection: A sequence mining approach
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
INDEXED IN: Scopus
Scopus3294
TITLE: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTHORS: Brigida Monica Faria ; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 33-40
AUTHORS: Brigida Monica Faria ; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 33-40
3295
TITLE: Coastal Ecosystems Simulation: A Decision Tree Analysis for Bivalve's Growth Conditions
AUTHORS: Reis, JP; Pereira, A ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 392-+
AUTHORS: Reis, JP; Pereira, A ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 392-+
3296
TITLE: Collaborative Spaces as Mediators for Information Sharing in Collaborative Networks
AUTHORS: Antonio Lucas Soares ; Fabio Alves ;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 459-466
AUTHORS: Antonio Lucas Soares ; Fabio Alves ;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 459-466
3297
TITLE: Combining a Multi-Objective Optimization Approach with Meta-Learning for SVM Parameter Selection Full Text
AUTHORS: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2909-2914
AUTHORS: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2909-2914
3298
TITLE: Combining meta-learning and optimization algorithms for parameter selection
AUTHORS: Gomes, T; Miranda, P; Prudencio, R; Soares, C ; Carvalho, A;
PUBLISHED: 2012, SOURCE: 5th Planning to Learn Workshop, PlanLearn 2012 at 2012 European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 950, PAGES: 6-7
AUTHORS: Gomes, T; Miranda, P; Prudencio, R; Soares, C ; Carvalho, A;
PUBLISHED: 2012, SOURCE: 5th Planning to Learn Workshop, PlanLearn 2012 at 2012 European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 950, PAGES: 6-7
INDEXED IN: Scopus
Scopus3299
TITLE: Combining meta-learning and search techniques to select parameters for support vector machines Full Text
AUTHORS: Taciana A F Gomes; Ricardo B C Prudencio; Carlos Soares ; Andre L D Rossi; Andre Carvalho;
PUBLISHED: 2012, SOURCE: NEUROCOMPUTING, VOLUME: 75, ISSUE: 1, PAGES: 3-13
AUTHORS: Taciana A F Gomes; Ricardo B C Prudencio; Carlos Soares ; Andre L D Rossi; Andre Carvalho;
PUBLISHED: 2012, SOURCE: NEUROCOMPUTING, VOLUME: 75, ISSUE: 1, PAGES: 3-13
3300
TITLE: Combining meta-learning with multi-objective particle swarm algorithms for svm parameter selection: An experimental analysis Full Text
AUTHORS: Miranda, PBC; Prudencio, RBC; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 2012 Brazilian Conference on Neural Networks, SBRN 2012 in Proceedings - Brazilian Symposium on Neural Networks, SBRN, PAGES: 1-6
AUTHORS: Miranda, PBC; Prudencio, RBC; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 2012 Brazilian Conference on Neural Networks, SBRN 2012 in Proceedings - Brazilian Symposium on Neural Networks, SBRN, PAGES: 1-6
