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
3741
TÍTULO: Who controls the controller? A dynamical model of corruption  Full Text
AUTORES: Elvio Accinelli ; Filipe Martins ; Jorge Oviedo; Alberto Pinto ; Luis Quintas;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF MATHEMATICAL SOCIOLOGY, VOLUME: 41, NÚMERO: 4, PÁGINAS: 220-247
INDEXADO EM: Scopus WOS CrossRef: 7
3742
TÍTULO: Worst-case bound analysis for the time-critical MAC behaviors of IEEE 802.15.4e
AUTORES: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar ;
PUBLICAÇÃO: 2017, FONTE: IEEE 13th International Workshop on Factory Communication Systems, WFCS 2017, Trondheim, Norway, May 31 - June 2, 2017, PÁGINAS: 1-9
INDEXADO EM: DBLP
3743
TÍTULO: Worst-case bound analysis for the time-critical MAC behaviors of IEEE 802.15.4e
AUTORES: Kurunathan, H; Severino, R ; Koubaa, A; Tovar, E;
PUBLICAÇÃO: 2017, FONTE: 13th IEEE International Workshop on Factory Communication Systems, WFCS 2017 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXADO EM: Scopus CrossRef: 6 Handle
3744
TÍTULO: "Keep definition, change category" - A practical approach to state-based system calculi
AUTORES: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 4, PÁGINAS: 449-474
INDEXADO EM: WOS CrossRef: 5
3745
TÍTULO: 37th Annual Conference of the European Association for Computer Graphics, Eurographics 2016 - Tutorials, Lisbon, Portugal, May 9-13, 2016
AUTORES: Augusto A de Sousa ; Kadi Bouatouch;
PUBLICAÇÃO: 2016, FONTE: Eurographics (Tutorials)
INDEXADO EM: DBLP
3746
TÍTULO: 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia
AUTORES: Marjan Mernik; José Paulo Leal ; Hugo Gonçalo Oliveira;
PUBLICAÇÃO: 2016, FONTE: SLATE, VOLUME: 51
INDEXADO EM: DBLP
3747
TÍTULO: A behavioral reflective architecture for managing the integration of personal ubicomp systems: automatic SNMP-based discovery and management of behavior context in smart-spaces  Full Text
AUTORES: Rui S Moreira ; Ricardo S Morla ; Luis P C Moreira; Christophe Soares ;
PUBLICAÇÃO: 2016, FONTE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 20, NÚMERO: 2, PÁGINAS: 229-243
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3748
TÍTULO: A Bot Spooler Architecture to Integrate Virtual Worlds with E-learning Management Systems for Corporate Training  Full Text
AUTORES: Morgado, L ; Paredes, H ; Fonseca, B ; Martins, P ; Almeida, A; Vilela, A; Peixinho, F; Santos, A ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 22, NÚMERO: 2, PÁGINAS: 271-297
INDEXADO EM: Scopus WOS DBLP Handle
3749
TÍTULO: A branch-and-cut algorithm for a multi-item inventory distribution problem
AUTORES: Agra, A; Cerveira, A ; Requejo, C;
PUBLICAÇÃO: 2016, FONTE: 2nd International Workshop on Machine Learning, Optimization and Big Data, MOD 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10122 LNCS, PÁGINAS: 144-158
INDEXADO EM: Scopus CrossRef: 3
3750
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Joao F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 906-920
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3751
TÍTULO: A Closer Look into the AER Model
AUTORES: Maia, C; Nogueira, L ; Pinho, LM ; Perez, DG;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2016-November
INDEXADO EM: Scopus WOS CrossRef: 15
3752
TÍTULO: A cross-layer QoS management framework for ZigBee cluster-tree networks  Full Text
AUTORES: Severino, R ; Ullah, S; Tovar, E ;
PUBLICAÇÃO: 2016, FONTE: TELECOMMUNICATION SYSTEMS, VOLUME: 63, NÚMERO: 3, PÁGINAS: 381-397
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
3753
TÍTULO: A decision support method to identify target geographic markets for health care providers. A new method to identify target geographic markets  Full Text
AUTORES: Pierre Polzin; Jose Borges ; Antonio Coelho ;
PUBLICAÇÃO: 2016, FONTE: PAPERS IN REGIONAL SCIENCE, VOLUME: 95, NÚMERO: 4, PÁGINAS: 843-+
INDEXADO EM: Scopus WOS CrossRef: 1
3754
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PÁGINAS: 4491-4496
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
3755
TÍTULO: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTORES: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLICAÇÃO: 2016, FONTE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 5, PÁGINAS: 21-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3756
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3, PÁGINAS: 386-406
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3757
TÍTULO: A method for rigorous design of reconfigurable systems  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 50-76
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3758
TÍTULO: A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management
AUTORES: Alexandre B Augusto; Manuel E. Correia ;
PUBLICAÇÃO: 2016, FONTE: Psychology and Mental Health, PÁGINAS: 470-492
INDEXADO EM: CrossRef
3759
TÍTULO: A model for analyzing performance problems and root causes in the personal software process. A MODEL FOR ANALYZING PERFORMANCE PROBLEMS AND ROOT CAUSES IN THE PSP  Full Text
AUTORES: Raza, M ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, NÚMERO: 4, PÁGINAS: 254-271
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3760
TÍTULO: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PÁGINAS: 199-208
INDEXADO EM: WOS DBLP CrossRef: 1

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