CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8139
531 Team MembersFilters -> Year: 2024
6401
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
6402
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: 
Scopus 
WOS
Scopus WOS6403
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
6404
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
6405
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
6406
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus 
DBLP
Scopus DBLP6407
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: 
Handle
Handle6408
TITLE: HAND GRIP STRENGTH IN A SAMPLE Of 11 to 14 Years Old Children Full Text
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle6409
TITLE: Handling mobility on a QoS-aware service-based framework for mobile systems
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6410
TITLE: Hybrid Wired/Wireless PROFIBUS Architectures: Performance Study Based on Simulation Models Full Text
AUTHORS: Paulo Baltarejo Sousa ; Luis Lino Ferreira ;
PUBLISHED: 2010, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2010, ISSUE: 1, PAGES: 845792
AUTHORS: Paulo Baltarejo Sousa ; Luis Lino Ferreira ;
PUBLISHED: 2010, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2010, ISSUE: 1, PAGES: 845792
6411
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN: Scopus WOS
Scopus WOS6412
TITLE: Identifying Clones in Functional Programs for Refactoring
AUTHORS: Nuno Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 309-317
AUTHORS: Nuno Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 309-317
6413
TITLE: Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
AUTHORS: Bjoern Andersson; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 54-67
AUTHORS: Bjoern Andersson; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 54-67
6414
TITLE: Improved heuristics for the single machine scheduling problem with linear early and quadratic tardy penalties
AUTHORS: Jorge M S Valente ; Jeffrey E Schaller;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF INDUSTRIAL ENGINEERING, VOLUME: 4, ISSUE: 1, PAGES: 99-129
AUTHORS: Jorge M S Valente ; Jeffrey E Schaller;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF INDUSTRIAL ENGINEERING, VOLUME: 4, ISSUE: 1, PAGES: 99-129
6415
TITLE: Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese
AUTHORS: Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2010, SOURCE: 9th International Conference on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 6001, PAGES: 1-10
AUTHORS: Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2010, SOURCE: 9th International Conference on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 6001, PAGES: 1-10
6416
TITLE: Improving P2P video streaming in wireless mesh networks
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
6417
TITLE: Inductive Transfer
AUTHORS: Paul E Utgoff; James Cussens; Stefan Kramer; Sanjay Jain; Frank Stephan; Luc De Raedt; Ljupčo Todorovski; Pierre Flener; Ute Schmid; Ricardo Vilalta; Christophe Giraud-Carrier; Pavel Brazdil ; Carlos Soares ; Eamonn Keogh; William D Smart; Pieter Abbeel; Andrew Y Ng;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
AUTHORS: Paul E Utgoff; James Cussens; Stefan Kramer; Sanjay Jain; Frank Stephan; Luc De Raedt; Ljupčo Todorovski; Pierre Flener; Ute Schmid; Ricardo Vilalta; Christophe Giraud-Carrier; Pavel Brazdil ; Carlos Soares ; Eamonn Keogh; William D Smart; Pieter Abbeel; Andrew Y Ng;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
6418
TITLE: Information Retrieval on Time-Dependent Collections
AUTHORS: Sérgio Nunes ;
PUBLISHED: 2010
AUTHORS: Sérgio Nunes ;
PUBLISHED: 2010
INDEXED IN: DBLP
DBLP6419
TITLE: Innovational Outliers in INAR(1) Models Full Text
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2010, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 39, ISSUE: 18, PAGES: 3343-3362
AUTHORS: Matyas Barczy; Marton Ispany; Gyula Pap; Manuel Scotto ; Maria Eduarda Silva ;
PUBLISHED: 2010, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 39, ISSUE: 18, PAGES: 3343-3362
6420
TITLE: Integrated care of the elderly and the continuous development and adaptation of information systems
AUTHORS: Queirós, A; Da Rocha, NP; Carvalho, S; Pavão, J ;
PUBLISHED: 2010, SOURCE: 12th IEEE International Conference on e-Health Networking, Application and Services, Healthcom 2010 in 12th IEEE International Conference on e-Health Networking, Application and Services, Healthcom 2010
AUTHORS: Queirós, A; Da Rocha, NP; Carvalho, S; Pavão, J ;
PUBLISHED: 2010, SOURCE: 12th IEEE International Conference on e-Health Networking, Application and Services, Healthcom 2010 in 12th IEEE International Conference on e-Health Networking, Application and Services, Healthcom 2010
