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

531 Team Members
Filters -> Year: 2024
3161
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
3162
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
3163
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
3164
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
3165
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
3166
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
3167
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: 11
3168
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
3169
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
3170
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: 6
3171
TÍTULO: Testbed implementation and evaluation of interleaved and scrambled coding for physical-layer security  Full Text
AUTORES: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLICAÇÃO: 2018, FONTE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in IEEE Vehicular Technology Conference, VOLUME: 2018-June, PÁGINAS: 1-6
INDEXADO EM: Scopus CrossRef: 8
3172
TÍTULO: The 3rd workshop on middleware for edge clouds & cloudlets (MECC 2018), colocated with ACM/IFIP/USENIX middleware 2018, December 10-14th 2018 - Rennes, France
AUTORES: Rolando Martins ; Paulino, H; Veiga, L;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: Scopus
3173
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)
INDEXADO EM: WOS
3174
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
3175
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
3176
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: 3
3177
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: 21
3178
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: 196
3179
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: 2
3180
TÍTULO: The impact of e-commerce on the success of microenterprise retail sector of the Pinhal Interior Norte sub-region of Portugal
AUTORES: Maria Carvalho; Henrique S Mamede ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 571-579
INDEXADO EM: Scopus DBLP CrossRef: 6

Results per Page: 20.
Página 159 de 410. Total de resultados: 8184.