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

531 Team Members
Filters -> Year: 2025
3581
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 2:1-2:3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3582
TÍTULO: Comparison Between Co-training and Self-training for Single-target Regression in Data Streams using AMRules PDF
AUTORES: Ricardo Sousa ; João Gama ;
PUBLICAÇÃO: 2017, FONTE: 2017 Workshop on IoT Large Scale Learning from Data Streams, IOTSTREAMING 2017 in Proceedings of the Workshop on IoT Large Scale Learning from Data Streams co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017), Skopje, Macedonia, September 18-22, 2017., VOLUME: 1958
INDEXADO EM: Scopus DBLP
3583
TÍTULO: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
INDEXADO EM: Scopus DBLP CrossRef
3584
TÍTULO: Composing Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PÁGINAS: 51-66
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3585
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP
3586
TÍTULO: Computational Models for Social and Technical Interactions  Full Text
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
INDEXADO EM: Scopus WOS DBLP CrossRef
3587
TÍTULO: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTORES: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, NÚMERO: 2, PÁGINAS: 140-148
INDEXADO EM: WOS
3588
TÍTULO: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PÁGINAS: 459-466
INDEXADO EM: Scopus DBLP CrossRef: 2
3589
TÍTULO: Context analysis in energy resource management residential buildings
AUTORES: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
INDEXADO EM: Scopus CrossRef
3590
TÍTULO: Context-aware HDR video distribution for mobile devices  Full Text
AUTORES: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLICAÇÃO: 2017, FONTE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, NÚMERO: 15, PÁGINAS: 16605-16623
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
3591
TÍTULO: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTORES: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLICAÇÃO: 2017, FONTE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PÁGINAS: 178-185
INDEXADO EM: Scopus WOS DBLP CrossRef
3592
TÍTULO: Contract based verification of IEC 61499  Full Text
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PÁGINAS: 132-141
INDEXADO EM: Scopus CrossRef: 2 Handle
3593
TÍTULO: Controlling the design and development cycle
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
INDEXADO EM: CrossRef
3594
TÍTULO: Correlates of adults' participation in sport and frequency of sport  Full Text
AUTORES: Oliveira Brochado, A; Brito, PQ ; Oliveira Brochado, F;
PUBLICAÇÃO: 2017, FONTE: SCIENCE & SPORTS, VOLUME: 32, NÚMERO: 6, PÁGINAS: 355-363
INDEXADO EM: Scopus WOS CrossRef: 13
3595
TÍTULO: COUPLED HIDDEN MARKOV MODEL FOR AUTOMATIC ECG AND PCG SEGMENTATION
AUTORES: Oliveira, J ; Sousa, C; Coimbra, MT ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PÁGINAS: 1023-1027
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
3596
TÍTULO: Credit Scoring in Microfinance Using Non-traditional Data
AUTORES: Saulo Ruiz; Pedro Gomes; Luis Rodrigues; Joao Gama ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 447-458
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
3597
TÍTULO: Creepy Tracker Toolkit for Context-aware Interfaces
AUTORES: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLICAÇÃO: 2017, FONTE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PÁGINAS: 191-200
INDEXADO EM: Scopus DBLP CrossRef: 14
3598
TÍTULO: Data mining techniques for the grouping of certified wines from the sub-regions of the demarcated region of Vinho Verde [Técnicas de data mining para agrupamento dos vinhos certificados das sub-regiões da região demarcada dos Vinhos Verdes]
AUTORES: Souza Roza, R; Brazdil, P ; Reis, JL ; Cerdeira, A; Martins, P; Felgueiras, O ;
PUBLICAÇÃO: 2017, FONTE: Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao, VOLUME: 17, PÁGINAS: 334-344
INDEXADO EM: Scopus CrossRef
3599
TÍTULO: Data-Mining-based filtering to support Solar Forecasting Methodologies
AUTORES: Pinto, T ; Marques, L; Sousa, TM; Praca, I; Vale, Z; Abreu, SL;
PUBLICAÇÃO: 2017, FONTE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 6, NÚMERO: 3, PÁGINAS: 85-102
INDEXADO EM: WOS CrossRef: 3
3600
TÍTULO: Database replication for enterprise applications
AUTORES: Ana L P N Alonso ;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle

Results per Page: 20.
Página 180 de 429. Total de resultados: 8563.