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

531 Team Members
Filters -> Year: 2024
3121
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
INDEXED IN: Scopus WOS DBLP CrossRef
3122
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
INDEXED IN: Scopus WOS DBLP CrossRef: 9
3123
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: DBLP
3124
TITLE: Technologies Applied to Remote Supervision of Exercise in Peripheral Arterial Disease: A Literature Review
AUTHORS: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLISHED: 2018, SOURCE: 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, PAGES: 320-329
INDEXED IN: Scopus WOS DBLP CrossRef
3125
TITLE: Technology usage as a way to increase safety and security in different geographies
AUTHORS: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
INDEXED IN: Scopus WOS CrossRef: 1
3126
TITLE: Telepresence Robots in the Classroom: The State-of-the-Art and a Proposal for a Telepresence Service for Higher Education
AUTHORS: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLISHED: 2018, SOURCE: 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, PAGES: 539-550
INDEXED IN: Scopus DBLP CrossRef: 11
3127
TITLE: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 5199-5203
INDEXED IN: DBLP
3128
TITLE: TensorCast: Forecasting time-evolving networks with contextual information
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
INDEXED IN: Scopus CrossRef: 5
3129
TITLE: Test Patterns for IoT
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 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), PAGES: 63-66
INDEXED IN: Scopus WOS DBLP CrossRef: 6
3130
TITLE: Testbed implementation and evaluation of interleaved and scrambled coding for physical-layer security  Full Text
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in IEEE Vehicular Technology Conference, VOLUME: 2018-June, PAGES: 1-6
INDEXED IN: Scopus CrossRef: 8
3131
TITLE: The 3rd workshop on middleware for edge clouds & cloudlets (MECC 2018), colocated with ACM/IFIP/USENIX middleware 2018, December 10-14th 2018 - Rennes, France
AUTHORS: Rolando Martins ; Paulino, H; Veiga, L;
PUBLISHED: 2018, SOURCE: 3rd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2018, colocated with ACM/IFIP/USENIX Middleware 2018 in MECC 2018 - Proceedings of the 2018 3rd Workshop on Middleware for Edge Clouds and Cloudlets, Part of Middleware 2018
INDEXED IN: Scopus
3132
TITLE: The Arrowhead Framework applied to Energy Management
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems (WFCS) in 2018 14TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2018)
INDEXED IN: WOS
3133
TITLE: The Arrowhead Framework applied to energy management
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2018-June, PAGES: 1-10
INDEXED IN: Scopus CrossRef: 3
3134
TITLE: The Design for All Paradigm in the Development of Applications to Support Older Adults: A Review. A Review
AUTHORS: BASTARDO, Rute ; Pavao, J ; Ana Isabel Martins ; Queiros, A; Rocha, NP;
PUBLISHED: 2018, SOURCE: 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), PAGES: 337-343
INDEXED IN: Scopus WOS DBLP CrossRef: 4
3135
TITLE: The effect of temporal aggregation on the estimation accuracy of ARMA models  Full Text
AUTHORS: Paulo Teles ; Paulo S A Sousa ;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 47, ISSUE: 10, PAGES: 2865-2885
INDEXED IN: WOS CrossRef: 3
3136
TITLE: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments  Full Text
AUTHORS: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
INDEXED IN: Scopus WOS DBLP CrossRef: 20
3137
TITLE: The effects of death and post-mortem cold ischemia on human tissue transcriptomes
AUTHORS: 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; ...More
PUBLISHED: 2018, SOURCE: NATURE COMMUNICATIONS, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 196
3138
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 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, PAGES: 884-887
INDEXED IN: Scopus DBLP CrossRef: 2
3139
TITLE: The impact of e-commerce on the success of microenterprise retail sector of the Pinhal Interior Norte sub-region of Portugal
AUTHORS: Maria Carvalho; Henrique S Mamede ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018 - International Conference on Health and Social Care Information Systems and Technologies 2018, Lisbon, Portugal, VOLUME: 138, PAGES: 571-579
INDEXED IN: Scopus DBLP CrossRef: 6
3140
TITLE: The influence of document characteristics on the quality of health web documents
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Página 157 de 406. Total de resultados: 8106.