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

531 Team Members
Filters -> Year: 2025
6661
TITLE: Data Model for Procedural Modelling from Textual Descriptions
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6662
TITLE: Deductive verification of cryptographic software  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
INDEXED IN: Scopus DBLP CrossRef
6663
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: DBLP arXiv
6665
TITLE: Design an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010
INDEXED IN: Handle
6666
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
INDEXED IN: Scopus
6667
TITLE: Determining the best classification algorithm with recourse to sampling and metalearning
AUTHORS: Brazdil, P ; Leite, R;
PUBLISHED: 2010, SOURCE: Studies in Computational Intelligence, VOLUME: 262, PAGES: 173-188
INDEXED IN: Scopus DBLP CrossRef: 8
6668
TITLE: Developing information services for the social solidarity institutions
AUTHORS: Queiros, A ; De Carvalho, SCS; Pavao, JA ; Da Rocha, NFP ;
PUBLISHED: 2010, SOURCE: IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010 in Proceedings of the IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010, PAGES: 299-302
INDEXED IN: Scopus
6669
TITLE: DFT-based frequency estimation under harmonic interference
AUTHORS: Ferreira, A ; Sousa, R ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
INDEXED IN: Scopus CrossRef: 3
6670
TITLE: Dimensioning and Worst-Case Analysis of Cluster-Tree Sensor Networks
AUTHORS: Jurcik, P; Koubaa, A ; Severino, R ; Alves, M ; Tovar, E ;
PUBLISHED: 2010, SOURCE: ACM TRANSACTIONS ON SENSOR NETWORKS, VOLUME: 7, ISSUE: 2, PAGES: 1-47
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6671
TITLE: Discovering Coordination Patterns
AUTHORS: Rodrigues, NF ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 260, PAGES: 189-207
INDEXED IN: Scopus CrossRef
6672
TITLE: Distributed Informal Information Systems for Innovation: An Empirical Study of the Role of Social Networks
AUTHORS: Vasco Vasconcelos ; Pedro Campos ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 208-217
INDEXED IN: Scopus WOS CrossRef: 1
6673
TITLE: Dois anos na vida de uma revista científica: Um olhar para o futuro  Full Text
AUTHORS: José Vasconcelos-Raposo ;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 4
INDEXED IN: CrossRef
6674
TITLE: Domain engineering of software product lines with service-oriented architecture
AUTHORS: Paulo G G Queiroz ; Rosana T V Braga;
PUBLISHED: 2010, SOURCE: Proceedings - 4th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2010, PAGES: 80-89
INDEXED IN: Scopus CrossRef
6675
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTHORS: Nuno M. Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
INDEXED IN: DBLP arXiv
6676
TITLE: Drift Severity Metric
AUTHORS: Petr Kosina; Joao Gama ; Raquel Sebastiao ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 1119-1120
INDEXED IN: Scopus WOS DBLP
6677
TITLE: Dynamics of Epidemiological Models  Full Text
AUTHORS: Alberto Pinto ; Maira Aguiar ; Jose Martins ; Nico Stollenwerk ;
PUBLISHED: 2010, SOURCE: ACTA BIOTHEORETICA, VOLUME: 58, ISSUE: 4, PAGES: 381-389
INDEXED IN: Scopus WOS CrossRef: 8
6678
TITLE: Dynamics of Immunological Models  Full Text
AUTHORS: Pinto, AA ; Burroughs, NJ; Ferreira, M ; Oliveira, BMPM ;
PUBLISHED: 2010, SOURCE: ACTA BIOTHEORETICA, VOLUME: 58, ISSUE: 4, PAGES: 391-404
INDEXED IN: Scopus WOS CrossRef: 4
6679
TITLE: E-business Maturity and Information Technology In Portuguese SMEs  Full Text
AUTHORS: Ramiro Gonçalves ; Sónia Santos; Elisabete Morais;
PUBLISHED: 2010, SOURCE: Communications of the IBIMA - CIBIMA, PAGES: 1-8
INDEXED IN: CrossRef: 3
6680
TITLE: E-learning frameworks: a survey
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2010, SOURCE: Proceedings of the 4th International Technology, Education and Development Conference
INDEXED IN: Handle

Results per Page: 20.
Page 334 of 424. Total results: 8461.