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
2941
2942
TITLE: Izinto. a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
INDEXED IN: CrossRef: 4
2943
TITLE: Izinto: a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018, PAGES: 125-131
INDEXED IN: Scopus DBLP
2944
TITLE: jStanley: placing a green thumb on Java collections
AUTHORS: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
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: 856-859
INDEXED IN: Scopus DBLP CrossRef: 7
2945
TITLE: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 359-366
INDEXED IN: WOS DBLP CrossRef: 1
2946
TITLE: Kaang: A RESTful API Generator for the Modern Web
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 1:1-1:15
INDEXED IN: Scopus DBLP
2947
TITLE: Keep my head on my shoulders! Why third-person is bad for navigation in VR. why third-person is bad for navigation in VR
AUTHORS: Medeiros, D; dos Anjos, RK; Mendes, D ; Pereira, JM; Raposo, A; Jorge, J;
PUBLISHED: 2018, SOURCE: 24th ACM Symposium on Virtual Reality Software and Technology (ACM VRST) in 24TH ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2018), PAGES: 16:1-16:10
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2948
TITLE: Kinematic patterns for hindlimb obstacle avoidance during sheep locomotion
AUTHORS: Diana Costa; Camila Cardoso Diogo; Luis Maltez da Costa; Jose Eduardo Pereira; Vitor Filipe ; Pedro Alexandre Couto ; Stefano Geuna; Paulo A Armada Da Silva; Ana Colette Mauricio ; Artur S P Varejao;
PUBLISHED: 2018, SOURCE: NEUROLOGICAL RESEARCH, VOLUME: 40, ISSUE: 11, PAGES: 963-971
INDEXED IN: Scopus WOS CrossRef: 8
2949
TITLE: L'Oréal and its innovative differentiated positioning process in the beauty industry
AUTHORS: Santos, R; Au Yong Oliveira, M ; Branco, F ;
PUBLISHED: 2018, SOURCE: 13th European Conference on Innovation and Entrepreneurship, ECIE 2018 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 2018-September, PAGES: 717-724
INDEXED IN: Scopus
2950
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 113-142
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2951
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
INDEXED IN: Scopus CrossRef
2952
TITLE: LearnJS - A JavaScript Learning Playground (Short Paper)
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2018, SOURCE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018 in 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal, VOLUME: 62, PAGES: 2:1-2:9
INDEXED IN: Scopus DBLP
2953
TITLE: LearnSec: A Framework for Full Text Analysis
AUTHORS: Goncalves, C ; Iglesias, EL; Borrajo, L; Camacho, R ; Vieira, AS; Goncalves, CT;
PUBLISHED: 2018, SOURCE: 13th International Conference on Hybrid Artificial Intelligent Systems (HAIS) in HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018), VOLUME: 10870, PAGES: 502-513
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2954
TITLE: Leveraging Pervasive Games for Tourism: An Augmented Reality Perspective. An Augmented Reality Perspective
AUTHORS: Rui Nóbrega ; Jacob, J ; António Coelho ; João Ribeiro; Jessika Weber; Soraia Ferreira;
PUBLISHED: 2018, SOURCE: IJCICG, VOLUME: 9, ISSUE: 1, PAGES: 1-14
INDEXED IN: DBLP CrossRef: 9
2955
TITLE: Low-Cost Smart Surveillance System for Smart Cities
AUTHORS: Pereira, R; Correia, D; Mendes, L; Rabadao, C ; Barroso, J ; Pereira, A;
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: 330-339
INDEXED IN: Scopus WOS DBLP CrossRef
2956
TITLE: LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018 in High Performance Computing for Computational Science - VECPAR 2018 - 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers, VOLUME: 11333, PAGES: 230-243
INDEXED IN: Scopus DBLP CrossRef: 2
2957
TITLE: Main Factors in the Adoption of Digital Marketing in Startups
AUTHORS: Segio Teixeira; Frederico Branco ; Jose Martins ; Manuel Au Yong Oliveira ; Fernando Moreira ; Ramiro Gonsalves ; Manuel Perez Cota; Filipa Jorge;
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-5
INDEXED IN: Scopus WOS CrossRef: 12
2958
TITLE: Manage Software Requirements Specification Using Web Analytics Data
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 257-266
INDEXED IN: Scopus DBLP CrossRef: 2
2959
TITLE: Marker versus Markerless Augmented Reality. Which Has More Impact on Users?  Full Text
AUTHORS: Brito, PQ ; Stoyanova, J;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION, VOLUME: 34, ISSUE: 9, PAGES: 819-833
INDEXED IN: Scopus WOS CrossRef: 52
2960
TITLE: Measuring Performance and Efficiency on Social Media: A Longitudinal Study
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 5th European Conference on Social Media (ECSM) in PROCEEDINGS OF THE 5TH EUROPEAN CONFERENCE ON SOCIAL MEDIA (ECSM 2018), PAGES: 198-207
INDEXED IN: Scopus WOS

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