Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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

149 Team Members
Filters -> Year: 2026
1061
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI, PÁGINAS: 512-519
INDEXADO EM: Scopus DBLP CrossRef: 1
1062
TÍTULO: Hybridisation at Work
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS, PÁGINAS: 340-345
INDEXADO EM: Scopus DBLP
1063
TÍTULO: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PÁGINAS: 297-311
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
1064
TÍTULO: Improving transaction abort rates without compromising throughput through judicious scheduling  Full Text
AUTORES: Ana Nunes Alonso ; José Pereira ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 493-494
INDEXADO EM: Scopus DBLP CrossRef
1065
TÍTULO: Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach
AUTORES: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PÁGINAS: 208-214
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
1066
TÍTULO: Interactive high fidelity visualization of complex materials on the GPU  Full Text
AUTORES: Nuno Silva; Luis Paulo Santos ;
PUBLICAÇÃO: 2013, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, NÚMERO: 7, PÁGINAS: 809-819
INDEXADO EM: Scopus WOS CrossRef: 2
1067
TÍTULO: Interactive Interaction Constraints  Full Text
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2013, FONTE: COORDINATION, VOLUME: 7890 LNCS, PÁGINAS: 211-225
INDEXADO EM: Scopus DBLP CrossRef: 5
1068
TÍTULO: Interactive Verification of Safety-Critical Software  Full Text
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PÁGINAS: 519-528
INDEXADO EM: Scopus WOS DBLP CrossRef
1069
TÍTULO: Lightweight, efficient, robust epidemic dissemination  Full Text
AUTORES: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, E;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, NÚMERO: 7, PÁGINAS: 987-999
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1070
TÍTULO: Logical clock systems and the challenges of autonomous operation
AUTORES: Victor Fonte ;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
1071
TÍTULO: MeT: workload aware elasticity for NoSQL. workload aware elasticity for NoSQL
AUTORES: Francisco Cruz ; Francisco Maia ; Miguel Matos ; Rui Oliveira ; João Paulo ; José Pereira ; Ricardo Vilaça ;
PUBLICAÇÃO: 2013, FONTE: EuroSys, PÁGINAS: 183-196
INDEXADO EM: Scopus DBLP CrossRef: 50 Handle
1072
TÍTULO: Model Repair and Transformation with Echo
AUTORES: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PÁGINAS: 694-697
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
1073
TÍTULO: Modeling 802.11 AP usage through daily keep-alive event counts  Full Text
AUTORES: Massa, D; Morla, R ;
PUBLICAÇÃO: 2013, FONTE: WIRELESS NETWORKS, VOLUME: 19, NÚMERO: 5, PÁGINAS: 1005-1022
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1074
TÍTULO: Motion Flow Tracking in Unconstrained Videos for Retail Scenario
AUTORES: Pereira, EM; Cardoso, JS ; Morla, R ;
PUBLICAÇÃO: 2013, FONTE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PÁGINAS: 340-349
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1075
TÍTULO: Multi-interval Discretization of Continuous Attributes for Label Ranking  Full Text
AUTORES: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PÁGINAS: 155-169
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Handle
1076
TÍTULO: Multiple Intermediate Structure Deforestation by Shortcut Fusion
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2013, FONTE: SBLP, VOLUME: 8129 LNCS, PÁGINAS: 120-134
INDEXADO EM: Scopus DBLP CrossRef: 1
1077
TÍTULO: On the Comprehension of DSL SyncTrap Events In IPTV Networks
AUTORES: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD; Kim, HS;
PUBLICAÇÃO: 2013, FONTE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 670-675
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1078
TÍTULO: On the reconfiguration of software connectors  Full Text
AUTORES: Nuno Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 1885-1892
INDEXADO EM: Scopus DBLP CrossRef: 2
1079
TÍTULO: On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption
AUTORES: Joël Alwen; Manuel Barbosa ; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLICAÇÃO: 2013, FONTE: IMACC, VOLUME: 8308 LNCS, PÁGINAS: 65-84
INDEXADO EM: Scopus DBLP
1080
TÍTULO: On the Semantic Security of Functional Encryption Schemes
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PÁGINAS: 143-161
INDEXADO EM: Scopus WOS DBLP CrossRef: 19

Results per Page: 20.
Página 54 de 83. Total de resultados: 1642.