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: 3928
49 Team MembersFilters -> Year: 2024
2881
TITLE: Probabilistic error propagation modeling in logic circuits
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
2882
TITLE: Programming Safety Requirements in the REFLECT Design Flow
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
2883
TITLE: Quality evolution track at QUATIC 2010 Full Text
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1, PAGES: 28-29
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1, PAGES: 28-29
2884
TITLE: Real Time Colour Based Player Tracking in Indoor Sports
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
2885
TITLE: Reconfigurable computing. from FPGAs to hardware/software codesign
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
INDEXED IN: 
Openlibrary
Openlibrary2886
2887
TITLE: REFLECT: Rendering FPGAs to Multi-core Embedded Computing Full Text
AUTHORS: João M P Cardoso; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
AUTHORS: João M P Cardoso; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
2888
TITLE: Reusable roles, a test with patterns
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PAGES: 11:1-11:16
AUTHORS: Fernando Sérgio Barbosa ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PAGES: 11:1-11:16
2889
TITLE: SCHOOOOOLS.COM: A SOCIAL AND COLLABORATIVE LEARNING ENVIRONMENT FOR K-6
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
AUTHORS: Simoes, J; Aguiar, A ;
PUBLISHED: 2011, SOURCE: 3rd International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2441-2450
INDEXED IN: 
WOS
WOS2890
TITLE: Segmentation of ultrasound images of the carotid using RANSAC and cubic splines Full Text
AUTHORS: Rui Rocha ; Aurelio Campilho ; Jorge Silva ; Elsa Azevedo ; Rosa Santos;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 101, ISSUE: 1, PAGES: 94-106
AUTHORS: Rui Rocha ; Aurelio Campilho ; Jorge Silva ; Elsa Azevedo ; Rosa Santos;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, VOLUME: 101, ISSUE: 1, PAGES: 94-106
2891
TITLE: Selected papers from the 17th reconfigurable architectures workshop (RAW2010) Full Text
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
2892
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
2893
TITLE: Semi-Automatic Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
INDEXED IN: 
Scopus WOS
Scopus WOS2894
TITLE: Serious Game for Introductory Programming
AUTHORS: Coelho, A ; Kato, E; Xavier, J; Goncalves, R;
PUBLISHED: 2011, SOURCE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PAGES: 61-71
AUTHORS: Coelho, A ; Kato, E; Xavier, J; Goncalves, R;
PUBLISHED: 2011, SOURCE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PAGES: 61-71
2895
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
2896
TITLE: Simultaneous debugging of software faults Full Text
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
2897
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
2898
TITLE: Social control in a normative framework: An adaptive deterrence approach Full Text
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
2899
TITLE: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem Full Text
AUTHORS: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 98-109
AUTHORS: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 98-109
2900
TITLE: Special Issue on Artificial Transportation Systems and Simulation
AUTHORS: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 309-312
AUTHORS: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 309-312
