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

531 Team Members
Filters -> Year: 2024
7741
TITLE: Two-way analysis of variance for data from a concentrated bipolar Watson distribution  Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2006, SOURCE: JOURNAL OF APPLIED STATISTICS, VOLUME: 33, ISSUE: 6, PAGES: 575-581
INDEXED IN: Scopus WOS CrossRef: 6
7742
TITLE: Type-safe two-level data transformation
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
INDEXED IN: Scopus WOS DBLP CrossRef: 18
7744
TITLE: Virtual barriers of electronic government in Portugal
AUTHORS: Ezequiel Silva; Joaquim Faias; Carla Teixeira Lopes ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 805-820
INDEXED IN: Scopus WOS
7745
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Alipio M Jorge ; Fernando Pereira; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
INDEXED IN: Scopus WOS DBLP CrossRef: 9
7746
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
INDEXED IN: Handle
7747
TITLE: Wavelet analysis of the Lisbon and Gibraltar North Atlantic Oscillation winter indices  Full Text
AUTHORS: Barbosa, S ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2006, SOURCE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 26, ISSUE: 5, PAGES: 581-593
INDEXED IN: Scopus WOS CrossRef: 21
7748
TITLE: Weighted evidence accumulation clustering using subsampling
AUTHORS: Duarte, FJF; Fred, ALN ; Rodrigues, F ; Duarte, JMM ; Lourenco, A;
PUBLISHED: 2006, SOURCE: 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006 in Proceedings of the 6th International Workshop on Pattern Recognition in Information Systems, PRIS 2006, in Conjunction with ICEIS 2006, PAGES: 104-116
INDEXED IN: Scopus
7749
TITLE: WISE: Hierarchical soft clustering of web page search results based on web content mining techniques
AUTHORS: Ricardo Campos ; Gaeal Dias; Celia Nunes ;
PUBLISHED: 2006, SOURCE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings), PAGES: 301-304
INDEXED IN: Scopus WOS DBLP CrossRef: 8
7750
TITLE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
AUTHORS: Camacho, R ; Alves, A; da Costa, JP ; Azevedo, P ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 235-235
INDEXED IN: WOS
7751
TITLE: A coalgebraic semantic framework for component-based development in UML
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PAGES: 229-245
INDEXED IN: Scopus DBLP CrossRef: 3
7752
TITLE: A data mining approach for trip time prediction in mass transit companies
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLISHED: 2005
INDEXED IN: Handle
7753
TITLE: A Data Webhouse to monitor the use of a Web Based Higher Education Information System
AUTHORS: Carla T Lopes ; Gabriel David;
PUBLISHED: 2005
INDEXED IN: Handle
7754
TITLE: A Formal Definition of Data Quality Problems PDF
AUTHORS: Paulo Oliveira; Fátima Rodrigues ; Pedro Rangel Henriques ;
PUBLISHED: 2005, SOURCE: 10th International Conference on Information Quality, ICIQ 2005 in Proceedings of the 2005 International Conference on Information Quality (MIT IQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006
INDEXED IN: Scopus DBLP
7755
TITLE: A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
AUTHORS: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 69-86
INDEXED IN: Scopus DBLP CrossRef: 1
7756
TITLE: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PAGES: 131-138
INDEXED IN: DBLP
7757
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PAGES: 450-464
INDEXED IN: Scopus WOS DBLP CrossRef Handle
7758
TITLE: A multi-agent simulator for testing agent market strategies
AUTHORS: Viamonte, MJ ; Ramos, C ; Rodrigues, F ; Cardoso, JC;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 509-514
INDEXED IN: Scopus WOS
7759
TITLE: A perspective on component refinement  Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PAGES: 23-48
INDEXED IN: Scopus WOS DBLP CrossRef
7760
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 388 of 422. Total results: 8435.