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

536 Team Members
Filters -> Year: 2026
8101
TÍTULO: Specification-Driven Unit Test Generation for Java Generic Classes
AUTORES: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 296-311
INDEXADO EM: Scopus DBLP CrossRef: 5
8102
TÍTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
8103
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
INDEXADO EM: Scopus DBLP CrossRef: 7
8104
TÍTULO: Spectra: Robust Estimation of Distribution Functions in Networks
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
INDEXADO EM: Scopus DBLP CrossRef: 4
8105
TÍTULO: Sports with values: Constructing a fairer society [Num desporto com valores: Construir uma sociedade mais justa]
AUTORES: Vasconcelos Raposo, J ;
PUBLICAÇÃO: 2012, FONTE: Motricidade, VOLUME: 8, NÚMERO: 2, PÁGINAS: 1-7
INDEXADO EM: Scopus
8106
TÍTULO: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
INDEXADO EM: Scopus WOS CrossRef: 3
8107
TÍTULO: Stationarity in moment closure and quasi-stationarity of the SIS model  Full Text
AUTORES: Jose Martins ; Alberto Pinto ; Nico Stollenwerk ;
PUBLICAÇÃO: 2012, FONTE: MATHEMATICAL BIOSCIENCES, VOLUME: 236, NÚMERO: 2, PÁGINAS: 126-131
INDEXADO EM: Scopus WOS CrossRef: 2
8108
TÍTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
8109
TÍTULO: Strategic optimization in R&D investment  Full Text
AUTORES: Ferreira, M; Figueiredo, IP ; Oliveira, BMPM ; Pinto, AA ;
PUBLICAÇÃO: 2012, FONTE: OPTIMIZATION, VOLUME: 61, NÚMERO: 8, PÁGINAS: 1013-1023
INDEXADO EM: Scopus WOS CrossRef: 6
8110
TÍTULO: Structural alignment of plain text books
AUTORES: Santos, A ; Almeida, JJ ; Carvalho, N;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PÁGINAS: 2069-2074
INDEXADO EM: Scopus WOS DBLP
8111
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
INDEXADO EM: DBLP
8112
TÍTULO: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTORES: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2012, FONTE: ECIR, VOLUME: 7224 LNCS, PÁGINAS: 485-488
INDEXADO EM: Scopus DBLP CrossRef: 2
8113
TÍTULO: Supervising and Managing Projects through a Template based e-Portfolio System
AUTORES: Catarina Félix ; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: CSEDU (1), VOLUME: 1, PÁGINAS: 152-157
INDEXADO EM: Scopus DBLP
8114
8115
TÍTULO: Teen conceptualization of digital technologies
AUTORES: Pedro Quelhas Brito ;
PUBLICAÇÃO: 2012, FONTE: NEW MEDIA & SOCIETY, VOLUME: 14, NÚMERO: 3, PÁGINAS: 513-532
INDEXADO EM: Scopus WOS CrossRef: 8
8116
TÍTULO: Telling stories with digital technologies in corporative training context
AUTORES: Josias R Hack; Fernando Ramos; Arnaldo Santos ;
PUBLICAÇÃO: 2012, FONTE: DST 2012: International Conference on Digital Storytelling
INDEXADO EM: Handle
8117
TÍTULO: Temporal Web Image Retrieval
AUTORES: Dias, G; Moreno, JG; Jatowt, A; Campos, R ;
PUBLICAÇÃO: 2012, FONTE: 19th International Symposium on String Processing and Information Retrieval (SPIRE) / 8th Latin American Web Congress (LA-WEB) in STRING PROCESSING AND INFORMATION RETRIEVAL, VOLUME: 7608, PÁGINAS: 199-204
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
8118
TÍTULO: Test Generation from UML Sequence Diagrams
AUTORES: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 245-250
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
8119
TÍTULO: Text Categorization Using an Ensemble Classifier Based on a Mean Co-association Matrix
AUTORES: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLICAÇÃO: 2012, FONTE: MLDM, VOLUME: 7376 LNAI, PÁGINAS: 525-539
INDEXADO EM: Scopus DBLP CrossRef: 3
8120
TÍTULO: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
AUTORES: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLICAÇÃO: 2012, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, NÚMERO: 5, PÁGINAS: 567-588
INDEXADO EM: Scopus DBLP CrossRef: 36

Results per Page: 20.
Página 406 de 533. Total de resultados: 10645.