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

531 Team Members
Filters -> Year: 2025
6161
TÍTULO: Social and solidarity economy web information systems: State of the art. State of the Art
AUTORES: Malta, MC ; Baptista, AA;
PUBLICAÇÃO: 2012, FONTE: Social E-Enterprise: Value Creation through ICT, PÁGINAS: 1-16
INDEXADO EM: Scopus CrossRef Handle
6162
TÍTULO: Social interaction regulation in virtual web environments using the Social Theatres model  Full Text
AUTORES: Hugo Paredes ; Mario M Martins ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, VOLUME: 35, NÚMERO: 1, PÁGINAS: 3-19
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
6163
TÍTULO: Social Networked Multi-Agent Negotiation in Ontology Alignment
AUTORES: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLICAÇÃO: 2012, FONTE: 11th IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2012 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2012), VOL 2, VOLUME: 2, PÁGINAS: 310-315
INDEXADO EM: Scopus WOS CrossRef
6164
TÍTULO: Social networks, microblogging, virtual worlds, and Web 2.0 in the teaching of programming techniques for software engineering: A trial combining collaboration and social interaction beyond college
AUTORES: Leonel Morgado ; Benjamim Fonseca ; Paulo Martins ; Hugo Paredes ; Gonçalo Cruz ; Ana Margarida Maia; Ricardo Nunes ; Arnaldo Santos ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE Global Engineering Education Conference, EDUCON 2012 in Proceedings of the IEEE Global Engineering Education Conference, EDUCON 2012, Marrakech, Morocco, April 17-20, 2012, PÁGINAS: 1-7
INDEXADO EM: Scopus DBLP CrossRef: 7
6165
TÍTULO: Software components as invariant-typed arrows
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PÁGINAS: 1-5
INDEXADO EM: Scopus DBLP CrossRef
6166
TÍTULO: Spatial patterns of linear and nonparametric long-term trends in Baltic sea-level variability  Full Text
AUTORES: Donner, RV; Ehrcke, R; Barbosa, SM ; Wagner, J; Donges, JF; Kurths, J;
PUBLICAÇÃO: 2012, FONTE: NONLINEAR PROCESSES IN GEOPHYSICS, VOLUME: 19, NÚMERO: 1, PÁGINAS: 95-111
INDEXADO EM: Scopus WOS CrossRef: 37
6167
TÍTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PÁGINAS: 296-311
INDEXADO EM: Scopus DBLP CrossRef: 4
6168
TÍTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
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: 10
6169
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: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
INDEXADO EM: Scopus DBLP CrossRef: 7
6170
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: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PÁGINAS: 96-103
INDEXADO EM: Scopus DBLP CrossRef: 4
6171
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
6172
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: WOS
6173
TÍTULO: State of the art on methodologies for the development of a metadata application profile
AUTORES: Curado Malta, M ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PÁGINAS: 61-73
INDEXADO EM: Scopus CrossRef
6174
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
6175
TÍTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PÁGINAS: 4:1-4:5
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
6176
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
6177
TÍTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
INDEXADO EM: DBLP
6178
TÍTULO: Studying a personality coreference network in a news stories photo collection
AUTORES: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PÁGINAS: 485-488
INDEXADO EM: Scopus DBLP CrossRef: 1
6179
TÍTULO: Supervising and managing projects through a template based e-portfolio system
AUTORES: Felix, C ; Figueira, A ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PÁGINAS: 152-157
INDEXADO EM: Scopus DBLP
6180

Results per Page: 20.
Página 309 de 424. Total de resultados: 8469.