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
441
TÍTULO: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2020, FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PÁGINAS: 102379
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
442
TÍTULO: A Survey and Classification of Software-Defined Storage Systems  Full Text
AUTORES: Macedo, R ; Paulo, J ; Pereira, J ; Bessani, A ;
PUBLICAÇÃO: 2020, FONTE: ACM COMPUTING SURVEYS, VOLUME: 53, NÚMERO: 3, PÁGINAS: 48:1-48:38
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
443
TÍTULO: Age-Partitioned Bloom Filters
AUTORES: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2001.03147
INDEXADO EM: DBLP
444
TÍTULO: alurity, a toolbox for robot cybersecurity
AUTORES: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.07759
INDEXADO EM: DBLP
445
TÍTULO: ARx: Reactive Programming for Synchronous Connectors  Full Text
AUTORES: José Proença ; Guillermina Cledou ;
PUBLICAÇÃO: 2020, FONTE: COORDINATION, VOLUME: 12134 LNCS, PÁGINAS: 39-56
INDEXADO EM: Scopus DBLP CrossRef: 2
446
TÍTULO: Black-box inter-application traffic monitoring for adaptive container placement
AUTORES: Neves, F ; Vilaça, R ; Pereira, J ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 259-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
447
TÍTULO: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). (Experience Report) PDF
AUTORES: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
PUBLICAÇÃO: 2020, FONTE: DAIS, VOLUME: 12135 LNCS, PÁGINAS: 95-103
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2 Handle
448
TÍTULO: Causality is Graphically Simple
AUTORES: Carlos Baquero ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2012.09086
INDEXADO EM: DBLP
449
TÍTULO: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: INDOCRYPT, VOLUME: 12578 LNCS, PÁGINAS: 107-127
INDEXADO EM: Scopus DBLP CrossRef: 2
450
TÍTULO: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTORES: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa E Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; Paul Patras; Julian C Roberts; Efstathios Stavrakis; Yuichi Tanaka; Antonio Fernández Anta; ...Mais
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2005.12783
INDEXADO EM: DBLP
451
TÍTULO: Data Curation: Towards a Tool for All
AUTORES: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLICAÇÃO: 2020, FONTE: HCI (48), VOLUME: 1293, PÁGINAS: 176-183
INDEXADO EM: Scopus DBLP CrossRef: 2
452
TÍTULO: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTORES: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLICAÇÃO: 2020, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, NÚMERO: 3, PÁGINAS: 101493
INDEXADO EM: Scopus WOS DBLP CrossRef: 494
453
TÍTULO: Detection of Anonymised Traffic: Tor as Case Study
AUTORES: Bruno Dantas; Paulo Carvalho ; Solange Rito Lima; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in NEW2AN/ruSMART (2), VOLUME: 12526 LNCS, PÁGINAS: 95-109
INDEXADO EM: Scopus DBLP CrossRef
454
TÍTULO: Does Domain Name Encryption Increase Users' Privacy?  Full Text
AUTORES: Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R ;
PUBLICAÇÃO: 2020, FONTE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, NÚMERO: 3, PÁGINAS: 17-22
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
455
TÍTULO: Dynamic Logic. New Trends and Applications. Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
456
TÍTULO: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: DaLí, VOLUME: 12005
INDEXADO EM: DBLP
457
TÍTULO: E-Debitum: Managing Software Energy Debt. managing software energy debt
AUTORES: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PÁGINAS: 170-177
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
458
TÍTULO: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments  Full Text
AUTORES: Silva, JM ; Carvalho, P ; Bispo, KA; Lima, SR;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
459
TÍTULO: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks PDF
AUTORES: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PÁGINAS: 1-6
INDEXADO EM: DBLP arXiv
460
TÍTULO: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTORES: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLICAÇÃO: 2020, FONTE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PÁGINAS: 467-472
INDEXADO EM: Scopus WOS CrossRef

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