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

149 Team Members
Filters -> Year: 2026
1221
TÍTULO: A Correlation-Aware Data Placement Strategy for Key-Value Stores
AUTORES: Vilaça, R ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 214-227
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
1222
TÍTULO: A language for behavioural modelling of architectural patterns
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: BM-FA, PÁGINAS: 17-24
INDEXADO EM: Scopus DBLP CrossRef: 5
1223
TÍTULO: A Markov random walk under constraint for discovering overlapping communities in complex networks
AUTORES: Jin, D; Yang, B; Baquero, C ; Liu, DY; He, DX; Liu, J;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: abs/1303.5675, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 49
1224
TÍTULO: An epidemic approach to dependable key-value substrates
AUTORES: Miguel Matos ; Ricardo Vilaça ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2011, FONTE: DSN Workshops, PÁGINAS: 105-110
INDEXADO EM: Scopus DBLP CrossRef: 3
1225
TÍTULO: Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs
AUTORES: Jin, D; Liu, DY; Yang, B; Baquero, C ; He, DX;
PUBLICAÇÃO: 2011, FONTE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II, VOLUME: 6635, NÚMERO: PART 2, PÁGINAS: 123-134
INDEXADO EM: Scopus WOS DBLP
1226
TÍTULO: Assessing NoSQL Databases for Telecom Applications
AUTORES: Cruz, F ; Gomes, P; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: 13th IEEE International Conference on Commerce and Enterprise Computing (CEC) in 13TH IEEE INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2011), PÁGINAS: 267-270
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1227
TÍTULO: Bigraphical Modelling of Architectural Patterns
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: FACS, VOLUME: 7253 LNCS, PÁGINAS: 313-330
INDEXADO EM: Scopus DBLP CrossRef: 10
1228
TÍTULO: Calculating with lenses: optimising bidirectional transformations. optimising bidirectional transformations
AUTORES: Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2011, FONTE: PEPM, PÁGINAS: 91-100
INDEXADO EM: Scopus DBLP CrossRef: 5
1229
TÍTULO: Channel-based coordination via constraint satisfaction
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8, PÁGINAS: 681-710
INDEXADO EM: Scopus DBLP CrossRef: 22
1230
TÍTULO: Conflict-Free Replicated Data Types
AUTORES: Shapiro, M; Preguiça, N ; Baquero, C ; Zawirski, M;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, VOLUME: 6976, PÁGINAS: 386-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 372
1231
TÍTULO: Convergent and Commutative Replicated Data Types
AUTORES: Marc Shapiro; Nuno M Preguiça ; Carlos Baquero ; Marek Zawirski;
PUBLICAÇÃO: 2011, FONTE: Bull. EATCS, VOLUME: 104, PÁGINAS: 67-88
INDEXADO EM: DBLP
1232
TÍTULO: Decoupled execution of synchronous coordination models via behavioural automata
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: FOCLASA, VOLUME: 58, PÁGINAS: 65-79
INDEXADO EM: Scopus DBLP CrossRef: 7
1233
TÍTULO: Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems
AUTORES: Cunha, J ; Mendes, J ; Saraiva, J ; Fernandes, JP ;
PUBLICAÇÃO: 2011, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011), PÁGINAS: 179-186
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
1234
TÍTULO: End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
AUTORES: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: IS-EUD, VOLUME: 6654 LNCS, PÁGINAS: 282-288
INDEXADO EM: Scopus DBLP CrossRef: 6 Handle
1235
TÍTULO: Estimating local part thickness in midplane meshes for finite element analysis
AUTORES: Ferreira, V; Santos, LP ; Franzen, M; Ghouati, OO; Simoes, R ;
PUBLICAÇÃO: 2011, FONTE: International Journal of Mathematics and Computers in Simulation, VOLUME: 5, NÚMERO: 1, PÁGINAS: 69-76
INDEXADO EM: Scopus
1236
TÍTULO: Experimental evaluation of distributed middleware with a virtualized Java environment
AUTORES: Nuno A Carvalho; João Bordalo; Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2011, FONTE: MW4SOC, PÁGINAS: 3
INDEXADO EM: Scopus DBLP CrossRef: 5
1237
TÍTULO: Fault-Tolerant Aggregation: Flow-Updating Meets Mass-Distribution
AUTORES: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P ; Mosteiro, MA;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Principles of Distributed Systems (OPODIS 2011) in PRINCIPLES OF DISTRIBUTED SYSTEMS, VOLUME: 7109, PÁGINAS: 513-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1238
TÍTULO: GammaPolarSlicer
AUTORES: Areias, S; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, NÚMERO: 2, PÁGINAS: 477-499
INDEXADO EM: Scopus WOS DBLP CrossRef
1240
TÍTULO: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTORES: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PÁGINAS: 269-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 8

Results per Page: 20.
Página 62 de 83. Total de resultados: 1659.