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

167 Team Members
Filters -> Year: 2026
1141
TÍTULO: Verification conditions for single-assignment programs
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 1264-1270
INDEXADO EM: Scopus DBLP CrossRef: 1
1142
TÍTULO: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PÁGINAS: 82-93
INDEXADO EM: Scopus WOS
1143
TÍTULO: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
AUTORES: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, NÚMERO: 11, PÁGINAS: 2175-2188
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1144
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
1145
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
1146
TÍTULO: A Markov random walk under constraint for discovering overlapping communities in complex networks PDF
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 arXiv CrossRef: 50
1147
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
1148
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
1149
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: 9
1150
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
1151
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
1152
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
1153
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: 386
1154
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
1155
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
1156
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
1157
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
1158
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
1159
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
1160
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

Results per Page: 20.
Página 58 de 79. Total de resultados: 1571.