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

531 Team Members
Filters -> Year: 2024
4241
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
4242
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
4243
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
4244
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
4245
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
4246
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
4247
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
4248
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
4249
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
4250
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
4251
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
4252
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
4253
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
4254
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
4255
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
4256
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
4257
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
4258
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
4259
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
4260
TÍTULO: A multi-spot exploration of the topological structures of the reconstructed phase-space for the detection of cardiac murmurs
AUTORES: Jorge Oliveira ; Cristina Oliveira ; Bruna Cardoso; Malik Saad Sultan ; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2015, FONTE: 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2015 37TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2015-November, PÁGINAS: 4194-4197
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

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