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

150 Team Members
Filters -> Year: 2025
801
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML
AUTORES: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PÁGINAS: 147-158
INDEXADO EM: Scopus DBLP CrossRef: 18
802
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PÁGINAS: 303-308
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
803
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B, PÁGINAS: 216-233
INDEXADO EM: Scopus WOS DBLP CrossRef
804
TÍTULO: Characterizing the Control Logic of Web Applications' User Interfaces
AUTORES: Carlos Eduardo Silva ; Jose Creissac Campos ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, NÚMERO: PART 6, PÁGINAS: 263-276
INDEXADO EM: Scopus WOS DBLP CrossRef
805
TÍTULO: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTORES: Gomes, Elsa Ferreira ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PÁGINAS: 334-337
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Handle
806
TÍTULO: Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns
AUTORES: Nelson Goncalves; Rui Jose; Carlos Baquero ;
PUBLICAÇÃO: 2014, FONTE: 8th Data Privacy Management International Workshop (DPM) / 6th International Workshop on Autonomous and Spontaneous Security (SETOP) in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 2013, VOLUME: 8247, PÁGINAS: 51-65
INDEXADO EM: Scopus WOS DBLP CrossRef
807
TÍTULO: Compiling CAO: From cryptographic specifications to C implementations
AUTORES: Barbosa, M ; Castro, D; Silva, PF ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PÁGINAS: 240-244
INDEXADO EM: Scopus DBLP CrossRef: 1
808
TÍTULO: Computational Weight of Network Traffic Sampling Techniques
AUTORES: Joao Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Computers and Communication (ISCC) in 2014 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC)
INDEXADO EM: Scopus WOS CrossRef: 3
809
TÍTULO: Computational weight of network traffic sampling techniques
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014, PÁGINAS: 1-6
INDEXADO EM: DBLP
810
TÍTULO: Correction: Depth cues and perceived audiovisual synchrony of biological motion (PLoS ONE)  Full Text
AUTORES: Silva, CC; Mendonca, C; Mouta, S ; Silva, R; Campos, JC ; Santos, J;
PUBLICAÇÃO: 2014, FONTE: PLoS ONE, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 3
811
TÍTULO: DATAFLASKS: epidemic store for massive scale systems  Full Text
AUTORES: Francisco Maia ; Miguel Matos ; Ricardo Vilaca ; Jose Pereira ; Rui Oliveira ; Etienne Riviere;
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: 79-88
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
812
TÍTULO: Defining Energy Consumption Plans for Data Querying Processes
AUTORES: Ricardo Goncalves; Joao Saraiva ; Orlando Belo ;
PUBLICAÇÃO: 2014, FONTE: IEEE Fourth International Conference on Big Data and Cloud Computing (BdCloud) in 2014 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA AND CLOUD COMPUTING (BDCLOUD), PÁGINAS: 641-647
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
813
TÍTULO: Design and evaluation of a smart library using the APEX framework
AUTORES: Abade, T; Gomes, T; Silva, JL ; Campos, JC ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8530 LNCS, PÁGINAS: 307-318
INDEXADO EM: Scopus DBLP CrossRef: 5
814
TÍTULO: Detecting Anomalous Energy Consumption in Android Applications
AUTORES: Couto, M ; Carcao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PÁGINAS: 77-91
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
815
TÍTULO: Development of Dependable Controllers in the Context of Machines Design
AUTORES: Machado, J; Campos, JC ;
PUBLICAÇÃO: 2014, FONTE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16, PÁGINAS: 125-131
INDEXADO EM: Scopus WOS CrossRef Handle
816
TÍTULO: Distributed Exact Deduplication for Primary Storage Infrastructures
AUTORES: Joao Paulo ; Jose Pereira ;
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: 52-66
INDEXADO EM: Scopus WOS DBLP
817
TÍTULO: Efficient generic face model fitting to images and videos  Full Text
AUTORES: Luis Unzueta; Waldir Pimenta; Jon Goenetxea; Luis Paulo Santos ; Fadi Dornaika;
PUBLICAÇÃO: 2014, FONTE: IMAGE AND VISION COMPUTING, VOLUME: 32, NÚMERO: 5, PÁGINAS: 321-334
INDEXADO EM: Scopus WOS CrossRef: 13
818
TÍTULO: Efficient state-based CRDTs by decomposition
AUTORES: Almeida, PS ; Shoker, A ; Baquero, C ;
PUBLICAÇÃO: 2014, FONTE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014, PÁGINAS: 3:1-3:2
INDEXADO EM: Scopus DBLP
819
TÍTULO: Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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
820
TÍTULO: ES-SQL: Visually Querying Spreadsheets
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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

Results per Page: 20.
Página 41 de 75. Total de resultados: 1492.