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

531 Team Members
Filters -> Year: 2024
3861
TÍTULO: A survey on game backend services
AUTORES: de Queirós, RAP ;
PUBLICAÇÃO: 2016, FONTE: Gamification-Based E-Learning Strategies for Computer Programming Education, PÁGINAS: 1-13
INDEXADO EM: Scopus CrossRef: 3
3862
TÍTULO: A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: Software Technologies, 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers., VOLUME: 743, PÁGINAS: 88-107
INDEXADO EM: DBLP
3863
TÍTULO: A Teaching Model Using Social Network Sites
AUTORES: Vtor Santos; Filipe Montargil; Jose Martins ; Ramiro Goncalves ;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), VOLUME: 2016-January, PÁGINAS: 631-639
INDEXADO EM: Scopus WOS
3864
TÍTULO: A telemedicine application using WebRTC
AUTORES: Antunes, M ; Silva, C ; Barranca, J;
PUBLICAÇÃO: 2016, 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) in 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 2016, VOLUME: 100, PÁGINAS: 414-420
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3865
TÍTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106, PÁGINAS: 14-15
INDEXADO EM: WOS DBLP
3866
TÍTULO: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets  Full Text
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, NÚMERO: 3, PÁGINAS: 285-304
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
3867
TÍTULO: Accessibility Not on Demand An Impaired Situation
AUTORES: Joao D E de Sousa e Silva; Ramiro Goncalves ; Antonio Pereira;
PUBLICAÇÃO: 2016, FONTE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, VOLUME: 1, PÁGINAS: 272-275
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3868
TÍTULO: Adaptation and Validation of the Igroup Presence Questionnaire (IPQ) in a Portuguese Sample  Full Text
AUTORES: Jacinto Vasconcelos Raposo ; Maximino Bessa ; Miguel Melo ; Luis Barbosa ; Rui Rodrigues ; Carla Maria Teixeira; Luciana Cabral; Antonio Augusto Sousa ;
PUBLICAÇÃO: 2016, FONTE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 25, NÚMERO: 3, PÁGINAS: 191-203
INDEXADO EM: Scopus WOS DBLP CrossRef: 72
3869
TÍTULO: Adaptive Model Rules From High-Speed Data Streams  Full Text
AUTORES: Joao Duarte; Joao Gama ; Albert Bifet;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA, VOLUME: 10, NÚMERO: 3, PÁGINAS: 30
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
3870
TÍTULO: Adaptive Portfolio Optimization for Multiple Electricity Markets Participation  Full Text
AUTORES: Pinto, T ; Morais, H; Sousa, TM; Sousa, T; Vale, Z; Praca, I; Faia, R; Pires, EJS ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 27, NÚMERO: 8, PÁGINAS: 1720-1733
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
3871
TÍTULO: Age group differences in performance using diverse input modalities: insertion task evaluation. insertion task evaluation
AUTORES: Diana Carvalho ; Maximino Bessa ; Luís Magalhães; Eurico Carrapatoso;
PUBLICAÇÃO: 2016, FONTE: 17th International Conference on Human Computer Interaction, Interaccion 2016 in Proceedings of the XVII International Conference on Human Computer Interaction, Interacción 2016, Salamanca, Spain, September 13 - 16, 2016, VOLUME: Part F125222, PÁGINAS: 12
INDEXADO EM: Scopus DBLP CrossRef: 6
3872
TÍTULO: Alloy meets TLA+: An exploratory study PDF
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1603.03599
INDEXADO EM: DBLP arXiv
3873
TÍTULO: An Agent-based Model of the Earth System & Climate Change
AUTORES: Baghoussi, Y ; Campos, PJRM ; Rossetti, RJF ;
PUBLICAÇÃO: 2016, FONTE: 2nd IEEE International Smart Cities Conference (ISC2) in IEEE SECOND INTERNATIONAL SMART CITIES CONFERENCE (ISC2 2016), PÁGINAS: 319-324
INDEXADO EM: Scopus WOS DBLP CrossRef
3874
TÍTULO: An Approach to Relevancy Detection: contributions to the automatic detection of relevance in social networks
AUTORES: Alvaro Figueira ; Miguel Sandim ; Paula Fortuna ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 89-99
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
3875
TÍTULO: An approach using SAT solvers for the RCPSP with logical constraints  Full Text
AUTORES: Mario Vanhoucke; Jose Coelho ;
PUBLICAÇÃO: 2016, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 249, NÚMERO: 2, PÁGINAS: 577-591
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
3876
TÍTULO: An Automated Approach for Requirements Specification Maintenance
AUTORES: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 827-833
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3877
TÍTULO: An automated model based approach to mobile UI specification and development
AUTORES: Ribeiro, AN ; Araújo, CR;
PUBLICAÇÃO: 2016, FONTE: 18th International Conference on Human-Computer Interaction, HCI International 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9731, PÁGINAS: 523-534
INDEXADO EM: Scopus CrossRef Handle
3878
TÍTULO: An Enhanced Model for Stochastic Coordination  Full Text
AUTORES: Nuno Oliveira; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, NÚMERO: 228, PÁGINAS: 35-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3879
TÍTULO: An exercise on the generation of many-valued dynamic logics
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 1011-1037
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
3880
TÍTULO: An Interoperable Approach for Energy Systems Simulation: Electricity Market Participation Ontologies  Full Text
AUTORES: Santos, G; Pinto, T ; Praca, I; Vale, Z;
PUBLICAÇÃO: 2016, FONTE: ENERGIES, VOLUME: 9, NÚMERO: 11, PÁGINAS: 878
INDEXADO EM: Scopus WOS CrossRef: 14

Results per Page: 20.
Página 194 de 414. Total de resultados: 8279.