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

150 Team Members
Filters -> Year: 2024
921
TITLE: AJITTS: Adaptive just-in-time transaction scheduling
AUTHORS: Nunes, A ; Oliveira, R ; Pereira, J ;
PUBLISHED: 2013, SOURCE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PAGES: 57-70
INDEXED IN: Scopus DBLP CrossRef: 2
922
TITLE: Alloy Meets the Algebra of Programming: A Case Study  Full Text
AUTHORS: Jose N Oliveira ; Miguel A Ferreira;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3, PAGES: 305-326
INDEXED IN: Scopus WOS CrossRef: 6
923
TITLE: An effective scalable SQL engine for NoSQL databases
AUTHORS: Vilaca, R ; Cruz, F ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2013, SOURCE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PAGES: 155-168
INDEXED IN: Scopus DBLP CrossRef: 12
924
TITLE: An empirical study on immersive prototyping dimensions
AUTHORS: Moreira, S; Jose, R ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
INDEXED IN: Scopus DBLP CrossRef: 2
925
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PAGES: 45-75
INDEXED IN: Scopus DBLP CrossRef: 2
926
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus DBLP
927
TITLE: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115, PAGES: 84-98
INDEXED IN: Scopus DBLP CrossRef: 1
928
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29, PAGES: 75-89
INDEXED IN: Scopus WOS DBLP CrossRef: 1
929
TITLE: Broadcast cancellation in search mechanisms
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 548-553
INDEXED IN: Scopus DBLP CrossRef: 8
930
TITLE: Caller-REP: Detecting unwanted calls with caller social strength  Full Text
AUTHORS: Muhammad Ajmal Azad ; Ricardo Morla ;
PUBLISHED: 2013, SOURCE: COMPUTERS & SECURITY, VOLUME: 39, ISSUE: PART B, PAGES: 219-236
INDEXED IN: Scopus WOS DBLP CrossRef: 22
931
TITLE: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security, PAGES: 1217-1229
INDEXED IN: Scopus DBLP CrossRef: 28
932
TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013, PAGES: 316
INDEXED IN: DBLP
933
TITLE: Classifying heart sounds using multiresolution time series motifs: An exploratory study. an exploratory study
AUTHORS: Gomes, EF ; Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 23-30
INDEXED IN: Scopus DBLP CrossRef: 13
934
TITLE: clOpenCL - Supporting Distributed Heterogeneous Computing in HPC Clusters
AUTHORS: Albano Alves ; Jose Rufino ; Antonio Pina ; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012: PARALLEL PROCESSING WORKSHOPS, VOLUME: 7640, PAGES: 112-122
INDEXED IN: Scopus WOS CrossRef: 12
935
TITLE: Combining static and dynamic analysis for the reverse engineering of Web applications
AUTHORS: Silva, CE; Campos, JC ;
PUBLISHED: 2013, SOURCE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, PAGES: 107-112
INDEXED IN: Scopus DBLP
936
TITLE: Complexity Metrics for ClassSheet Models
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
INDEXED IN: Scopus WOS DBLP CrossRef: 3
937
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
INDEXED IN: Scopus DBLP
938
TITLE: Data Abstraction in Coordination Constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS, PAGES: 159-173
INDEXED IN: Scopus DBLP CrossRef: 3
939
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Francisco Maia ; Miguel Matos ; Ricardo Vilaca ; Jose Pereira ; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
940
TITLE: DEDIS: Distributed exact deduplication for primary storage infrastructures
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2013, SOURCE: 4th Annual Symposium on Cloud Computing, SoCC 2013 in Proceedings of the 4th Annual Symposium on Cloud Computing, SoCC 2013, PAGES: 60:1-60:2
INDEXED IN: Scopus DBLP CrossRef: 9

Results per Page: 20.
Página 47 de 78. Total de resultados: 1553.