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

531 Team Members
Filters -> Year: 2024
2721
TÍTULO: A Generalized Approach to Verification Condition Generation  Full Text
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1, PÁGINAS: 194-203
INDEXADO EM: Scopus DBLP CrossRef: 1
2722
TÍTULO: A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks  Full Text
AUTORES: Pedro Pereira Rodrigues ; Joao Araujo; Joao Gama ; Luis Lopes ;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, NÚMERO: 10, PÁGINAS: 155014771880823
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2723
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 78-96
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2724
TÍTULO: A Machine Learning Approach to Contact Databases' Importation for Spam Prevention
AUTORES: Duarte Coelho; Ana Madureira ; Ivo Pereira ; Bruno Cunha;
PUBLICAÇÃO: 2018, FONTE: 18th International Conference on Hybrid Intelligent Systems, HIS 2018 in Hybrid Intelligent Systems - 18th International Conference on Hybrid Intelligent Systems, HIS 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 923, PÁGINAS: 1-10
INDEXADO EM: Scopus DBLP CrossRef
2725
TÍTULO: A Methodology for Assessing the Resilience Against Email Phishing
AUTORES: Magalhães, JP ; Antonio Pinto ;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Intelligent Systems (IS) in 2018 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), PÁGINAS: 515-520
INDEXADO EM: Scopus WOS CrossRef
2726
TÍTULO: A Modular Tool for Benchmarking IoT Publish-Subscribe Middleware
AUTORES: Zilhao, L; Ricardo Morla ; Ana Aguiar ;
PUBLICAÇÃO: 2018, FONTE: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2018 IEEE 19TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 14-19
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2727
TÍTULO: A New Hybrid-Adaptive Differential Evolution for a Smart Grid Application under Uncertainty
AUTORES: Lezama, F; Soares, J; Faia, R; Pinto, T ; Vale, Z;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE Congress on Evolutionary Computation, CEC 2018 in 2018 IEEE Congress on Evolutionary Computation, CEC 2018 - Proceedings
INDEXADO EM: Scopus CrossRef: 22
2728
TÍTULO: A New Hybrid-Adaptive Differential Evolution for a Smart Grid Application Under Uncertainty
AUTORES: Fernando Lezama; João P Soares; Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE Congress on Evolutionary Computation, CEC 2018, Rio de Janeiro, Brazil, July 8-13, 2018, PÁGINAS: 1-8
INDEXADO EM: DBLP
2729
TÍTULO: A nonconvex quadratic optimization approach to the maximum edge weight clique problem  Full Text
AUTORES: Seyedmohammadhossein Hosseinian; Dalila B M M Fontes ; Sergiy Butenko;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF GLOBAL OPTIMIZATION, VOLUME: 72, NÚMERO: 2, PÁGINAS: 219-240
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
2730
TÍTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PÁGINAS: 57-67
INDEXADO EM: Scopus DBLP CrossRef: 3
2731
TÍTULO: A Preliminary Study on Hyperparameter Configuration for Human Activity Recognition PDF
AUTORES: Kemilly Dearo Garcia; Tiago Carvalho; João Mendes Moreira ; João M P Cardoso ; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.10956
INDEXADO EM: DBLP arXiv
2732
TÍTULO: A Presentation of the Storyline View of a Novel Research Method: BNML
AUTORES: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLICAÇÃO: 2018, FONTE: 17th European Conference on Research Methodology for Business and Management Studies (ECRM) in PROCEEDINGS OF THE 17TH EUROPEAN CONFERENCE ON RESEARCH METHODOLOGY FOR BUSINESS AND MANAGEMENT STUDIES (ECRM 2018), PÁGINAS: 27-35
INDEXADO EM: WOS
2733
TÍTULO: A Proposal for a Remote Interactive Class System with Sign Language Interpretation
AUTORES: Martins, M; Borges, J; Justino, E; Rocha, T ; Barroso, J ; Reis, A ;
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: 530-540
INDEXADO EM: Scopus WOS DBLP CrossRef
2735
TÍTULO: A Reactive and Model-based Approach for Developing Internet-of-Things Systems
AUTORES: Joao Pedro Dias ; Joao Pascoal Faria ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PÁGINAS: 276-281
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
2736
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113, PÁGINAS: 44-45
INDEXADO EM: WOS DBLP
2737
TÍTULO: A roadmap to evaluate the usage of telepresence robots in elderly care centers
AUTORES: Arsenio Reis ; Rui Xavier; Catarina Macedo; Telmo Costa; Vitor Rodrigues ; Joao Barroso ;
PUBLICAÇÃO: 2018, FONTE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2738
TÍTULO: A Semantics for Hybrid Iteration
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118, PÁGINAS: 22:1-22:17
INDEXADO EM: Scopus DBLP
2739
TÍTULO: A Semantics for Hybrid Iteration PDF
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01053
INDEXADO EM: DBLP arXiv
2740
TÍTULO: A Software Tool to Evaluate Performance in a Higher Education Institution
AUTORES: Arsénio Reis ; Hugo Paredes ; Jorge Borges; Carlos Rodrigues; João Barroso ;
PUBLICAÇÃO: 2018, FONTE: Research on e-Learning and ICT in Education, PÁGINAS: 185-196
INDEXADO EM: CrossRef

Results per Page: 20.
Página 137 de 410. Total de resultados: 8181.