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

150 Team Members
Filters -> Year: 2025
481
TÍTULO: Formal Modelling as a Component of User Centred Design
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PÁGINAS: 274-289
INDEXADO EM: Scopus DBLP CrossRef: 2
482
TÍTULO: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTORES: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLICAÇÃO: 2018, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PÁGINAS: 276-295
INDEXADO EM: Scopus WOS
483
TÍTULO: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2018, FONTE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PÁGINAS: 492-504
INDEXADO EM: Scopus DBLP
484
TÍTULO: GreenSoftwareLab: Towards an Engineering Discipline for Green Software  Full Text
AUTORES: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLICAÇÃO: 2018, FONTE: Impact, VOLUME: 2018, NÚMERO: 1, PÁGINAS: 9-11
INDEXADO EM: CrossRef
485
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PÁGINAS: 167-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
486
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PÁGINAS: 132-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
487
TÍTULO: Improving the Visualization of Alloy Instances PDF  Full Text
AUTORES: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2018, FONTE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, NÚMERO: 284, PÁGINAS: 37-52
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 3
488
TÍTULO: Improving traces visualisation through layout managers
AUTORES: Couto, R ; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXADO EM: Scopus WOS CrossRef
489
TÍTULO: Indifferentiable Authenticated Encryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2018, PÁGINAS: 547
INDEXADO EM: DBLP
490
TÍTULO: Indifferentiable Authenticated Encryption
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2018, FONTE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PÁGINAS: 187-220
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
491
TÍTULO: jStanley: placing a green thumb on Java collections
AUTORES: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2018, FONTE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PÁGINAS: 856-859
INDEXADO EM: Scopus DBLP CrossRef: 7
492
TÍTULO: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTORES: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PÁGINAS: 359-366
INDEXADO EM: WOS DBLP CrossRef: 1
493
TÍTULO: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTORES: Renato Neves ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 113-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
494
TÍTULO: Layered logics, coalgebraically
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PÁGINAS: 55-63
INDEXADO EM: Scopus CrossRef
495
TÍTULO: nSharma: Numerical simulation heterogeneity aware runtime manager for openFOAM
AUTORES: Roberto Ribeiro; Luís Paulo Santos ; João Miguel Nóbrega;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10860 LNCS, PÁGINAS: 429-443
INDEXADO EM: Scopus CrossRef: 1
496
TÍTULO: Optimized Planning of Different Crops in a Field Using Optimal Control in Portugal  Full Text
AUTORES: Rui M S Pereira; Sofia Lopes; Amelia Caldeira; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: SUSTAINABILITY, VOLUME: 10, NÚMERO: 12, PÁGINAS: 4648
INDEXADO EM: Scopus WOS CrossRef
497
TÍTULO: Parallel Polyglot Query Processing on Heterogeneous Cloud Data Stores with LeanXcale
AUTORES: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLICAÇÃO: 2018, FONTE: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PÁGINAS: 1757-1766
INDEXADO EM: DBLP CrossRef
498
TÍTULO: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTORES: Santo, JE; Frade, MJ ; Pinto, L;
PUBLICAÇÃO: 2018, FONTE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXADO EM: Scopus
499
TÍTULO: Preference rules for label ranking: Mining patterns in multi-target relations  Full Text
AUTORES: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLICAÇÃO: 2018, FONTE: INFORMATION FUSION, VOLUME: 40, PÁGINAS: 112-125
INDEXADO EM: Scopus WOS DBLP CrossRef: 8

Results per Page: 20.
Página 25 de 75. Total de resultados: 1498.