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

531 Team Members
Filters -> Year: 2025
3741
TÍTULO: Off the beaten track: A new linear model for interval data  Full Text
AUTORES: Sonia Dias ; Paula Brito ;
PUBLICAÇÃO: 2017, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 258, NÚMERO: 3, PÁGINAS: 1118-1130
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
3742
TÍTULO: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759, PÁGINAS: 31-45
INDEXADO EM: Scopus DBLP CrossRef
3743
TÍTULO: On Coding Techniques for Targeting FPGAs via OpenCL
AUTORES: Nuno Paulino ; Luís Reis; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: Parallel Computing is Everywhere, Proceedings of the International Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, VOLUME: 32, PÁGINAS: 652-663
INDEXADO EM: Scopus DBLP
3744
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 271-286
INDEXADO EM: Scopus WOS DBLP CrossRef
3745
TÍTULO: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation  Full Text
AUTORES: Jorge Oliveira ; Theofrastos Mantadelis ; Francesco Renna ; Pedro Gomes; Miguel Coimbra ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Workshop on Signal Processing Systems (SiPS) in 2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), VOLUME: 2017-October, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3746
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125, PÁGINAS: 417-426
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3747
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTORES: Ricardo Goncalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4, PÁGINAS: 129
INDEXADO EM: Scopus WOS DBLP CrossRef
3748
TÍTULO: On the use of stochastic local search techniques to revise first-order logic theories from examples  Full Text
AUTORES: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLICAÇÃO: 2017, FONTE: MACHINE LEARNING, VOLUME: 106, NÚMERO: 2, PÁGINAS: 197-241
INDEXADO EM: WOS DBLP CrossRef: 7
3749
TÍTULO: Online Conversation Application with Confidentiality, Anonymity, and Identity Requirements
AUTORES: Fernandes, P; Pinto, A ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 40-46
INDEXADO EM: Scopus WOS DBLP CrossRef
3750
TÍTULO: Ontologies for the interoperability of heterogeneous multi-agent systems in the scope of power and energy systems
AUTORES: Gabriel Santos; Tiago Pinto ; Zita Vale;
PUBLICAÇÃO: 2017, FONTE: Advances in Intelligent Systems and Computing, VOLUME: 619, PÁGINAS: 300-301
INDEXADO EM: Scopus CrossRef: 4
3751
TÍTULO: Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems
AUTORES: Gabriel Santos; Tiago Pinto ; Zita A Vale;
PUBLICAÇÃO: 2017, FONTE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PÁGINAS: 300-301
INDEXADO EM: DBLP
3753
TÍTULO: OpenMP Tasking Model for Ada: Safety and Correctness
AUTORES: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel ;
PUBLICAÇÃO: 2017, FONTE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300, PÁGINAS: 184-200
INDEXADO EM: Scopus WOS CrossRef: 7
3754
TÍTULO: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTORES: Nikolić, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Real-Time Systems, VOLUME: 53, NÚMERO: 4, PÁGINAS: 1-35
INDEXADO EM: Scopus CrossRef: 3
3755
TÍTULO: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTORES: Nikolic, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: REAL-TIME SYSTEMS, VOLUME: 53, NÚMERO: 4, PÁGINAS: 578-612
INDEXADO EM: WOS
3756
TÍTULO: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (vol 53, pg 578, 2017)  Full Text
AUTORES: Borislav Nikolic; Luis Miguel Pinho ;
PUBLICAÇÃO: 2017, FONTE: REAL-TIME SYSTEMS, VOLUME: 53, NÚMERO: 4, PÁGINAS: 613-613
INDEXADO EM: WOS
3757
TÍTULO: Optimal recloser deployment to leverage self-healing: A techno-economic robustness assessment
AUTORES: Rodrigues, E; Miranda, I; Silva, N; Leite, H ;
PUBLICAÇÃO: 2017, FONTE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, NÚMERO: 1, PÁGINAS: 2467-2470
INDEXADO EM: Scopus CrossRef
3758
TÍTULO: Organization-based Multi-Agent structure of the Smart Home Electricity System
AUTORES: Amin Shokri Gazafroudi; Tiago Pinto ; Francisco Prieto Castrillo; Javier Prieto; Juan Manuel Corchado; Aria Jozi; Zita Vale; Ganesh Kumar Venayagamoorthy;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings, PÁGINAS: 1327-1334
INDEXADO EM: Scopus CrossRef: 22
3759
TÍTULO: Organization-based Multi-Agent structure of the Smart Home Electricity System
AUTORES: Amin Shokri Gazafroudi; Tiago Pinto ; Francisco Prieto Castrillo; Javier Prieto; Juan Manuel Corchado; Aria Jozi; Zita A Vale; Ganesh Kumar Venayagamoorthy;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017, PÁGINAS: 1327-1334
INDEXADO EM: DBLP
3760
TÍTULO: Organization-based multi-agent system of local electricity market: Bottom-up approach
AUTORES: Amin Shokri Gazafroudi; Francisco Prieto Castrillo; Tiago Pinto ; Juan Manuel Corchado;
PUBLICAÇÃO: 2017, FONTE: Advances in Intelligent Systems and Computing, VOLUME: 619, PÁGINAS: 281-283
INDEXADO EM: Scopus CrossRef: 5

Results per Page: 20.
Página 188 de 423. Total de resultados: 8460.