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

149 Team Members
Filters -> Year: 2026
601
TÍTULO: Deploying Time-based Sampling Techniques in Software-Defined Networking
AUTORES: David R Teixeira; João Marco C Silva ; Solange Rito Lima;
PUBLICAÇÃO: 2018, FONTE: 26th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2018, Split, Croatia, September 13-15, 2018, PÁGINAS: 1-6
INDEXADO EM: DBLP
602
TÍTULO: Discovering a taste for the unusual: exceptional models for preference mining
AUTORES: de Sá, CR; Duivesteijn, W; Azevedo, P ; Jorge, AM ; Soares, C ; Knobbe, A;
PUBLICAÇÃO: 2018, FONTE: MACHINE LEARNING, VOLUME: 107, NÚMERO: 11, PÁGINAS: 1775-1807
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
603
TÍTULO: Energyware Analysis
AUTORES: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; João Saraiva ;
PUBLICAÇÃO: 2018, FONTE: SQAMIA, VOLUME: 2217
INDEXADO EM: Scopus DBLP
604
TÍTULO: Explaining spreadsheets with spreadsheets
AUTORES: Cunha, J ; Dan, M; Erwig, M; Fedorin, D; Grejuc, A;
PUBLICAÇÃO: 2018, FONTE: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, co-located with SPLASH 2018 in GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018, PÁGINAS: 161-167
INDEXADO EM: Scopus
605
TÍTULO: Explaining Spreadsheets with Spreadsheets (Short Paper)
AUTORES: Cunha, J ; Dan, MH; Erwig, M; Fedorin, D; Grejuc, A;
PUBLICAÇÃO: 2018, FONTE: 17th ACM SIGPLAN International Conference on Generative Programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of Conferences and Workshops in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE'18), VOLUME: 53, NÚMERO: 9, PÁGINAS: 161-167
INDEXADO EM: Scopus WOS DBLP CrossRef
606
TÍTULO: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTORES: Neves, F ; Machado, N ; Pereira, J ;
PUBLICAÇÃO: 2018, FONTE: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PÁGINAS: 534-541
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
607
TÍTULO: Flexible WSN Data Gathering through Energy-aware Adaptive Sensing
AUTORES: Silva, JMC ; Bispo, KA; Carvalho, P ; Lima, SR;
PUBLICAÇÃO: 2018, FONTE: International Conference on Smart Communications in Network Technologies (SaCoNeT) in 2018 INTERNATIONAL CONFERENCE ON SMART COMMUNICATIONS IN NETWORK TECHNOLOGIES (SACONET), PÁGINAS: 317-322
INDEXADO EM: Scopus WOS CrossRef: 6
608
TÍTULO: Foreword: VL/HCC 2018
AUTORES: Cunha, J ; Fernandes, JP ; Kelleher, C; Engels, G;
PUBLICAÇÃO: 2018, FONTE: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2018-October
INDEXADO EM: Scopus CrossRef
609
TÍTULO: Formal Modelling as a Component of User Centred Design
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: STAF Workshops, VOLUME: 11176 LNCS, PÁGINAS: 274-289
INDEXADO EM: Scopus DBLP CrossRef: 5
610
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
611
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: Euro-Par, VOLUME: 11014 LNCS, PÁGINAS: 492-504
INDEXADO EM: Scopus DBLP
612
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: 2
613
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PÁGINAS: 167-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
614
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: 9 Unpaywall
615
TÍTULO: Improving the Visualization of Alloy Instances
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 CrossRef: 6
616
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
617
TÍTULO: Indifferentiable Authenticated Encryption
AUTORES: Barbosa, M ; Farshim, P;
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: 21
618
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: ASE, PÁGINAS: 856-859
INDEXADO EM: Scopus DBLP CrossRef: 18
619
TÍTULO: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTORES: Alam, MI; Halder, R; Goswami, H; Pinto, JS ;
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
620
TÍTULO: Languages and models for hybrid automata: A coalgebraic perspective
AUTORES: Neves, R ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PÁGINAS: 113-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Página 31 de 83. Total de resultados: 1659.