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

149 Team Members
Filters -> Year: 2026
761
TÍTULO: Applying the 3C Model to FLOSS Communities
AUTORES: Fernandes, S ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on Collaboration Technologies (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2016, VOLUME: 9848, PÁGINAS: 139-150
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
762
TÍTULO: Asymmetric Combination of Logics is Functorial: A Survey
AUTORES: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: WADT, VOLUME: 10644 LNCS, PÁGINAS: 39-55
INDEXADO EM: Scopus DBLP CrossRef: 2
763
TÍTULO: Benchmarking Polystores: the CloudMdsQL Experience
AUTORES: Kolev, B; Pau, R; Levchenko, O; Valduriez, P; Jiménez Peri, R; Pereira, J ;
PUBLICAÇÃO: 2016, FONTE: 4th IEEE International Conference on Big Data (Big Data) in 2016 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), PÁGINAS: 2574-2579
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
764
TÍTULO: BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTORES: Machado, N ; Maia, F ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2016, FONTE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PÁGINAS: 71-80
INDEXADO EM: Scopus WOS DBLP CrossRef
765
TÍTULO: CloudMdsQL: querying heterogeneous cloud data stores with a common language  Full Text
AUTORES: Kolev, B; Valduriez, P; Bondiombouy, C; Jiménez Peris, R; Pau, R; Pereira, J ;
PUBLICAÇÃO: 2016, FONTE: DISTRIBUTED AND PARALLEL DATABASES, VOLUME: 34, NÚMERO: 4, PÁGINAS: 463-503
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
766
TÍTULO: Clustering VoIP caller for SPIT identification  Full Text
AUTORES: Azad, MA ; Morla, R ; Arshad, J; Salah, K;
PUBLICAÇÃO: 2016, FONTE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 9, NÚMERO: 18, PÁGINAS: 4827-4838
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
767
TÍTULO: CoherentPaaS - A Coherent and Rich PaaS with a Common Programming Model
AUTORES: Ricardo Jimenez; Marta Patiño; Ivan Brondino; Valerio Vianello; Ricardo Vilaça ; Boyan Kolev; Patrick Valduriez; Raquel Pau; Apostolos Hatzimanikatis; Vassilis Spitadakis; Dimitris Bouras; Yorgos Panagiotakis; Giorgos Saloustros; Anastasios Papagiannis; Pilar González Férez; Angelos Bilas; Ying Zhang; Pavlos Kranas; Sotiris Stamokostas; Vrettos Moulos; Fotis Aisopos; Francois Sabary; Luis Cortesao; Diogo Domingues Regateiro; José Pereira ; Rui Oliveira; ...Mais
PUBLICAÇÃO: 2016, FONTE: EPS
INDEXADO EM: DBLP
768
TÍTULO: Collaborative Environments in Software Engineering Teaching: A FLOSS Approach
AUTORES: Sara Fernandesand; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), PÁGINAS: 201-206
INDEXADO EM: WOS
769
TÍTULO: Concurrency Debugging with Differential Schedule Projections  Full Text
AUTORES: Machado, N ; Quinta, D; Lucia, B; Rodrigues, L ;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 25, NÚMERO: 2, PÁGINAS: 14:1-14:37
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
770
TÍTULO: Continuity as a computational effect
AUTORES: Neves, R ; Barbosa, LS ; Hofmann, D ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 1057-1085
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
771
TÍTULO: Coordination Models and Languages
AUTORES: Alberto Lluch Lafuente; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
773
TÍTULO: Design and Implementation of the CloudMdsQL Multistore System
AUTORES: Kolev, B; Bondiombouy, C; Levchenko, O; Valduriez, P; Jimenez, R; Pau, R; Pereira, J ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 352-359
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
774
TÍTULO: Design of an RDMA Communication Middleware for Asynchronous Shuffling in Analytical Processing
AUTORES: Gonçalves, RC ; Pereira, J ; Jiménez Peris, R;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PÁGINAS: 348-351
INDEXADO EM: Scopus WOS DBLP CrossRef
775
TÍTULO: Digital Government and Administrative Burden Reduction
AUTORES: Veiga, L ; Janowski, T; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016, PÁGINAS: 323-326
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
776
TÍTULO: Dynamic adaptation of personal ubicomp environments  Full Text
AUTORES: Moreira, RS ; Jose M Torres ; Sobral, P ; Morla, R ; Rouncefield, M; Blair, GS;
PUBLICAÇÃO: 2016, FONTE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 20, NÚMERO: 2, PÁGINAS: 165-166
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
777
TÍTULO: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PÁGINAS: 422-440
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
778
TÍTULO: Efficient Deduplication in a Distributed Primary Storage Infrastructure  Full Text
AUTORES: Paulo, J ; Pereira, J ;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON STORAGE, VOLUME: 12, NÚMERO: 4, PÁGINAS: 20:1-20:35
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
779
TÍTULO: Efficient SQL Adaptive Query Processing in Cloud Databases Systems
AUTORES: Clayton Maciel Costa ; Cicilia Raquel M Maia Leite; Antonio Luis Sousa ;
PUBLICAÇÃO: 2016, FONTE: IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS) in PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS), PÁGINAS: 114-121
INDEXADO EM: Scopus WOS CrossRef: 3
780
TÍTULO: Electronic governance in Portugal. a silent pioneer
AUTORES: Sara Fernandes; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
INDEXADO EM: CrossRef: 3

Results per Page: 20.
Página 39 de 83. Total de resultados: 1657.