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
5041
TITLE: Monadic combinators for "Putback" style bidirectional programming
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
5042
TITLE: Monitoring Recommender Systems: A Business Intelligence Approach
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
5043
TITLE: Monitoring the process variability using STATIS
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2014, SOURCE: Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 443-450
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2014, SOURCE: Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 443-450
INDEXED IN: 
Scopus 
Handle
Scopus Handle5044
TITLE: Monitoring the shape parameter of a Weibull distribution
AUTHORS: Fernanda Figueiredo ; Ivette Gomes; Adelaide Figueiredo ;
PUBLISHED: 2014, SOURCE: 21st International Conference on Computational Statistics, COMPSTAT 2014 in Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 395-402
AUTHORS: Fernanda Figueiredo ; Ivette Gomes; Adelaide Figueiredo ;
PUBLISHED: 2014, SOURCE: 21st International Conference on Computational Statistics, COMPSTAT 2014 in Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 395-402
INDEXED IN: Scopus
Scopus5045
TITLE: Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets
AUTHORS: Fernando Lopes; Hugo Algarvio; Jorge A M Sousa; Helder Coelho; Tiago Pinto ; Gabriel Santos; Zita A Vale; Isabel Praça;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014, Munich, Germany, September 1-5, 2014, PAGES: 131-135
AUTHORS: Fernando Lopes; Hugo Algarvio; Jorge A M Sousa; Helder Coelho; Tiago Pinto ; Gabriel Santos; Zita A Vale; Isabel Praça;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014, Munich, Germany, September 1-5, 2014, PAGES: 131-135
INDEXED IN: 
DBLP
DBLP5046
TITLE: Multi-agent simulation of bilateral contracting in competitive electricity markets Full Text
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
5047
TITLE: Multi-target c code generation from MATLAB
AUTHORS: Bispo, J ; Reis, L ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2014 - Part of PLDI 2014 in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PAGES: 95-100
AUTHORS: Bispo, J ; Reis, L ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY 2014 - Part of PLDI 2014 in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PAGES: 95-100
5048
TITLE: Multiagent system architecture for short-term operation of integrated microgrids
AUTHORS: Ghazvini, MAF; Abedini, R; Pinto, T ; Vale, Z;
PUBLISHED: 2014, SOURCE: 19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 19, PAGES: 6355-6360
AUTHORS: Ghazvini, MAF; Abedini, R; Pinto, T ; Vale, Z;
PUBLISHED: 2014, SOURCE: 19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 19, PAGES: 6355-6360
INDEXED IN: Scopus
Scopus5049
TITLE: Multicriteria Decision Making: A Case Study in the Automobile Industry
AUTHORS: Márcia Oliveira; Dalila Fontes ; Teresa Pereira;
PUBLISHED: 2014, SOURCE: Annals of Management Science, VOLUME: 3, ISSUE: 1, PAGES: 109-128
AUTHORS: Márcia Oliveira; Dalila Fontes ; Teresa Pereira;
PUBLISHED: 2014, SOURCE: Annals of Management Science, VOLUME: 3, ISSUE: 1, PAGES: 109-128
5050
TITLE: Multimodal vs. Unimodal Biofeedback in Videogames: An Empirical Player Study using a First-Person Shooter
AUTHORS: Gonalo A da Silva; Pedro A Nogueira ; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
AUTHORS: Gonalo A da Silva; Pedro A Nogueira ; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
5051
TITLE: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
INDEXED IN: Scopus DBLP
Scopus DBLP5052
TITLE: Negotiation mechanism for self-organized scheduling system with collective intelligence Full Text
AUTHORS: Madureira, A ; Pereira, I ; Pereira, R; Abraham, A;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 132, PAGES: 97-110
AUTHORS: Madureira, A ; Pereira, I ; Pereira, R; Abraham, A;
PUBLISHED: 2014, SOURCE: NEUROCOMPUTING, VOLUME: 132, PAGES: 97-110
5053
TITLE: Non-preemptive Scheduling of Real-Time Software Transactional Memory
AUTHORS: Antonio Barros ; Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: 27th International Conference on Architecture of Computing Systems, ARCS 2014 in Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings, VOLUME: 8350, PAGES: 25-36
AUTHORS: Antonio Barros ; Luís Miguel Pinho;
PUBLISHED: 2014, SOURCE: 27th International Conference on Architecture of Computing Systems, ARCS 2014 in Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings, VOLUME: 8350, PAGES: 25-36
5054
TITLE: On enhancing disabled students' accessibility in environmental education using ICT: The MusicPaint case
AUTHORS: Hadjileontiadou, SJ; Plastra, E; Toumpas, K; Kyprioti, K; Mandiliotis, D; Barroso, J ; Hadjileontiadis, LJ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8514 LNCS, ISSUE: PART 2, PAGES: 325-336
AUTHORS: Hadjileontiadou, SJ; Plastra, E; Toumpas, K; Kyprioti, K; Mandiliotis, D; Barroso, J ; Hadjileontiadis, LJ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8514 LNCS, ISSUE: PART 2, PAGES: 325-336
5055
TITLE: On expressing strategies for directive-driven multicore programing models
AUTHORS: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2014, SOURCE: 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014 in ACM International Conference Proceeding Series, PAGES: 7-12
AUTHORS: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2014, SOURCE: 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014 in ACM International Conference Proceeding Series, PAGES: 7-12
5056
TITLE: On improving operational planning and control in Public Transportation Networks using streaming Data: A Machine Learning Approach
AUTHORS: Luís M Matias; João M Moreira ; João Gama; Michel Ferreira;
PUBLISHED: 2014
AUTHORS: Luís M Matias; João M Moreira ; João Gama; Michel Ferreira;
PUBLISHED: 2014
INDEXED IN: Handle
Handle5057
TITLE: On predicting a call center's workload: A discretization-based approach
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
5058
TITLE: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
5059
TITLE: On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 31-40
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 31-40
5060
TITLE: On the Support of Versioning in Distributed Key-Value Stores Full Text
AUTHORS: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
AUTHORS: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
