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
961
TÍTULO: Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 153-156
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
962
TÍTULO: ES-SQL: Visually Querying Spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 203-204
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
963
TÍTULO: FaultySheet Detective: When Smells Meet Fault Localization  Full Text
AUTORES: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PÁGINAS: 625-628
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
964
TÍTULO: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTORES: Barbosa, LS ; Lumpe, M;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, NÚMERO: P3, PÁGINAS: 253-254
INDEXADO EM: Scopus WOS DBLP CrossRef
965
TÍTULO: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTORES: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PÁGINAS: 343-358
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
966
TÍTULO: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTORES: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLICAÇÃO: 2014, FONTE: AAAI Spring Symposia, VOLUME: SS-14-02, PÁGINAS: 62-67
INDEXADO EM: Scopus DBLP
967
TÍTULO: Generating attribute grammar-based bidirectional transformations from rewrite rules  Full Text
AUTORES: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLICAÇÃO: 2014, FONTE: PEPM, PÁGINAS: 63-70
INDEXADO EM: Scopus DBLP CrossRef: 3
968
TÍTULO: Graphical Querying of Model-Driven Spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, NÚMERO: PART 1, PÁGINAS: 419-430
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
969
TÍTULO: HCI engineering: charting the way towards methods and tools for advanced interactive systems. charting the way towards methods and tools for advanced interactive systems
AUTORES: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLICAÇÃO: 2014, FONTE: EICS, PÁGINAS: 299-300
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
970
TÍTULO: Improving FEM crash simulation accuracy through local thickness estimation based on CAD data  Full Text
AUTORES: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLICAÇÃO: 2014, FONTE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PÁGINAS: 52-62
INDEXADO EM: Scopus WOS CrossRef: 4
971
TÍTULO: Improving the Scalability of DPWS-Based Networked Infrastructures
AUTORES: Filipe Campos; José Pereira ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1407.8546
INDEXADO EM: DBLP
972
TÍTULO: LAYSTREAM: composing standard gossip protocols for live video streaming
AUTORES: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLICAÇÃO: 2014, FONTE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PÁGINAS: 1-10
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
973
TÍTULO: Link Community Detection Using Generative Model and Nonnegative Matrix Factorization  Full Text
AUTORES: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLICAÇÃO: 2014, FONTE: PLOS ONE, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 26
974
TÍTULO: Making Operation-Based CRDTs Operation-Based
AUTORES: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLICAÇÃO: 2014, FONTE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PÁGINAS: 126-140
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
975
TÍTULO: Making operation-based CRDTs operation-based
AUTORES: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLICAÇÃO: 2014, FONTE: PaPEC@EuroSys, PÁGINAS: 7:1-7:2
INDEXADO EM: Scopus DBLP CrossRef: 16
976
TÍTULO: MDSheet -model-driven spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PÁGINAS: 31-33
INDEXADO EM: Scopus Handle
977
TÍTULO: Model-based programming environments for spreadsheets  Full Text
AUTORES: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, NÚMERO: P2, PÁGINAS: 254-275
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
979
TÍTULO: Monadic combinators for "Putback" style bidirectional programming  Full Text
AUTORES: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: PEPM, PÁGINAS: 39-50
INDEXADO EM: Scopus DBLP CrossRef: 24
980
TÍTULO: On the Support of Versioning in Distributed Key-Value Stores  Full Text
AUTORES: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLICAÇÃO: 2014, FONTE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PÁGINAS: 95-104
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Handle

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