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

536 Team Members
Filters -> Year: 2026
5321
TÍTULO: Networks of Universities as a Tool for GCIO Education
AUTORES: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLICAÇÃO: 2017, FONTE: EGOV, VOLUME: 10428 LNCS, PÁGINAS: 117-127
INDEXADO EM: Scopus DBLP CrossRef
5322
TÍTULO: New Formulations for the Unit Commitment Problem <i>Optimal Control and Switching-Time Parameterization Approaches</i>
AUTORES: Roque, Luis A. C. ; Fontes, Fernando A. C. C. ; Fontes, Dalila B. M. M. ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 1, VOLUME: 1, PÁGINAS: 326-331
INDEXADO EM: Scopus WOS DBLP CrossRef
5323
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types
AUTORES: Silva, M ; Florido, M ; Pfenning, F ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238, PÁGINAS: 64-72
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5324
TÍTULO: NOOA: Maintaining Cultural Identity Through Intergenerational Storytelling and Digital Affinity Spaces
AUTORES: Monteiro, J ; Morais, C ; Carvalhais, M ;
PUBLICAÇÃO: 2017, FONTE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PÁGINAS: 376-379
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5325
TÍTULO: Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
AUTORES: Gabriel Santos; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLICAÇÃO: 2017, FONTE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423, PÁGINAS: 283-294
INDEXADO EM: DBLP
5326
TÍTULO: Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
AUTORES: Santos, G; Pinto, T ; Praca, I ; Vale, Z ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 283-294
INDEXADO EM: Scopus WOS CrossRef: 7
5327
TÍTULO: Observatório de Ciência da Informação da U.Porto: uma década a monitorizar a CI
AUTORES: Domingos A T G Ferreira; Inês D Koch ; Soraia T Ramos; Tiago F M Olo; Maria M G d A Pinto;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
5328
TÍTULO: Off the beaten track: A new linear model for interval data
AUTORES: Dias, S ; Brito, P ;
PUBLICAÇÃO: 2017, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 258, NÚMERO: 3, PÁGINAS: 1118-1130
INDEXADO EM: Scopus WOS DBLP CrossRef: 40
5329
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: ILP, VOLUME: 10759 LNAI, PÁGINAS: 31-45
INDEXADO EM: Scopus DBLP CrossRef: 3
5330
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: PARCO, VOLUME: 32, PÁGINAS: 652-663
INDEXADO EM: Scopus DBLP CrossRef
5331
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
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: 2
5332
TÍTULO: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation
AUTORES: Oliveira, J ; Mantadelis, T ; Renna, F ; Gomes, P; Coimbra, M ;
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: 5
5333
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system
AUTORES: Miguel Areias ; 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
5334
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
AUTORES: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4, PÁGINAS: 129
INDEXADO EM: Scopus WOS DBLP CrossRef
5335
TÍTULO: On the use of stochastic local search techniques to revise first-order logic theories from examples
AUTORES: Paes, A; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2017, FONTE: MACHINE LEARNING, VOLUME: 106, NÚMERO: 2, PÁGINAS: 197-241
INDEXADO EM: WOS DBLP CrossRef: 7
5336
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
5337
TÍTULO: Online resources for PCAWG data exploration, visualization, and discovery
AUTORES: Mary Goldman; Junjun Zhang; Nuno A Fonseca ; Qian Xiang; Brian Craft; Elena Piñeiro-Yáñez; Brian O'Connor; Wojciech Bazant; Elisabet Barrera; Alfonso Muñoz; Robert Petryszak; Anja Füllgrabe; Fatima Al-Shahrour; Maria Keays; David Haussler; John Weinstein; Wolfgang Huber; Alfonso Valencia; Irene Papatheodorou; Jingchun Zhu; Vincent Ferreti; Miguel Vazquez; PCAWG-12 Working Group, ; PCAWG Network, ; ...Mais
PUBLICAÇÃO: 2017
INDEXADO EM: CrossRef: 3
5338
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: Scopus DBLP CrossRef: 4
5340
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

Results per Page: 20.
Página 267 de 532. Total de resultados: 10630.