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

531 Team Members
Filters -> Year: 2025
7041
TITLE: CrimsonHex: an interoperable repository of programming problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2009
INDEXED IN: Handle
7042
TITLE: CrimsonHex: um repositório de objectos de aprendizagem
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: JLBE09: Jornadas Luso-Brasileiras de Ensino e Tecnologia em Engenharia
INDEXED IN: Handle
7043
TITLE: CYCLES AND UNIVERSALITY IN SUNSPOT NUMBER FLUCTUATIONS
AUTHORS: Goncalves, R ; Pinto, AA ; Stollenwerk, N ;
PUBLISHED: 2009, SOURCE: ASTROPHYSICAL JOURNAL, VOLUME: 691, ISSUE: 2, PAGES: 1583-1586
INDEXED IN: Scopus WOS CrossRef: 8
7044
TITLE: Data Mining Applications in Power Systems - Case-studies and Future Trends
AUTHORS: Zita A Vale ; Carlos Ramos ; Sergio Ramos; Tiago Pinto ;
PUBLISHED: 2009, SOURCE: Transmission and Distribution Conference and Exposition - Asia and Pacific in T& D ASIA: 2009 TRANSMISSION & DISTRIBUTION CONFERENCE & EXPOSITION: ASIA AND PACIFIC, PAGES: 869-872
INDEXED IN: Scopus WOS CrossRef: 4
7045
TITLE: Data Streams
AUTHORS: João Gama ; Pedro Pereira Rodrigues ;
PUBLISHED: 2009, SOURCE: Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), PAGES: 561-565
INDEXED IN: DBLP
7046
TITLE: Decision Trees Using the Minimum Entropy-of-Error Principle
AUTHORS: Marques de Sa, JPM; Joao Gama ; Raquel Sebastiao ; Luis A Alexandre ;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Analysis of Images and Patterns in COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS, VOLUME: 5702, PAGES: 799-807
INDEXED IN: Scopus WOS DBLP CrossRef: 2
7047
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PAGES: 146-155
INDEXED IN: DBLP
7048
TITLE: Defining programming problems as learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
INDEXED IN: Scopus Handle
7049
TITLE: Design for an adaptive object-model framework an overview
AUTHORS: Ferreira, HS ; Correia, FF ; Aguiar, A ;
PUBLISHED: 2009, SOURCE: 4th Workshop on Models@run.time 2009, Held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009 in CEUR Workshop Proceedings, VOLUME: 509, PAGES: 71-80
INDEXED IN: Scopus
7050
TITLE: Designing a user interface for repositories of learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
INDEXED IN: Scopus Handle
7051
TITLE: Deterministic Motif Mining in Protein Databases
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications (4 Volumes), PAGES: 2632-2656
INDEXED IN: DBLP
7052
TITLE: Deterministic pattern mining on genetic sequences
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
INDEXED IN: Scopus CrossRef
7053
TITLE: Deterministic versus stochastic trends: Detection and challenges  Full Text
AUTHORS: Fatichi, S; Barbosa, SM ; Caporali, E; Silva, ME ;
PUBLISHED: 2009, SOURCE: JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, VOLUME: 114, ISSUE: 18
INDEXED IN: Scopus WOS CrossRef: 69
7054
TITLE: Dimensional Templates in Data Warehouses: Automating the Multidimensional Design of Data Warehouse Prototypes
AUTHORS: Rui Oliveira; Fatima Rodrigues ; Paulo Martins ; Moura, J.P. ;
PUBLISHED: 2009, SOURCE: 11th International Conference on Enterprise Information Systems in ENTERPRISE INFORMATION SYSTEMS-BK, VOLUME: 24, PAGES: 184-195
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7055
TITLE: DISAMBIGUATING WEB SEARCH RESULTS BY TOPIC AND TEMPORAL CLUSTERING A Proposal
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Discovery and Information Retrieval in KDIR 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, PAGES: 292-296
INDEXED IN: Scopus WOS DBLP
7057
TITLE: Discovery-based Edit Assistance for Spreadsheets
AUTHORS: Jacome Cunha ; Joao Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing in 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, PAGES: 233-237
INDEXED IN: Scopus WOS DBLP CrossRef: 13
7058
TITLE: Discriminant Analysis for the von Mises-Fisher Distribution  Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2009, SOURCE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 38, ISSUE: 9, PAGES: 1991-2003
INDEXED IN: Scopus WOS CrossRef: 9
7060
TITLE: Distributed, Modular HTL  Full Text
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 171-180
INDEXED IN: Scopus WOS DBLP CrossRef: 13

Results per Page: 20.
Page 353 of 429. Total results: 8568.