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

531 Team Members
Filters -> Year: 2024
4221
TITLE: A communication channels dynamic switching model for always-connected availability of service oriented mobile applications
AUTHORS: Diogo Azevedo ; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), PAGES: 165-169
INDEXED IN: Scopus WOS DBLP CrossRef
4222
TITLE: A Comparative Study of Platforms for Research Data Management: Interoperability, Metadata Capabilities and Integration Potential
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 101-111
INDEXED IN: Scopus WOS DBLP CrossRef: 15
4223
TITLE: A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance PDF
AUTHORS: Pedro Strecht ; Luis Cruz; Carlos Soares ; João Mendes Moreira ; Rui Abreu ;
PUBLISHED: 2015, SOURCE: Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015, PAGES: 392-395
INDEXED IN: DBLP
4224
TITLE: A Consumption-Investment Problem with a Diminishing Basket of Goods
AUTHORS: Abdelrahim S Mousa; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PAGES: 295-310
INDEXED IN: WOS CrossRef: 1
4225
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Malta, MC ; Baptista, AA; Parente, C ;
PUBLISHED: 2015, SOURCE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, ISSUE: 1939-­‐1366, PAGES: 20-29
INDEXED IN: Scopus Handle
4227
TITLE: A Decision Support Platform for IT Infrastructure Management The University of Tras-os-Montes e Alto Douro Services of Information and Communications Case Study
AUTHORS: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: Scopus WOS CrossRef: 2
4228
TITLE: A Dynamic Logic for Every Season
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 130-145
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4229
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
INDEXED IN: Scopus WOS CrossRef
4230
TITLE: A framework for analysing dynamic communities in large-scale social networks
AUTHORS: Cerqueira, V ; Oliveira, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PAGES: 235-242
INDEXED IN: Scopus DBLP CrossRef
4231
TITLE: A framework for efficient execution of data parallel irregular applications on heterogeneous systems
AUTHORS: Roberto Ribeiro; Joaõ Barbosa ; Luís Paulo Santos;
PUBLISHED: 2015, SOURCE: Parallel Processing Letters, VOLUME: 25, ISSUE: 2, PAGES: 1550004
INDEXED IN: Scopus CrossRef: 2
4232
TITLE: A Framework for the Analysis of Access Control Policies with Emergency Management
AUTHORS: Sandra Alves ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 312, PAGES: 89-105
INDEXED IN: Scopus WOS DBLP CrossRef: 6
4233
TITLE: A Framework for the Secure Storage of Data Generated in the IoT
AUTHORS: Ricardo Costa ; António Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Symposium on Ambient Intelligence, ISAmI 2015 in Ambient Intelligence - Software and Applications - 6th International Symposium on Ambient Intelligence, ISAmI 2015, Salamanca, Spain, June 3-5, 2015., VOLUME: 376, PAGES: 175-182
INDEXED IN: Scopus DBLP CrossRef: 4
4234
TITLE: A Genetic Algorithm for Scheduling Alternative Tasks Subject to Technical Failure
AUTHORS: Fontes, DBMM ; Goncalves, JF ;
PUBLISHED: 2015, SOURCE: conference on Optimization Control and Applications in the Information Age in OPTIMIZATION, CONTROL, AND APPLICATIONS IN THE INFORMATION AGE: IN HONOR OF PANOS M. PARDALOS'S 60TH BIRTHDAY, VOLUME: 130, PAGES: 139-152
INDEXED IN: Scopus WOS CrossRef: 1 Handle
4235
TITLE: A linear algebra approach to OLAP  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PAGES: 283-307
INDEXED IN: Scopus WOS CrossRef: 14
4236
TITLE: A logic for n-dimensional hierarchical refinement  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PAGES: 40-56
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4237
TITLE: A Logic for Robotics?  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXED IN: Scopus WOS CrossRef: 1
4238
TITLE: A microscope for the data centre
AUTHORS: Pereira, N ; Tennina, S; Loureiro, J; Severino, R ; Saraiva, B; Santos, M; Filipe de Faria Pacheco ; Tovar, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF SENSOR NETWORKS, VOLUME: 18, ISSUE: 3-4, PAGES: 193-203
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4239
TITLE: A Modular Sampling Framework for Flexible Traffic Analysis
AUTHORS: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2015 23RD INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 200-204
INDEXED IN: Scopus WOS CrossRef: 2
4240
TITLE: A modular sampling framework for flexible traffic analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2015, SOURCE: 23rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2015, Split, Croatia, September 16-18, 2015, PAGES: 200-204
INDEXED IN: DBLP

Results per Page: 20.
Page 212 of 408. Total results: 8154.