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

531 Team Members
Filters -> Year: 2025
3981
TÍTULO: A Self-organisation Model for Mobile Robots in Large Structure Assembly Using Multi-agent Systems
AUTORES: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLICAÇÃO: 2016, FONTE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PÁGINAS: 83-91
INDEXADO EM: DBLP
3982
TÍTULO: A Single-Assignment Translation for Annotated Programs PDF
AUTORES: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.00584
INDEXADO EM: DBLP arXiv
3983
TÍTULO: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTORES: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PÁGINAS: 75-99
INDEXADO EM: WOS
3984
TÍTULO: A Subgraph-Based Ranking System for Professional Tennis Players
AUTORES: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2016, FONTE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PÁGINAS: 159-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3985
TÍTULO: A Survey of Predictive Modeling on Im balanced Domains  Full Text
AUTORES: Paula Branco ; Luis Torgo ; Rita P Ribeiro ;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 2, PÁGINAS: 31:1-31:50
INDEXADO EM: Scopus WOS DBLP CrossRef: 710
3986
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
3987
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
3988
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
3989
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
3990
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
3991
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
3992
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
3993
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: 77
3994
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: 41
3995
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
3996
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
3997
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
3998
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
3999
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
4000
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

Results per Page: 20.
Página 200 de 424. Total de resultados: 8473.