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: 8104
531 Team MembersFilters -> Year: 2024
5561
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 arXiv5562
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
5563
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP 
Handle
DBLP Handle5564
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
5565
TITLE: Bigraphical modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
5566
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
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: Vitor Filipe ; Filipe Fernandes; Hugo Fernandes ; Antonio Sousa ; Hugo Paredes; Joao Barroso ;
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
5567
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 arXiv5568
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
Handle5569
TITLE: Brief announcement. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno Preguiça; Carlos Bauqero; Paulo Sérgio Almeida; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
AUTHORS: Nuno Preguiça; Carlos Bauqero; Paulo Sérgio Almeida; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
5570
TITLE: Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors Full Text
AUTHORS: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 335-336
AUTHORS: Preguica, N ; Bauqero, C ; Almeida, PS ; Fonte, V ; Goncalves, R;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PAGES: 335-336
INDEXED IN: 
Scopus DBLP
Scopus DBLP5571
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
5572
TITLE: BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination
AUTHORS: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
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: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
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
5573
TITLE: BRKGA adapted to multiobjective unit commitment: Solving Pareto Frontier for UC Multiobjective Problem using BRKGA SPEA2 NPGA and NSGA II Techniques
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Operations Research and Enterprise Systems, ICORES 2012 in ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems, PAGES: 64-72
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Operations Research and Enterprise Systems, ICORES 2012 in ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems, PAGES: 64-72
INDEXED IN: Scopus DBLP
Scopus DBLP5574
TITLE: Building and Exploring Semantic Equivalences Resources
AUTHORS: Gracinda Carvalho; David Martins de Matos ; Vitor Rocio ;
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: Gracinda Carvalho; David Martins de Matos ; Vitor Rocio ;
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 DBLP5575
TITLE: Bus bunching detection by mining sequences of headway deviations
AUTHORS: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PAGES: 77-91
AUTHORS: Moreira Matias, L ; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PAGES: 77-91
5576
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
Scopus5577
TITLE: Can GUI implementation markup languages be used for modelling?
AUTHORS: Silva, CE; Campos, JC ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Human-Centered Software Engineering, HCSE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7623 LNCS, PAGES: 112-129
AUTHORS: Silva, CE; Campos, JC ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Human-Centered Software Engineering, HCSE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7623 LNCS, PAGES: 112-129
5578
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 CrossRef5579
TITLE: Characterization, comparison and systematization of context ontologies
AUTHORS: Martins, H; Silva, N ;
PUBLISHED: 2012, SOURCE: 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012 in Proceedings - 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012, PAGES: 983-988
AUTHORS: Martins, H; Silva, N ;
PUBLISHED: 2012, SOURCE: 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012 in Proceedings - 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012, PAGES: 983-988
INDEXED IN: Scopus CrossRef
Scopus CrossRef5580
TITLE: Clima motivacional induzido pelos pais de jovens praticantes de Futebol: efeitos da posição ocupada no campo, do ano escolar, do número de reprovações escolares e do tempo e frequência de prática - Portuguese
AUTHORS: Rute Carvalho; Carla M Teixeira; José Vasconcelos-Raposo ;
PUBLISHED: 2012, SOURCE: Revista Portuguesa de Ciências do Desporto - RPCD, VOLUME: 12, ISSUE: 3, PAGES: 110-127
AUTHORS: Rute Carvalho; Carla M Teixeira; José Vasconcelos-Raposo ;
PUBLISHED: 2012, SOURCE: Revista Portuguesa de Ciências do Desporto - RPCD, VOLUME: 12, ISSUE: 3, PAGES: 110-127
INDEXED IN: CrossRef
CrossRef