CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 8181

531 Team Members
Filters -> Year: 2024
6381
TÍTULO: Compact Lists for Tabled Evaluation
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PÁGINAS: 249-263
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6382
TÍTULO: COMPARISON OF INTERNET USAGE HABITS IN TWO GENERATIONS OF HIGHER EDUCATION STUDENTS A Case Study
AUTORES: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLICAÇÃO: 2010, FONTE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PÁGINAS: 415-418
INDEXADO EM: Scopus WOS DBLP
6383
TÍTULO: Compiling for Reconfigurable Computing: A Survey. A survey  Full Text
AUTORES: Joao M P Cardoso ; Pedro C Diniz ; Markus Weinhardt;
PUBLICAÇÃO: 2010, FONTE: ACM COMPUTING SURVEYS, VOLUME: 42, NÚMERO: 4, PÁGINAS: 1-65
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
6384
TÍTULO: Confirmatory Factorial Analysis of TEOSQp  Full Text
AUTORES: Fernandes, HM ; Jose Jacinto B Branco Vasconcelos Raposo ;
PUBLICAÇÃO: 2010, FONTE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 23, NÚMERO: 1, PÁGINAS: 92-101
INDEXADO EM: Scopus WOS CrossRef: 3
6385
TÍTULO: Confirmatory Factorial Analysis of the Brazilian Version of the Competitive State Anxiety Inventory-2 (CSAI-2)
AUTORES: Eduarda Maria Coelho ; Jose Vasconcelos Raposo ; Alvaro Cielo Mahl;
PUBLICAÇÃO: 2010, FONTE: SPANISH JOURNAL OF PSYCHOLOGY, VOLUME: 13, NÚMERO: 1, PÁGINAS: 453-460
INDEXADO EM: Scopus WOS CrossRef: 4
6386
TÍTULO: Constrains associated to e-business evolution
AUTORES: Morais, EP; Pires, JA; Goncalves, R ;
PUBLICAÇÃO: 2010, FONTE: E-Business Issues, Challenges and Opportunities for SMEs: Driving Competitiveness, PÁGINAS: 335-349
INDEXADO EM: Scopus CrossRef: 2
6387
TÍTULO: Contact center: information systems design  Full Text
AUTORES: Rui Rijo; João Varajão; Ramiro Gonçalves ;
PUBLICAÇÃO: 2010, FONTE: J Intell Manuf - Journal of Intelligent Manufacturing, VOLUME: 23, NÚMERO: 3, PÁGINAS: 497-515
INDEXADO EM: CrossRef: 11
6388
TÍTULO: Context effect on query formulation and subjective relevance in health searches
AUTORES: Teixeira Lopes, C ; Ribeiro, C ;
PUBLICAÇÃO: 2010, FONTE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PÁGINAS: 205-214
INDEXADO EM: Scopus DBLP CrossRef: 5
6389
TÍTULO: Contextualized Ubiquity: A new opportunity for rendering business information and services PDF
AUTORES: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLICAÇÃO: 2010, FONTE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, NÚMERO: 3, PÁGINAS: 55-64
INDEXADO EM: Scopus DBLP CrossRef: 4 Handle
6390
TÍTULO: Contract-Based Slicing
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 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, NÚMERO: PART 1, PÁGINAS: 106-120
INDEXADO EM: Scopus WOS DBLP CrossRef
6391
TÍTULO: Contract-based slicing helps on safety reuse
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PÁGINAS: 62-63
INDEXADO EM: Scopus DBLP CrossRef
6392
TÍTULO: Core patterns of object-oriented meta-architectures
AUTORES: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 2:1-2:9
INDEXADO EM: Scopus DBLP CrossRef: 5
6393
TÍTULO: Correcting routing information through GPS data processing
AUTORES: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 706-711
INDEXADO EM: Scopus DBLP CrossRef: 9
6394
TÍTULO: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTORES: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, NÚMERO: 12, PÁGINAS: 3227-3236
INDEXADO EM: Scopus WOS CrossRef: 56
6395
TÍTULO: CSCW and Information Systems Planning
AUTORES: Jose Cabral; Hugo Paredes ; Joao Varajao; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLICAÇÃO: 2010, FONTE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PÁGINAS: 2748-2754
INDEXADO EM: Scopus WOS
6396
TÍTULO: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTORES: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLICAÇÃO: 2010, FONTE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, NÚMERO: PART 1, PÁGINAS: 131-137
INDEXADO EM: Scopus WOS DBLP CrossRef
6397
TÍTULO: Data Model for Procedural Modelling from Textual Descriptions
AUTORES: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6398
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3, PÁGINAS: 203-218
INDEXADO EM: Scopus DBLP CrossRef
6399
TÍTULO: Dependability in Aggregation by Averaging PDF
AUTORES: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.6596
INDEXADO EM: DBLP arXiv

Results per Page: 20.
Página 320 de 410. Total de resultados: 8181.