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: 8279
531 Team MembersFilters -> Year: 2024
6361
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
6362
TITLE: SIDE - System information to support teaching
AUTHORS: Luis Filipe Barbosa ; Paulo Alves; Joao Barroso ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 360-365
AUTHORS: Luis Filipe Barbosa ; Paulo Alves; Joao Barroso ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 360-365
INDEXED IN: 
WOS
WOS6363
TITLE: SIDE - Teaching support information system
AUTHORS: Barbosa, LF ; Alves, 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: Barbosa, LF ; Alves, 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
Scopus6364
TITLE: Singing Voice Analysis Using Relative Harmonic Delays
AUTHORS: Ricardo Sousa ; Anibal Ferreira ;
PUBLISHED: 2011, SOURCE: 12th Annual Conference of the International-Speech-Communication-Association 2011 (INTERSPEECH 2011) in 12TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2011 (INTERSPEECH 2011), VOLS 1-5, PAGES: 2008-2011
AUTHORS: Ricardo Sousa ; Anibal Ferreira ;
PUBLISHED: 2011, SOURCE: 12th Annual Conference of the International-Speech-Communication-Association 2011 (INTERSPEECH 2011) in 12TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2011 (INTERSPEECH 2011), VOLS 1-5, PAGES: 2008-2011
INDEXED IN: Scopus WOS
Scopus WOS6365
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv6366
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
6367
TITLE: sMapReduce. a programming pattern forwireless sensor networks
AUTHORS: Vikram Gupta; Eduardo Tovar ; Luis Miguel Pinho ; Junsung Kim; Karthik Lakshmanan; Ragunathan(Raj) Rajkumar;
PUBLISHED: 2011, SOURCE: Proceeding of the 2nd workshop on Software engineering for sensor network applications - SESENA '11
AUTHORS: Vikram Gupta; Eduardo Tovar ; Luis Miguel Pinho ; Junsung Kim; Karthik Lakshmanan; Ragunathan(Raj) Rajkumar;
PUBLISHED: 2011, SOURCE: Proceeding of the 2nd workshop on Software engineering for sensor network applications - SESENA '11
INDEXED IN: 
CrossRef
CrossRef6368
TITLE: sMapReduce: A programming pattern forwireless sensor networks
AUTHORS: Gupta, V; Tovar, E ; Pinho, LM ; Kim, J; Lakshmanan, K; Rajkumar, R;
PUBLISHED: 2011, SOURCE: 2nd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, in Conjunction with the International Conference on Software Engineering, ICSE 2011 in Proceedings - International Conference on Software Engineering, PAGES: 37-42
AUTHORS: Gupta, V; Tovar, E ; Pinho, LM ; Kim, J; Lakshmanan, K; Rajkumar, R;
PUBLISHED: 2011, SOURCE: 2nd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, in Conjunction with the International Conference on Software Engineering, ICSE 2011 in Proceedings - International Conference on Software Engineering, PAGES: 37-42
INDEXED IN: Scopus DBLP
Scopus DBLP6369
TITLE: Software transactional memory as a building block for parallel embedded real-time systems
AUTHORS: Barros, A ; Pinho, LM ;
PUBLISHED: 2011, SOURCE: Joint Conference of 14th EUROMICRO Digital Systems Design Conference (DSD) / 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) in 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), PAGES: 251-255
AUTHORS: Barros, A ; Pinho, LM ;
PUBLISHED: 2011, SOURCE: Joint Conference of 14th EUROMICRO Digital Systems Design Conference (DSD) / 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) in 2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), PAGES: 251-255
6370
TITLE: Soil-gas radon monitoring in an active granite quarry from central Portugal Full Text
AUTHORS: Pereira, AJSC ; Barbosa, SM ; Neves, LJPF ; Aumento, F;
PUBLISHED: 2011, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, ISSUE: 7, PAGES: 1845-1849
AUTHORS: Pereira, AJSC ; Barbosa, SM ; Neves, LJPF ; Aumento, F;
PUBLISHED: 2011, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, ISSUE: 7, PAGES: 1845-1849
6371
TITLE: Special Section on Cultural Heritage Full Text
AUTHORS: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLISHED: 2011, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, ISSUE: 4
AUTHORS: Alan Chalmers; Mark Mudge; Luis Paulo Santos ;
PUBLISHED: 2011, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 35, ISSUE: 4
6372
TITLE: Special track on data streams. editorial message Full Text
AUTHORS: Gama, J ; Carvalho, A; Krishnaswamy, S; Rodrigues, PP ;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 987
AUTHORS: Gama, J ; Carvalho, A; Krishnaswamy, S; Rodrigues, PP ;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 987
INDEXED IN: Scopus CrossRef
Scopus CrossRef6373
TITLE: Special track on dependable and adaptive distributed systems
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 195-196
AUTHORS: Goeschka, KM; Hallsteinsen, SO; Oliveira, R ; Romanovsky, A; Froihofer, L;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 195-196
INDEXED IN: Scopus
Scopus6374
TITLE: Speeding up hoeffding-based regression trees with options
AUTHORS: Ikonomovska, E; Gama, J ; Zenko, B; Dzeroski, S;
PUBLISHED: 2011, SOURCE: 28th International Conference on Machine Learning, ICML 2011 in Proceedings of the 28th International Conference on Machine Learning, ICML 2011, PAGES: 537-544
AUTHORS: Ikonomovska, E; Gama, J ; Zenko, B; Dzeroski, S;
PUBLISHED: 2011, SOURCE: 28th International Conference on Machine Learning, ICML 2011 in Proceedings of the 28th International Conference on Machine Learning, ICML 2011, PAGES: 537-544
INDEXED IN: Scopus DBLP
Scopus DBLP6375
TITLE: Strategic bidding methodology for electricity markets using adaptive learning
AUTHORS: Pinto, T ; Vale, Z ; Rodrigues, F ; Morais, H; Praca, I ;
PUBLISHED: 2011, SOURCE: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6704 LNAI, ISSUE: PART 2, PAGES: 490-500
AUTHORS: Pinto, T ; Vale, Z ; Rodrigues, F ; Morais, H; Praca, I ;
PUBLISHED: 2011, SOURCE: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6704 LNAI, ISSUE: PART 2, PAGES: 490-500
6376
TITLE: Strategic Bidding Methodology for Electricity Markets Using Adaptive Learning
AUTHORS: Tiago Pinto ; Zita A Vale; Fátima Rodrigues; Hugo Morais; Isabel Praça;
PUBLISHED: 2011, SOURCE: Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II, VOLUME: 6704, PAGES: 490-500
AUTHORS: Tiago Pinto ; Zita A Vale; Fátima Rodrigues; Hugo Morais; Isabel Praça;
PUBLISHED: 2011, SOURCE: Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II, VOLUME: 6704, PAGES: 490-500
INDEXED IN: DBLP
DBLP6377
TITLE: Strictification of circular programs
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PAGES: 131-140
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PAGES: 131-140
6378
TITLE: Suitability of e-business maturity models for digital economy
AUTHORS: Morais, EP ; Pires, JA; Goncalves, R ;
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: Morais, EP ; Pires, JA; Goncalves, R ;
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
Scopus6379
TITLE: Summarising changes in air temperature over Central Europe by quantile regression and clustering Full Text
AUTHORS: Barbosa, SM ; Scotto, MG ; Alonso, AM;
PUBLISHED: 2011, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, ISSUE: 12, PAGES: 3227-3233
AUTHORS: Barbosa, SM ; Scotto, MG ; Alonso, AM;
PUBLISHED: 2011, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 11, ISSUE: 12, PAGES: 3227-3233
6380
TITLE: Supporting requirements formulation in software formal verification
AUTHORS: Campos, J. Creissac ; José M Machado;
PUBLISHED: 2011
AUTHORS: Campos, J. Creissac ; José M Machado;
PUBLISHED: 2011
INDEXED IN: 
Handle
Handle