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: 8185

531 Team Members
Filters -> Year: 2024
4241
TÍTULO: A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance PDF
AUTORES: Pedro Strecht ; Luis Cruz; Carlos Soares ; João Mendes Moreira ; Rui Abreu ;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015, PÁGINAS: 392-395
INDEXADO EM: DBLP
4242
TÍTULO: A Consumption-Investment Problem with a Diminishing Basket of Goods
AUTORES: Abdelrahim S Mousa; Diogo Pinheiro; Alberto A Pinto ;
PUBLICAÇÃO: 2015, FONTE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PÁGINAS: 295-310
INDEXADO EM: WOS CrossRef: 1
4243
TÍTULO: A DCAP for the social and solidarity economy
AUTORES: Malta, MC ; Baptista, AA; Parente, C ;
PUBLICAÇÃO: 2015, FONTE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, NÚMERO: 1939-­‐1366, PÁGINAS: 20-29
INDEXADO EM: Scopus Handle
4244
TÍTULO: A DCAP for the social and solidarity economy
AUTORES: Mariana C Malta ; Ana A Baptista; Cristina Parente;
PUBLICAÇÃO: 2015
INDEXADO EM: Handle
4245
TÍTULO: A Decision Support Platform for IT Infrastructure Management The University of Tras-os-Montes e Alto Douro Services of Information and Communications Case Study
AUTORES: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLICAÇÃO: 2015, FONTE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXADO EM: Scopus WOS CrossRef: 2
4246
TÍTULO: A Dynamic Logic for Every Season
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PÁGINAS: 130-145
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
4247
TÍTULO: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTORES: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PÁGINAS: 293-300
INDEXADO EM: Scopus WOS CrossRef
4248
TÍTULO: A framework for analysing dynamic communities in large-scale social networks
AUTORES: Cerqueira, V ; Oliveira, M ; Gama, J ;
PUBLICAÇÃO: 2015, FONTE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PÁGINAS: 235-242
INDEXADO EM: Scopus DBLP CrossRef
4249
TÍTULO: A framework for efficient execution of data parallel irregular applications on heterogeneous systems
AUTORES: Roberto Ribeiro; Joaõ Barbosa ; Luís Paulo Santos;
PUBLICAÇÃO: 2015, FONTE: Parallel Processing Letters, VOLUME: 25, NÚMERO: 2, PÁGINAS: 1550004
INDEXADO EM: Scopus CrossRef: 2
4250
TÍTULO: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTORES: Sandra Alves ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PÁGINAS: 89-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
4251
TÍTULO: A Framework for the Secure Storage of Data Generated in the IoT
AUTORES: Ricardo Costa ; António Pinto ;
PUBLICAÇÃO: 2015, FONTE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PÁGINAS: 175-182
INDEXADO EM: Scopus DBLP CrossRef: 4
4252
TÍTULO: A Genetic Algorithm for Scheduling Alternative Tasks Subject to Technical Failure
AUTORES: Fontes, DBMM ; Goncalves, JF ;
PUBLICAÇÃO: 2015, FONTE: conference on Optimization Control and Applications in the Information Age in OPTIMIZATION, CONTROL, AND APPLICATIONS IN THE INFORMATION AGE: IN HONOR OF PANOS M. PARDALOS'S 60TH BIRTHDAY, VOLUME: 130, PÁGINAS: 139-152
INDEXADO EM: Scopus WOS CrossRef: 1 Handle
4253
TÍTULO: A linear algebra approach to OLAP  Full Text
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2, PÁGINAS: 283-307
INDEXADO EM: Scopus WOS CrossRef: 14
4254
TÍTULO: A logic for n-dimensional hierarchical refinement  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, NÚMERO: 209, PÁGINAS: 40-56
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4255
TÍTULO: A Logic for Robotics?  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef: 1
4256
TÍTULO: A microscope for the data centre
AUTORES: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M; Filipe de Faria Pacheco ; Tovar, E ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, NÚMERO: 3-4, PÁGINAS: 193-203
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
4257
TÍTULO: A Modular Sampling Framework for Flexible Traffic Analysis
AUTORES: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2015, FONTE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 200-204
INDEXADO EM: Scopus WOS CrossRef: 2
4258
TÍTULO: A modular sampling framework for flexible traffic analysis
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2015, FONTE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PÁGINAS: 200-204
INDEXADO EM: DBLP
4259
TÍTULO: A MULTI-AGENT BROKERAGE PLATFORM FOR MEDIA CONTENT RECOMMENDATION
AUTORES: Veloso, B ; Malheiro, B ; Burguillo, JC;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 3, PÁGINAS: 513-527
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
4260
TÍTULO: A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution
AUTORES: Jose Carlos Fonseca; Vincent Nelis; Gurulingesh Raravi; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PÁGINAS: 1925-1932
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 213 de 410. Total de resultados: 8185.