Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 25016

1714 Team Members
Filters -> Year: 2026
17781
TITLE: Typing linear algebra: A biproduct-oriented approach
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
INDEXED IN: Scopus WOS CrossRef: 47 Handle
17784
TITLE: Uma nova abordagem à integração de plataformas colaborativas e pesquisa de informação com recurso à filosofia Linked-Data
AUTHORS: Fábio Alves; Carla Pereira ; Cristóvão Sousa ;
PUBLISHED: 2013, SOURCE: Atas da 13ª Conferência da Associação Portuguesa de Sistemas de Informação, PAGES: 451-465
INDEXED IN: CrossRef
17785
TITLE: Uncovering the multiple objectives behind national energy efficiency planning  Full Text
AUTHORS: Gustavo Haydt; Vitor Leal ; Luis Dias ;
PUBLISHED: 2013, SOURCE: ENERGY POLICY, VOLUME: 54, PAGES: 230-239
INDEXED IN: Scopus WOS CrossRef: 8
17786
TITLE: Understanding participation in company social networks
AUTHORS: Carla Sofia Martins; Lia Patricio ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SERVICE MANAGEMENT, VOLUME: 24, ISSUE: 5, PAGES: 567-587
INDEXED IN: Scopus WOS CrossRef: 35
17787
TITLE: UPBox and DataNotes: a collaborative data management environment for the long tail of research data
AUTHORS: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
INDEXED IN: DBLP
17788
TITLE: UPBox e DataNotes: um ambiente de suporte à gestão colaborativa de dados científicos
AUTHORS: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2013, SOURCE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, ISSUE: 2, PAGES: 95
INDEXED IN: CrossRef
17789
TITLE: Upper limb automatisms differ quantitatively in temporal and frontal lobe epilepsies  Full Text
AUTHORS: Joao P S Silva Cunha ; Jan Remi; Christian Vollmar; Jose M Fernandes ; Jose A Gonzalez Victores; Soheyl Noachtar;
PUBLISHED: 2013, SOURCE: EPILEPSY & BEHAVIOR, VOLUME: 27, ISSUE: 2, PAGES: 404-408
INDEXED IN: Scopus WOS CrossRef: 12
17790
TITLE: Upper ontology for multi-agent energy systems' applications
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2013, SOURCE: 10th International Symposium on Distributed Computing and Artificial Intelligence 2013, DCAI 2013 in Advances in Intelligent Systems and Computing, VOLUME: 217, PAGES: 617-624
INDEXED IN: Scopus CrossRef: 4 Handle
17791
TITLE: Upper Ontology for Multi-Agent Energy Systems' Applications
AUTHORS: Gabriel Santos; Tiago Pinto ; Zita A Vale; Hugo Morais; Isabel Praça;
PUBLISHED: 2013, SOURCE: Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013, VOLUME: 217, PAGES: 617-624
INDEXED IN: DBLP
17792
TITLE: Using Case-Based Reasoning and Principled Negotiation to provide decision support for dispute resolution  Full Text
AUTHORS: Carneiro, D ; Paulo Novais ; Andrade, F ; Zeleznikow, J; Neves, J ;
PUBLISHED: 2013, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 36, ISSUE: 3, PAGES: 789-826
INDEXED IN: Scopus WOS DBLP CrossRef: 56
17793
TITLE: Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PAGES: 111-122
INDEXED IN: DBLP
17794
TITLE: Using Device Detection Techniques in M-Learning Scenarios
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
INDEXED IN: Scopus WOS CrossRef
17795
TITLE: Using Domain-Specific Term Frequencies to Identify and Classify Health Queries
AUTHORS: Carla Teixeira Lopes ; Daniela Dias; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 221-226
INDEXED IN: Scopus WOS DBLP CrossRef: 2
17796
TITLE: Using genetic algorithms to create solutions for conflict resolution  Full Text
AUTHORS: Carneiro, D ; Paulo Novais ; Neves, J ;
PUBLISHED: 2013, SOURCE: NEUROCOMPUTING, VOLUME: 109, PAGES: 16-26
INDEXED IN: Scopus WOS DBLP CrossRef: 8
17797
TITLE: Using integro-differential operators on low cost underwater autonomous vehicles
AUTHORS: Paulo M Oliveira ; Victor Lobo;
PUBLISHED: 2013, SOURCE: MTS/IEEE Oceans Conference in 2013 OCEANS - SAN DIEGO
INDEXED IN: Scopus WOS
17798
TITLE: Using machine learning to identify benign cases with non-definitive biopsy
AUTHORS: Kuusisto, F; Dutra, I ; Nassif, H; Wu, Y; Klein, ME; Neuman, HB; Shavlik, J; Burnside, ES ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 283-285
INDEXED IN: Scopus DBLP CrossRef: 2
17799
TITLE: Using Multivariate Adaptive Regression Splines in the Construction of Simulated Soccer Team's Behavior Models
AUTHORS: Abreu, PH ; Silva, DC ; Mendes Moreira, J ; Reis, LP ; Garganta, J ;
PUBLISHED: 2013, SOURCE: International Journal of Computational Intelligence Systems in INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
INDEXED IN: Scopus WOS DBLP CrossRef: 22 Handle
17800
TITLE: Using proximity to compute semantic relatedness in RDF graphs  Full Text
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
INDEXED IN: Scopus WOS DBLP CrossRef: 10

Results per Page: 20.
Page 890 of 1251. Total results: 25016.