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

531 Team Members
Filters -> Year: 2024
6321
TITLE: Confirmatory Factorial Analysis of the Brazilian Version of the Competitive State Anxiety Inventory-2 (CSAI-2)
AUTHORS: Eduarda Maria Coelho ; Jose Vasconcelos Raposo ; Alvaro Cielo Mahl;
PUBLISHED: 2010, SOURCE: SPANISH JOURNAL OF PSYCHOLOGY, VOLUME: 13, ISSUE: 1, PAGES: 453-460
INDEXED IN: Scopus WOS CrossRef: 4
6322
TITLE: Constrains associated to e-business evolution
AUTHORS: Morais, EP; Pires, JA; Goncalves, R ;
PUBLISHED: 2010, SOURCE: E-Business Issues, Challenges and Opportunities for SMEs: Driving Competitiveness, PAGES: 335-349
INDEXED IN: Scopus CrossRef: 2
6323
TITLE: Contact center: information systems design  Full Text
AUTHORS: Rui Rijo; João Varajão; Ramiro Gonçalves ;
PUBLISHED: 2010, SOURCE: J Intell Manuf - Journal of Intelligent Manufacturing, VOLUME: 23, ISSUE: 3, PAGES: 497-515
INDEXED IN: CrossRef: 11
6324
TITLE: Context effect on query formulation and subjective relevance in health searches
AUTHORS: Teixeira Lopes, C ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PAGES: 205-214
INDEXED IN: Scopus DBLP CrossRef: 5
6325
TITLE: Contextualized Ubiquity: A new opportunity for rendering business information and services PDF
AUTHORS: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLISHED: 2010, SOURCE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, ISSUE: 3, PAGES: 55-64
INDEXED IN: Scopus DBLP CrossRef: 4 Handle
6326
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
INDEXED IN: Scopus WOS DBLP CrossRef
6327
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
INDEXED IN: Scopus DBLP CrossRef
6328
TITLE: Core patterns of object-oriented meta-architectures
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PAGES: 2:1-2:9
INDEXED IN: Scopus DBLP CrossRef: 5
6329
TITLE: Correcting routing information through GPS data processing
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 706-711
INDEXED IN: Scopus DBLP CrossRef: 9
6330
TITLE: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
INDEXED IN: Scopus WOS CrossRef: 56
6331
TITLE: CSCW and Information Systems Planning
AUTHORS: Jose Cabral; Hugo Paredes ; Joao Varajao; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PAGES: 2748-2754
INDEXED IN: Scopus WOS
6332
TITLE: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 131-137
INDEXED IN: Scopus WOS DBLP CrossRef
6333
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
6334
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
6335
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
6337
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Proceedings of the European Conference on Knowledge Management
INDEXED IN: Handle
6338
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
6339
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
6340
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

Results per Page: 20.
Page 317 of 406. Total results: 8111.