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

531 Team Members
Filters -> Year: 2024
3321
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PÁGINAS: 407-421
INDEXADO EM: Scopus DBLP
3322
TÍTULO: CERTIFIED ROOMS FOR ELEARNING STUDENTS EVALUATION
AUTORES: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLICAÇÃO: 2017, FONTE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 9566-9571
INDEXADO EM: WOS CrossRef: 1
3323
TÍTULO: Classification algorithms for body posture
AUTORES: Silva, S; Queirós, S; Moreira, AH; Oliveira, E; Rodrigues, NF ; Vilaça, JL;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE 5TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
INDEXADO EM: Scopus WOS CrossRef: 1
3324
TÍTULO: Classifying Heart Sounds Using Images of MFCC and Temporal Features
AUTORES: Diogo Marcelo Nogueira ; Carlos Abreu Ferreira ; Alipio M Jorge ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 186-203
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
3325
TÍTULO: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTORES: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
INDEXADO EM: Scopus WOS CrossRef: 1
3326
TÍTULO: Clustering Directions Based on the Estimation of a Mixture of Von Mises-Fisher Distributions
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2017, FONTE: The Open Statistics & Probability Journal, VOLUME: 08, NÚMERO: 1, PÁGINAS: 39-52
INDEXADO EM: CrossRef: 3
3327
TÍTULO: Clustering from Data Streams
AUTORES: João Gama ;
PUBLICAÇÃO: 2017, FONTE: Encyclopedia of Machine Learning and Data Mining, PÁGINAS: 226-231
INDEXADO EM: DBLP CrossRef: 1
3328
TÍTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
INDEXADO EM: Scopus WOS DBLP CrossRef
3329
TÍTULO: Co-expression networks reveal the tissue-specific regulation of transcription and splicing
AUTORES: Ashis Saha; Yungil Kim; Ariel D H Gewirtz; Brian Jo; Chuan Gao; Ian C McDowell; Barbara E Engelhardt; Alexis Battle; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; Ayellet V Segrè; Casandra A Trowbridge; Taru Tukiainen; Nathan S Abell; Brunilda Balliu; Ruth Barshir; Omer Basha; Alexis Battle; Gireesh K Bogu; Andrew Brown; Christopher D Brown; Stephane E Castel; Lin S Chen; Colby Chiang; Donald F Conrad; Nancy J Cox; Farhan N Damani; Joe R Davis; Olivier Delaneau; Emmanouil T Dermitzakis; Barbara E Engelhardt; Eleazar Eskin; Pedro G Ferreira ; Laure Frésard; Eric R Gamazon; Diego Garrido Martín; Genna Gliner; Michael J Gloudemans; Roderic Guigo; Ira M Hall; Buhm Han; Yuan He; Farhad Hormozdiari; Cedric Howald; Hae Kyung Im; Eun Yong Kang; Sarah Kim Hellmuth; Tuuli Lappalainen; Gen Li; Xin Li; Boxiang Liu; Serghei Mangul; Mark I McCarthy; Pejman Mohammadi; Jean Monlong; Stephen B Montgomery; Manuel Muñoz Aguirre; Anne W Ndungu; Dan L Nicolae; Andrew B Nobel; Meritxell Oliva; Halit Ongen; John J Palowitch; Nikolaos Panousis; Panagiotis Papasaikas; Yo Son Park; Princy Parsana; Anthony J Payne; Christine B Peterson; Jie Quan; Ferran Reverter; Chiara Sabatti; Michael Sammeth; Alexandra J Scott; Andrey A Shabalin; Reza Sodaei; Matthew Stephens; Barbara E Stranger; Benjamin J Strober; Jae Hoon Sul; Emily K Tsang; Sarah Urbut; Martijn van de Bunt; Gao Wang; Xiaoquan Wen; Fred A Wright; ...Mais
PUBLICAÇÃO: 2017, FONTE: Genome Research, VOLUME: 27, NÚMERO: 11, PÁGINAS: 1843-1858
INDEXADO EM: Scopus
3330
TÍTULO: Co-training Semi-supervised Learning for Single-Target Regression in Data Streams Using AMRules
AUTORES: Ricardo Sousa ; João Gama ;
PUBLICAÇÃO: 2017, FONTE: 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017 in Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, VOLUME: 10352, PÁGINAS: 499-508
INDEXADO EM: Scopus DBLP CrossRef: 2
3331
TÍTULO: Collection of State Information in Live Digital Forensics
AUTORES: Freitas, F; Pinto, A ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef
3332
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
3333
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
3334
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
3335
TÍTULO: Communication and resource usage analysis in online environments: An integrated social network analysis and data mining perspective
AUTORES: Álvaro Figueira ;
PUBLICAÇÃO: 2017, FONTE: 8th IEEE Global Engineering Education Conference, EDUCON 2017 in 2017 IEEE Global Engineering Education Conference, EDUCON 2017, Athens, Greece, April 25-28, 2017, PÁGINAS: 1027-1032
INDEXADO EM: Scopus DBLP CrossRef: 3
3336
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
3337
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
3338
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
3339
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
3340
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Carlos Baquero ; Paulo Sergio Almeida ; Alcino Cunha ; Carla Ferreira ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP

Results per Page: 20.
Página 167 de 408. Total de resultados: 8154.