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: 8280
531 Team MembersFilters -> Year: 2024
6421
TITLE: VPP's Multi-Level Negotiation in Smart Grids and Competitive Electricity Markets
AUTHORS: Vale, Z ; Pinto, T ; Morais, H; Praca, I ; Faria, P;
PUBLISHED: 2011, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society (PES) in 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Vale, Z ; Pinto, T ; Morais, H; Praca, I ; Faria, P;
PUBLISHED: 2011, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society (PES) in 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
6422
TITLE: Wait-Free Shared-Memory Irradiance Caching Full Text
AUTHORS: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 66-78
AUTHORS: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 66-78
6423
TITLE: WebRun
AUTHORS: Araujo, P; Dias, T; Castanheira, J; Prata, P ; Barroso, J ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Araujo, P; Dias, T; Castanheira, J; Prata, P ; Barroso, J ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: 
Scopus
Scopus6424
TITLE: What is the temporal value of web snippets? PDF
AUTHORS: Campos, R ; Dias, G; Jorge, AM ;
PUBLISHED: 2011, SOURCE: 1st International Temporal Web Analytics Workshop 2011, TWAW 2011 - In Conjunction with the International World Wide Web Conference, WWW 2011 in CEUR Workshop Proceedings, VOLUME: 707, PAGES: 9-16
AUTHORS: Campos, R ; Dias, G; Jorge, AM ;
PUBLISHED: 2011, SOURCE: 1st International Temporal Web Analytics Workshop 2011, TWAW 2011 - In Conjunction with the International World Wide Web Conference, WWW 2011 in CEUR Workshop Proceedings, VOLUME: 707, PAGES: 9-16
INDEXED IN: Scopus 
DBLP
Scopus DBLP6425
TITLE: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4, PAGES: 177-187
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4, PAGES: 177-187
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6426
TITLE: Wireless Secrecy Regions With Friendly Jamming
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 2, PAGES: 256-266
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 2, PAGES: 256-266
6427
TITLE: Worldwide Consensus Full Text
AUTHORS: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 257-269
AUTHORS: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 257-269
6428
TITLE: "Digital Projects": a reflection and bridges to the future
AUTHORS: Regina Teixeira; Joao Varajao; Maximino Bessa ; Emanuel Peres ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 185-191
AUTHORS: Regina Teixeira; Joao Varajao; Maximino Bessa ; Emanuel Peres ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 185-191
INDEXED IN: Scopus 
WOS
Scopus WOS6429
TITLE: A BIASED RANDOM KEY GENETIC ALGORITHM APPROACH FOR UNIT COMMITMENT PROBLEM
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: International Conference on Evolutionary Computation (ICEC 2010) in ICEC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION, PAGES: 332-339
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: International Conference on Evolutionary Computation (ICEC 2010) in ICEC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION, PAGES: 332-339
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6430
TITLE: A Branch and Bound Approach for Truss Topology Design Problems with Valid Inequalities Full Text
AUTHORS: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2177-2180
AUTHORS: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2177-2180
6431
TITLE: A capacity sharing and stealing strategy for open real-time systems Full Text
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, ISSUE: 4-6, PAGES: 163-179
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, ISSUE: 4-6, PAGES: 163-179
6432
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
6433
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
INDEXED IN: DBLP
DBLP6434
TITLE: A contribution to the e-framework: a specification of a programming exercise evaluation service
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle6435
TITLE: A Coordination Model for Interactive Components
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
6436
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
DBLP6437
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
INDEXED IN: Scopus CrossRef
Scopus CrossRef6438
TITLE: A Facade Tracking System for Outdoor Augmented Reality
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
INDEXED IN: Scopus WOS
Scopus WOS6439
TITLE: A Gap Analysis Methodology for the Team Software Process
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
6440
TITLE: A Metamodel-Based Approach for Automatic User Interface Generation
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
