CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 8279

531 Team Members
Filters -> Year: 2024
5041
TÍTULO: Monadic combinators for "Putback" style bidirectional programming
AUTORES: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 39-50
INDEXADO EM: Scopus DBLP CrossRef: 20
5042
TÍTULO: Monitoring Recommender Systems: A Business Intelligence Approach
AUTORES: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, NÚMERO: PART 6, PÁGINAS: 277-288
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5043
TÍTULO: Monitoring the process variability using STATIS
AUTORES: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PÁGINAS: 443-450
INDEXADO EM: Scopus Handle
5044
TÍTULO: Monitoring the shape parameter of a Weibull distribution
AUTORES: Fernanda Figueiredo ; Ivette Gomes; Adelaide Figueiredo ;
PUBLICAÇÃO: 2014, FONTE: 21st International Conference on Computational Statistics, COMPSTAT 2014 in Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PÁGINAS: 395-402
INDEXADO EM: Scopus
5045
TÍTULO: Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets
AUTORES: Fernando Lopes; Hugo Algarvio; Jorge A M Sousa; Helder Coelho; Tiago Pinto ; Gabriel Santos; Zita A Vale; Isabel Praça;
PUBLICAÇÃO: 2014, FONTE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014, Munich, Germany, September 1-5, 2014, PÁGINAS: 131-135
INDEXADO EM: DBLP
5046
TÍTULO: Multi-agent simulation of bilateral contracting in competitive electricity markets  Full Text
AUTORES: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLICAÇÃO: 2014, FONTE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PÁGINAS: 131-135
INDEXADO EM: Scopus CrossRef Handle
5047
TÍTULO: Multi-target c code generation from MATLAB
AUTORES: Bispo, J ; Reis, L ; Cardoso, JMP ;
PUBLICAÇÃO: 2014, FONTE: 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), PÁGINAS: 95-100
INDEXADO EM: Scopus DBLP CrossRef: 5
5048
TÍTULO: Multiagent system architecture for short-term operation of integrated microgrids
AUTORES: Ghazvini, MAF; Abedini, R; Pinto, T ; Vale, Z;
PUBLICAÇÃO: 2014, FONTE: 19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 19, PÁGINAS: 6355-6360
INDEXADO EM: Scopus
5049
TÍTULO: Multicriteria Decision Making: A Case Study in the Automobile Industry
AUTORES: Márcia Oliveira; Dalila Fontes ; Teresa Pereira;
PUBLICAÇÃO: 2014, FONTE: Annals of Management Science, VOLUME: 3, NÚMERO: 1, PÁGINAS: 109-128
INDEXADO EM: CrossRef: 19 Handle
5050
TÍTULO: Multimodal vs. Unimodal Biofeedback in Videogames: An Empirical Player Study using a First-Person Shooter
AUTORES: Gonalo A da Silva; Pedro A Nogueira ; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
INDEXADO EM: Scopus WOS CrossRef: 2
5051
TÍTULO: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTORES: José Paulo Leal ; Teresa Costa ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 201-213
INDEXADO EM: Scopus DBLP
5052
TÍTULO: Negotiation mechanism for self-organized scheduling system with collective intelligence  Full Text
AUTORES: Madureira, A ; Pereira, I ; Pereira, R; Abraham, A;
PUBLICAÇÃO: 2014, FONTE: NEUROCOMPUTING, VOLUME: 132, PÁGINAS: 97-110
INDEXADO EM: Scopus WOS DBLP CrossRef
5053
TÍTULO: Non-preemptive Scheduling of Real-Time Software Transactional Memory
AUTORES: Antonio Barros ; Luís Miguel Pinho;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 25-36
INDEXADO EM: Scopus DBLP CrossRef: 2
5054
TÍTULO: On enhancing disabled students' accessibility in environmental education using ICT: The MusicPaint case
AUTORES: Hadjileontiadou, SJ; Plastra, E; Toumpas, K; Kyprioti, K; Mandiliotis, D; Barroso, J ; Hadjileontiadis, LJ;
PUBLICAÇÃO: 2014, FONTE: 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, NÚMERO: PART 2, PÁGINAS: 325-336
INDEXADO EM: Scopus DBLP CrossRef: 1
5055
TÍTULO: On expressing strategies for directive-driven multicore programing models
AUTORES: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 7-12
INDEXADO EM: Scopus DBLP CrossRef
5056
TÍTULO: On improving operational planning and control in Public Transportation Networks using streaming Data: A Machine Learning Approach
AUTORES: Luís M Matias; João M Moreira ; João Gama; Michel Ferreira;
PUBLICAÇÃO: 2014
INDEXADO EM: Handle
5057
TÍTULO: On predicting a call center's workload: A discretization-based approach
AUTORES: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 548-553
INDEXADO EM: Scopus DBLP CrossRef: 1
5058
TÍTULO: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 168-183
INDEXADO EM: Scopus DBLP CrossRef: 6
5059
TÍTULO: On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks
AUTORES: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2014, FONTE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PÁGINAS: 31-40
INDEXADO EM: Scopus WOS CrossRef
5060
TÍTULO: On the Support of Versioning in Distributed Key-Value Stores  Full Text
AUTORES: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, R ;
PUBLICAÇÃO: 2014, FONTE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PÁGINAS: 95-104
INDEXADO EM: Scopus WOS DBLP CrossRef Handle

Results per Page: 20.
Página 253 de 414. Total de resultados: 8279.