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

531 Team Members
Filters -> Year: 2024
5021
TITLE: Making operation-based CRDTs operation-based
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands, PAGES: 7:1-7:2
INDEXED IN: Scopus DBLP CrossRef: 15
5022
TITLE: Making Operation-Based CRDTs Operation-Based
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 126-140
INDEXED IN: Scopus WOS DBLP CrossRef: 18
5023
TITLE: Making places: visualization, interaction and experience in urban space. visualization, interaction and experience in urban space
AUTHORS: Michael Smyth; Trigueiros, Paula ; Ingi Helgason; António Coelho ; Sarah Gallacher; Alison Burrows; Filipa Wunderlich; Rui Penha;
PUBLISHED: 2014, SOURCE: 8th Nordic Conference on Human-Computer Interaction, NordiCHI 2014 in Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, Helsinki, Finland, October 26-30, 2014, PAGES: 813-816
INDEXED IN: Scopus DBLP CrossRef
5024
TITLE: Management Driven Hybrid Multicast Framework for Content Aware Networks  Full Text
AUTHORS: Iorga, R; Borcoci, E; Miruta, R; Pinto, A ; Carneiro, G; Calcada, T;
PUBLISHED: 2014, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 52, ISSUE: 1, PAGES: 158-165
INDEXED IN: Scopus WOS DBLP CrossRef
5025
TITLE: Managing and Assessing Group Work from a Distance  Full Text
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
INDEXED IN: Scopus WOS DBLP CrossRef
5026
TITLE: Manufacturing Rush Orders Rescheduling: a Supervised Learning Approach
AUTHORS: Madureira, A ; Santos, JM; Gomes, S; Cunha, B; Pereira, JP; Pereira, I ;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 299-304
INDEXED IN: Scopus WOS DBLP CrossRef
5027
TITLE: Maximal differentiation in the hotelling model with uncertainty
AUTHORS: Pinto, AA ; Parreira, T ;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 585-600
INDEXED IN: Scopus CrossRef: 4
5028
TITLE: MDSheet -model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PAGES: 31-33
INDEXED IN: Scopus Handle
5029
TITLE: Measures for Combining Accuracy and Time for Meta-learning PDF
AUTHORS: Salisu Abdulrahman ; Pavel Brazdil ;
PUBLISHED: 2014, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, MetaSel@ECAI 2014, Prague, Czech Republic, August 19, 2014., VOLUME: 1201, PAGES: 49-50
INDEXED IN: Scopus DBLP
5030
TITLE: Measuring the effectiveness of an e-commerce site throughweb and sales activity
AUTHORS: Carneiro, AR; Jorge, AM ; Brito, PQ ; Domingues, MA;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 149-162
INDEXED IN: Scopus CrossRef
5031
TITLE: Merging Decision Trees: A Case Study in Predicting Student Performance
AUTHORS: Pedro Strecht ; Joao Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2014, SOURCE: 10th International Conference on Advanced Data Mining and Applications (ADMA) in ADVANCED DATA MINING AND APPLICATIONS, ADMA 2014, VOLUME: 8933, PAGES: 535-548
INDEXED IN: Scopus WOS DBLP CrossRef: 15
5032
TITLE: Message from general and program chairs
AUTHORS: Silvano, C; Cardoso, JMP ; Huebner, M;
PUBLISHED: 2014, SOURCE: 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
5033
TITLE: Meta-theoretic Assumptions and Bibliometric Evidence Assessment on 3-D Virtual Worlds as Collaborative Learning Ecosystems  Full Text
AUTHORS: António Correia ; Fernando Cassola ; Diogo Azevedo; André Pinheiro; Leonel Morgado; Paulo Martins; Benjamim Fonseca; Hugo Paredes;
PUBLISHED: 2014, SOURCE: Journal For Virtual Worlds Research, VOLUME: 7, ISSUE: 3
INDEXED IN: CrossRef: 3
5034
TITLE: Mid-Air Interactions Above Stereoscopic Interactive Tables
AUTHORS: Mendes, D ; Fonseca, F; Araujo, B; Ferreira, A ; Jorge, J;
PUBLISHED: 2014, SOURCE: IEEE Symposium on 3D User Interfaces (3DUI) in 2014 IEEE SYMPOSIUM ON 3D USER INTERFACES (3DUI), PAGES: 3-10
INDEXED IN: Scopus WOS DBLP CrossRef: 21
5036
TITLE: Model-based programming environments for spreadsheets  Full Text
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
INDEXED IN: Scopus WOS DBLP CrossRef
5037
TITLE: Model-Based Test Case Generation for Web Applications
AUTHORS: Miguel Nabuco; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 248-262
INDEXED IN: Scopus WOS DBLP CrossRef: 14
5038
TITLE: Model-Driven Generation of Multi-user and Multi-domain Choreographies for Staging in Multiple Virtual World Platforms
AUTHORS: Silva, E; Silva, N ; Morgado, L ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Model Engineering and Data Engineering (MEDI) in MODEL AND DATA ENGINEERING, MEDI 2014, VOLUME: 8748, PAGES: 77-91
INDEXED IN: Scopus WOS DBLP CrossRef Handle
5039
TITLE: Modeling e-government processes using YAWL: half-way towards their effective real implementation. half-way towards their effective real implementation
AUTHORS: Orlando Belo ; José Luis Faria ; Antonio Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014, VOLUME: 2014-January, PAGES: 288-291
INDEXED IN: Scopus DBLP CrossRef Handle
5040
TITLE: Modeling, dynamics, optimization and bioeconomics I: Contributions from ICMOD 2010 and the 5th Bioeconomy Conference 2012
AUTHORS: Pinto, AA ; Zilberman, D;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 1-2
INDEXED IN: Scopus CrossRef: 3

Results per Page: 20.
Page 252 of 414. Total results: 8279.