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

531 Team Members
Filters -> Year: 2024
6841
TITLE: The role of programming models on reconfigurable computing fabrics
AUTHORS: Cardoso, JMP ; Bispo, J ; Sanches, AK;
PUBLISHED: 2009, SOURCE: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, PAGES: 290-316
INDEXED IN: Scopus CrossRef
6842
TITLE: Thematic Digital Libraries at the University of Porto: Metadata Integration over a Repository Infrastructure
AUTHORS: Isabel Barroso ; Marta Azevedo ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 13th European Conference on Research and Advanced Technology for Digital Libraries in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, VOLUME: 5714, PAGES: 392-395
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6843
TITLE: Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments  Full Text
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2009, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 69, ISSUE: 6, PAGES: 491-507
INDEXED IN: Scopus WOS CrossRef: 19
6844
TITLE: TISM: A Tool for Information Systems Management
AUTHORS: Antonio Trigo ; Barroso, J ; Varajao, J;
PUBLISHED: 2009, SOURCE: ICEIS 2009 - 11th International Conference on Enterprise Information Systems in ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings, VOLUME: DISI, PAGES: 303-307
INDEXED IN: Scopus DBLP
6845
TITLE: Total Mass TCI driven by Parametric Estimation
AUTHORS: Silva, MM; Sousa, C; Sebastiao, R ; Gama, J ; Mendonca, T ; Rocha, P; Esteves, S;
PUBLISHED: 2009, SOURCE: 17th Mediterranean Conference on Control and Automation in MED: 2009 17TH MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-3, PAGES: 1149-1154
INDEXED IN: WOS CrossRef: 17 Handle
6846
TITLE: TOWARDS AN IMMUNE-INSPIRED TEMPORAL ANOMALY DETECTION ALGORITHM BASED ON TUNABLE ACTIVATION THRESHOLDS
AUTHORS: Mario Antunes ; Manuel E. Correia ; Jorge Carneiro ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 357-362
INDEXED IN: Scopus WOS DBLP
6847
TITLE: Towards Patient Empowerment - Can the Patient Really Decide?
AUTHORS: Falcao Reis, F; Manuel E. Correia ; Sousa, L;
PUBLISHED: 2009, SOURCE: World Congress on Medical Physics and Biomedical Engineering in WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 12, VOLUME: 25, ISSUE: 12, PAGES: 345-+
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
6848
TITLE: Towards the Safe Programming of Wireless Sensor Networks
AUTHORS: Francisco Martins ; Luís M B Lopes ; João Barros;
PUBLISHED: 2009, SOURCE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17, PAGES: 49-62
INDEXED IN: Scopus DBLP CrossRef
6849
TITLE: Tracking Recurring Concepts with Meta-learners
AUTHORS: Joao Gama ; Petr Kosina;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 423-434
INDEXED IN: Scopus WOS DBLP CrossRef: 33
6850
TITLE: Trend patterns in global sea surface temperature  Full Text
AUTHORS: Susana M Barbosa ; Ole B Andersen;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 29, ISSUE: 14, PAGES: 2049-2055
INDEXED IN: Scopus WOS CrossRef: 27
6851
TITLE: Tutorial on agile documentation with Wikis
AUTHORS: Ademar Aguiar ;
PUBLISHED: 2009, SOURCE: 5th International Symposium on Wikis and Open Collaboration, WiKiSym 2009 in Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando, Florida, USA, October 25-27, 2009
INDEXED IN: Scopus DBLP CrossRef
6852
TITLE: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTHORS: Barbosa, LS ; Sun Meng;
PUBLISHED: 2009, SOURCE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PAGES: 340-347
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6853
TITLE: Unbalanced FIFO sorting for FPGA-based systems
AUTHORS: Rui Marcelino; Horácio C Neto ; João M P Cardoso ;
PUBLISHED: 2009, SOURCE: 2009 16th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2009 in 16th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2009, Yasmine Hammamet, Tunesia, 13-19 December, 2009, PAGES: 431-434
INDEXED IN: Scopus DBLP CrossRef: 11
6854
TITLE: Understanding the Earth as a Complex System - recent advances in data analysis and modelling in Earth sciences  Full Text
AUTHORS: Donner, R; Barbosa, S ; Kurths, J; Marwan, N;
PUBLISHED: 2009, SOURCE: EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, VOLUME: 174, ISSUE: 1, PAGES: 1-9
INDEXED IN: Scopus WOS CrossRef: 31
6855
TITLE: Universal Fluctuations of the S&100 Stock Index Returns  Full Text
AUTHORS: Rui Gonçalves ; Alberto Pinto ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2009, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, VOLUME: 1168, PAGES: 979-981
INDEXED IN: Scopus WOS CrossRef
6856
TITLE: Universality in nonlinear prediction of complex systems  Full Text
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, A ; Stollenwerk, N ;
PUBLISHED: 2009, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 15, ISSUE: 11-12, PAGES: 1067-1076
INDEXED IN: Scopus WOS CrossRef: 5
6857
TITLE: User Defined Indexing  Full Text
AUTHORS: David Vaz; Vitor Santos Costa ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649, PAGES: 372-386
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6858
TITLE: Using Compilers to Enhance Cryptographic Product Development
AUTHORS: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLISHED: 2009, SOURCE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009, PAGES: 291-301
INDEXED IN: DBLP CrossRef: 1
6859
TITLE: Using data mining techniques to probe the role of hydrophobic residues in protein folding and unfolding simulations
AUTHORS: Silva, CG; Ferreira, PG ; Azevedo, PJ ; Brito, RMM;
PUBLISHED: 2009, SOURCE: Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions, PAGES: 258-276
INDEXED IN: Scopus CrossRef
6860
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825, PAGES: 37-52
INDEXED IN: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Page 343 of 407. Total results: 8139.