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

535 Team Members
Filters -> Year: 2026
4841
TÍTULO: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1806.00441
INDEXADO EM: DBLP arXiv
4842
TÍTULO: Table space designs for implicit and explicit concurrent tabled evaluation
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2018, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, NÚMERO: 5-6, PÁGINAS: 950-992
INDEXADO EM: Scopus WOS DBLP CrossRef
4843
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
4844
TÍTULO: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTORES: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLICAÇÃO: 2018, FONTE: ICLP (Technical Communications), VOLUME: 58
INDEXADO EM: DBLP
4845
TÍTULO: Technologies Applied to Remote Supervision of Exercise in Peripheral Arterial Disease: A Literature Review
AUTORES: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLICAÇÃO: 2018, FONTE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PÁGINAS: 320-329
INDEXADO EM: Scopus WOS DBLP CrossRef
4846
TÍTULO: Technology usage as a way to increase safety and security in different geographies
AUTORES: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PÁGINAS: 1-7
INDEXADO EM: Scopus WOS CrossRef: 1
4847
TÍTULO: Tele-media-art - Web-based Inclusive Teaching of Body Expression
AUTORES: Elizabeth Simão Carvalho ; Aderito Fernandes Marcos ;
PUBLICAÇÃO: 2018, FONTE: 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018 in 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018, Olhao, Portugal, April 26-28, 2018, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
4848
TÍTULO: Telepresence Robots in the Classroom: The State-of-the-Art and a Proposal for a Telepresence Service for Higher Education
AUTORES: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Technology and Innovation in Learning, Teaching and Education - First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers, VOLUME: 993, PÁGINAS: 539-550
INDEXADO EM: Scopus DBLP CrossRef: 14
4849
TÍTULO: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTORES: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PÁGINAS: 5199-5203
INDEXADO EM: DBLP
4850
TÍTULO: TensorCast: Forecasting time-evolving networks with contextual information
AUTORES: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PÁGINAS: 5199-5203
INDEXADO EM: Scopus CrossRef: 5
4851
TÍTULO: Test Patterns for IoT
AUTORES: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PÁGINAS: 63-66
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
4852
TÍTULO: Testbed Implementation and Evaluation of Interleaved and Scrambled Coding for Physical-Layer Security
AUTORES: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLICAÇÃO: 2018, FONTE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in 2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2018-June, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef: 9
4853
TÍTULO: The Arrowhead Framework applied to Energy Management
AUTORES: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLICAÇÃO: 2018, FONTE: 14th IEEE International Workshop on Factory Communication Systems (WFCS) in 2018 14TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2018), PÁGINAS: 1-10
INDEXADO EM: WOS DBLP
4854
TÍTULO: The Arrowhead Framework applied to energy management
AUTORES: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLICAÇÃO: 2018, FONTE: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2018-June, PÁGINAS: 1-10
INDEXADO EM: Scopus CrossRef: 3 Handle
4855
TÍTULO: The Design for All Paradigm in the Development of Applications to Support Older Adults: A Review. A Review
AUTORES: BASTARDO, Rute ; Pavao, J ; Ana Isabel Martins ; Queiros, A; Rocha, NP ;
PUBLICAÇÃO: 2018, FONTE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PÁGINAS: 337-343
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4856
TÍTULO: The development of an automatic tool to improve perforators detection in Angio CT in DIEAP flap breast reconstruction  Full Text
AUTORES: Mavioso, C; Correia Anacleto, JC; Vasconcelos, MA ; Araujo, R ; Oliveira, H ; Pinto, D; Gouveia, P; Alves, C; Cardoso, F; Cardoso, J ; Cardoso, MJ;
PUBLICAÇÃO: 2018, FONTE: 11th European Breast Cancer Conference (EBCC) in EUROPEAN JOURNAL OF CANCER, VOLUME: 92
INDEXADO EM: WOS CrossRef: 1
4857
TÍTULO: The effect of temporal aggregation on the estimation accuracy of ARMA models  Full Text
AUTORES: Paulo Teles ; Paulo S A Sousa ;
PUBLICAÇÃO: 2018, FONTE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 47, NÚMERO: 10, PÁGINAS: 2865-2885
INDEXADO EM: WOS CrossRef: 4
4858
TÍTULO: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments  Full Text
AUTORES: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PÁGINAS: 35-41
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
4859
TÍTULO: The effects of death and post-mortem cold ischemia on human tissue transcriptomes
AUTORES: Pedro G Ferreira ; Manuel Munoz Aguirre; Ferran Reverter; Caio P S Sa Godinho; Abel Sousa; Alicia Amadoz; Reza Sodaei; Marta R Hidalgo; Dmitri Pervouchine; Jose Carbonell Caballero; Ramil Nurtdinov; Alessandra Breschi; Raziel Amador; Patricia Oliveira; Cankut Cubuk; Joao Curado; Francois Aguet; Carla Oliveira; Joaquin Dopazo; Michael Sammeth; Kristin G Ardlie; Roderic Guigo; ...Mais
PUBLICAÇÃO: 2018, FONTE: NATURE COMMUNICATIONS, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 261
4860
TÍTULO: The electrum analyzer: model checking relational first-order temporal specifications
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 884-887
INDEXADO EM: Scopus DBLP CrossRef: 20

Results per Page: 20.
Página 243 de 533. Total de resultados: 10654.