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: 10702
536 Team MembersFilters -> Year: 2026
7841
TITLE: Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
7842
TITLE: Automatic traceability acquisition framework
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef7843
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
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
DBLP7844
TITLE: Balancing Market Integration in MASCEM Electricity Market Simulator
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
7845
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP 
Handle
DBLP Handle7846
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: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: ICMT@TOOLS, VOLUME: 7307 LNCS, PAGES: 105-120
7847
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Filipe, V ; Fernandes, F; Fernandes, H ; Sousa, A ; Paredes, H; Barroso, J ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
AUTHORS: Filipe, V ; Fernandes, F; Fernandes, H ; Sousa, A ; Paredes, H; Barroso, J ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
7848
TITLE: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
INDEXED IN: DBLP 
arXiv
DBLP arXiv7849
TITLE: Bridging between programming exercises formats with BabeLO
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXED IN: Handle
Handle7850
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: PODC, PAGES: 335-336
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: PODC, PAGES: 335-336
7851
TITLE: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTHORS: Bieniusa, A; Zawirski, M; Preguiça, N ; Shapiro, M; Baquero, C ; Balegas, V; Duarte, S ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-+
AUTHORS: Bieniusa, A; Zawirski, M; Preguiça, N ; Shapiro, M; Baquero, C ; Balegas, V; Duarte, S ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-+
7852
TITLE: BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, E;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PAGES: 983-994
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, E;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PAGES: 983-994
7853
TITLE: BRKGA Adapted to Multiobjective Unit Commitment - Solving Pareto Frontier for UC Multiobjective Problem using BRKGA SPEA2 NPGA and NSGA II Techniques
AUTHORS: Luís A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2012, SOURCE: ICORES, PAGES: 64-72
AUTHORS: Luís A C Roque ; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2012, SOURCE: ICORES, PAGES: 64-72
INDEXED IN: Scopus DBLP
Scopus DBLP7854
TITLE: Building and Exploring Semantic Equivalences Resources
AUTHORS: Carvalho, G; David Martins de Matos ; Rocio, V ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 2038-2042
AUTHORS: Carvalho, G; David Martins de Matos ; Rocio, V ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 2038-2042
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP7855
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
7856
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
Scopus7857
TITLE: Business, social responsibility, and corruption. Business, social responsibility, and corruption Full Text
AUTHORS: Branco, MC ; Delgado, C ;
PUBLISHED: 2012, SOURCE: Journal of Public Affairs, VOLUME: 12, ISSUE: 4, PAGES: 357-365
AUTHORS: Branco, MC ; Delgado, C ;
PUBLISHED: 2012, SOURCE: Journal of Public Affairs, VOLUME: 12, ISSUE: 4, PAGES: 357-365
7858
TITLE: Can GUI Implementation Markup Languages Be Used for Modelling?
AUTHORS: Carlos E Silva; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: HCSE, VOLUME: 7623 LNCS, PAGES: 112-129
AUTHORS: Carlos E Silva; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: HCSE, VOLUME: 7623 LNCS, PAGES: 112-129
7859
TITLE: Caracterização estato-ponderal de crianças e adolescentes numa amostra representativa da população portuguesa
AUTHORS: Bruno Oliveira ; Rui Poínhos; Claúdia Afonso; Bela Franchini; Vitor H Teixeira; Pedro Moreira; Catarina Durão; Olívia Pinho; Diana Silva; J.P.L. Reis; M.T. Veríssimo; Flora Correia; Maria D Almeida;
PUBLISHED: 2012
AUTHORS: Bruno Oliveira ; Rui Poínhos; Claúdia Afonso; Bela Franchini; Vitor H Teixeira; Pedro Moreira; Catarina Durão; Olívia Pinho; Diana Silva; J.P.L. Reis; M.T. Veríssimo; Flora Correia; Maria D Almeida;
PUBLISHED: 2012
INDEXED IN: Handle
Handle7860
TITLE: Challenges of Health Games in the Social Network Environment
AUTHORS: Hugo Paredes ; Anabela Pinho; Nelson Zagalo;
PUBLISHED: 2012, SOURCE: GAMES FOR HEALTH JOURNAL, VOLUME: 1, ISSUE: 2, PAGES: 171-173
AUTHORS: Hugo Paredes ; Anabela Pinho; Nelson Zagalo;
PUBLISHED: 2012, SOURCE: GAMES FOR HEALTH JOURNAL, VOLUME: 1, ISSUE: 2, PAGES: 171-173
INDEXED IN: WOS CrossRef
WOS CrossRef