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: 10648
536 Team MembersFilters -> Year: 2026
6741
TITLE: A GUI Modeling DSL for Pattern-Based GUI Testing <i>PARADIGM</i>
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
6742
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic Full Text
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
6743
TITLE: A hybrid biased random key genetic algorithm approach for the unit commitment problem Full Text
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, ISSUE: 1, PAGES: 140-166
6744
TITLE: A Hybrid Framework for Supporting Scheduling in Extended Manufacturing Environments
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 14th International Conference Hybrid Intelligent Systems in 2014 14TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS), PAGES: 213-218
AUTHORS: Santos, AS; Madureira, AM ; Varela, MLR ; Putnik, GD; Abraham, A;
PUBLISHED: 2014, SOURCE: 14th International Conference Hybrid Intelligent Systems in 2014 14TH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS (HIS), PAGES: 213-218
6745
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
6746
TITLE: A hybrid meta-learning architecture for multi-objective optimization of SVM parameters Full Text
AUTHORS: Miranda, PBC; Prudêncio, RBC; de Carvalho, APLF; Soares, C ;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 143, PAGES: 27-43
AUTHORS: Miranda, PBC; Prudêncio, RBC; de Carvalho, APLF; Soares, C ;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 143, PAGES: 27-43
6747
TITLE: A hybrid simulated annealing approach to handle energy resource management considering an intensive use of electric vehicles Full Text
AUTHORS: Tiago Sousa; Zita Vale ; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
AUTHORS: Tiago Sousa; Zita Vale ; Joao Paulo Carvalho ; Tiago Pinto ; Hugo Morais;
PUBLISHED: 2014, SOURCE: ENERGY, VOLUME: 67, PAGES: 81-96
6748
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
6749
TITLE: A method for defining human-machine micro-task workflows for gathering legal information
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
AUTHORS: Luz, N; Silva, N ; Paulo Novais ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8929, PAGES: 275-289
6750
TITLE: A model for analyzing estimation, productivity, and quality performance in the personal software process
AUTHORS: Mushtaq Raza ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: ICSSP, PAGES: 10-19
AUTHORS: Mushtaq Raza ; João Pascoal Faria ;
PUBLISHED: 2014, SOURCE: ICSSP, PAGES: 10-19
6751
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Silva, JMC ; Carvalho, P ; Lima, SR;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
AUTHORS: Silva, JMC ; Carvalho, P ; Lima, SR;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
6752
TITLE: A NETWORKED E-CONSUMER PROFILE: THE VALUE OF E-EXPERIENCE AND SOCIAL MEDIA PEER COMMUNICATION
AUTHORS: Ana Isabel Torres ; Francisco Vitorino Martins ;
PUBLISHED: 2014, SOURCE: Int Conf on ICT, Soc and Human Beings / Int Conf on Web Based Communities and Social Media / Int Conf on e-Commerce / Int Conf on Informat Syst Post-Implementat and Change Management / Int Conf on e-Health in PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON ICT, SOCIETY AND HUMAN BEINGS 2014, WEB BASED COMMUNITIES AND SOCIAL MEDIA 2014, E-COMMERCE 2014, INFORMATION SYSTEMS POST-IMPLEMENTATION AND CHANGE MANAGEMENT 2014 AND E-HEALTH 2014, PAGES: 152-159
AUTHORS: Ana Isabel Torres ; Francisco Vitorino Martins ;
PUBLISHED: 2014, SOURCE: Int Conf on ICT, Soc and Human Beings / Int Conf on Web Based Communities and Social Media / Int Conf on e-Commerce / Int Conf on Informat Syst Post-Implementat and Change Management / Int Conf on e-Health in PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON ICT, SOCIETY AND HUMAN BEINGS 2014, WEB BASED COMMUNITIES AND SOCIAL MEDIA 2014, E-COMMERCE 2014, INFORMATION SYSTEMS POST-IMPLEMENTATION AND CHANGE MANAGEMENT 2014 AND E-HEALTH 2014, PAGES: 152-159
INDEXED IN: 
Scopus 
WOS
Scopus WOS6753
TITLE: A panoramic view on metadata application profiles of the last decade
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2014, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 9, ISSUE: 1, PAGES: 58-73
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2014, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 9, ISSUE: 1, PAGES: 58-73
6754
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: Scopus
Scopus6755
TITLE: A peer-to-peer service architecture for the Smart Grid
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
6756
TITLE: A physics simulation tool for the container loading problem
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
AUTHORS: Ramos, AG ; Jacob, J ; Justo, J ; Oliveira, JF ; Rodrigues, R ; Gomes, AM ;
PUBLISHED: 2014, SOURCE: 26th European Modeling and Simulation Symposium, EMSS 2014 in 26th European Modeling and Simulation Symposium, EMSS 2014, PAGES: 212-219
INDEXED IN: Scopus
Scopus6757
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus6758
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
6759
TITLE: A relational approach to bidirectional transformation. Uma abordagem relacional à transformação bidirecional
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: 
DBLP 
Handle
DBLP Handle6760
TITLE: A Review on the Portuguese Enterprises Web Accessibility Levels - A website accessibility high level improvement proposal
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ;
PUBLISHED: 2014, SOURCE: 5th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion in 5TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, DSAI 2013, VOLUME: 27, PAGES: 176-185
