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

531 Team Members
Filters -> Year: 2025
3541
TÍTULO: Combining dataflow applications and real-time task sets on multi-core platforms
AUTORES: Ali, HI; Akesson, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, PÁGINAS: 60-63
INDEXADO EM: Scopus CrossRef Handle
3542
TÍTULO: Combining Feature and Algorithm Hyperparameter Selection using some Metalearning Methods PDF
AUTORES: Miguel Cachada ; Salisu Mamman Abdulrahman ; Pavel Brazdil ;
PUBLICAÇÃO: 2017, FONTE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PÁGINAS: 69-83
INDEXADO EM: Scopus DBLP
3543
TÍTULO: Command and Control Systems for Search and Rescue Robots
AUTORES: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
INDEXADO EM: CrossRef: 2
3544
TÍTULO: Communication and Resource Usage Analysis in Online Environments An Integrated Social Network Analysis and Data Mining Perspective
AUTORES: Figueira, A ;
PUBLICAÇÃO: 2017, FONTE: 8th IEEE Global Engineering Education Conference, EDUCON 2017 in PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), PÁGINAS: 1027-1032
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
3545
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
3546
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
3547
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
3548
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
3549
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
3550
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
3551
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
3552
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
3553
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
3554
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
3555
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
3556
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
3557
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
3558
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
3559
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
3560
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

Results per Page: 20.
Página 178 de 424. Total de resultados: 8476.