CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
5601
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 Handle
5602
TITLE: Understanding User's Emotional Engagement to the Contents on a Smartphone Display: Psychiatric Prospective
AUTHORS: Kunal Mankodiya; Vinod Sharma; Rolando Martins ; Ishan Pande; Samay Jain; Neal Ryan; Rajeev Gandhi;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, UIC/ATC 2013, Vietri sul Mare, Sorrento Peninsula, Italy, December 18-21, 2013, PAGES: 631-637
INDEXED IN: Scopus DBLP CrossRef: 5
5603
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
5604
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
5605
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
5606
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 Handle
5607
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
5608
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
5609
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: 1
5610
TITLE: Using Multivariate Adaptive Regression Splines in the Construction of Simulated Soccer Team's Behavior Models
AUTHORS: Pedro Henriques Abreu ; Daniel Castro Silva ; Joao Mendes Moreira ; Luis Paulo Reis ; Julio Garganta ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
INDEXED IN: Scopus WOS DBLP CrossRef: 18
5611
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
5612
TITLE: Using Roles as Units of Composition
AUTHORS: Fernando Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2012, VOLUME: 410, PAGES: 16-32
INDEXED IN: Scopus WOS DBLP CrossRef
5613
TITLE: Using roles to model crosscutting concerns
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 12th Annual International Conference on Aspect-Oriented Software Development, AOSD 2013 in Aspect-Oriented Software Development, AOSD '13, Fukuoka, Japan, March 24-29, 2013, PAGES: 97-108
INDEXED IN: Scopus DBLP CrossRef Handle
5614
TITLE: Using statistics, visualization and data mining for monitoring the quality of meta-data in web portals  Full Text
AUTHORS: Marcos Aurelio Domingues; Carlos Soares ; Alipio Mario Jorge ;
PUBLISHED: 2013, SOURCE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, ISSUE: 4, PAGES: 569-595
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5615
TITLE: Using the Action-Research Method in Information Systems Planning Creativity research
AUTHORS: Vitor Santos; Luis Amaral ; Henrique Mamede ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
5616
TITLE: Variations of the soft tissue thicknesses external to the ribs in Pectus Excavatum patients  Full Text
AUTHORS: Pedro L Rodrigues; Bruno Direito Santos; Antonio H J Moreira; Jaime C Fonseca ; Pinho, ACM ; Nuno F Rodrigues ; Tiago Henriques Coelho ; Jorge Correia Pinto ; Joao L Vilaca ;
PUBLISHED: 2013, SOURCE: JOURNAL OF PEDIATRIC SURGERY, VOLUME: 48, ISSUE: 9, PAGES: 1878-1886
INDEXED IN: Scopus WOS CrossRef: 5
5617
TITLE: Verifying bigraphical models of architectural reconfigurations
AUTHORS: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PAGES: 135-138
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5618
TITLE: Virtual Archaeology in Second Life and OpenSimulator  Full Text
AUTHORS: Luís Miguel Sequeira; Leonel Caseiro Morgado ;
PUBLISHED: 2013, SOURCE: Journal For Virtual Worlds Research, VOLUME: 6, ISSUE: 1
INDEXED IN: CrossRef: 17
5619
TITLE: Visualization of evolving social networks using actor-level and community-level trajectories  Full Text
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2013, SOURCE: EXPERT SYSTEMS, VOLUME: 30, ISSUE: 4, PAGES: 306-319
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5620
TITLE: Waist-to-height ratio references for 10 to 18 year-olds in autonomous region of madeira, Portugal  Full Text
AUTHORS: Sousa, B; Mendes De Oliveira, BM ; De Almeida, MDV;
PUBLISHED: 2013, SOURCE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 12
INDEXED IN: WOS

Results per Page: 20.
Page 281 of 414. Total results: 8274.