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

150 Team Members
Filters -> Year: 2024
301
TITLE: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). (Experience Report)
AUTHORS: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
PUBLISHED: 2020, SOURCE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135, PAGES: 95-103
INDEXED IN: Scopus DBLP CrossRef: 2
302
TITLE: Causality is Graphically Simple
AUTHORS: Carlos Baquero ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2012.09086
INDEXED IN: DBLP
303
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PAGES: 107-127
INDEXED IN: Scopus DBLP CrossRef: 1
304
TITLE: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTHORS: 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 Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; Paul Patras; Julian C Roberts; Efstathios Stavrakis; Yuichi Tanaka; Antonio Fernández Anta; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
INDEXED IN: DBLP
305
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111, PAGES: 100514
INDEXED IN: Scopus WOS DBLP CrossRef
306
TITLE: Data Curation: Towards a Tool for All
AUTHORS: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human-Computer Interaction, HCI International 2020 in HCI International 2020 - Late Breaking Posters - 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I, VOLUME: 1293, PAGES: 176-183
INDEXED IN: Scopus DBLP CrossRef
307
TITLE: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493
INDEXED IN: Scopus WOS DBLP CrossRef: 39
308
TITLE: Decentralized Privacy-Preserving Proximity Tracing PDF
AUTHORS: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; Nigel P Smart; Aysajan Abidin; Seda F Gürses; Michael Veale; Cas Cremers; Michael Backes; Nils Ole Tippenhauer; Reuben Binns; Ciro Cattuto; Alain Barrat; Dario Fiore; Manuel Barbosa ; Rui Oliveira ; José Pereira ; ...More
PUBLISHED: 2020, SOURCE: IEEE Data Eng. Bull., VOLUME: 43, ISSUE: 2, PAGES: 36-66
INDEXED IN: DBLP
309
TITLE: Detection of anonymised traffic: Tor as case study
AUTHORS: Dantas, B; Carvalho, P; Lima, SR; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12526 LNCS, PAGES: 95-109
INDEXED IN: Scopus CrossRef
310
TITLE: Detection of Anonymised Traffic: Tor as Case Study
AUTHORS: Bruno Dantas; Paulo Carvalho; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020, Proceedings, Part II, VOLUME: 12526, PAGES: 95-109
INDEXED IN: DBLP
311
TITLE: Does Domain Name Encryption Increase Users' Privacy?  Full Text
AUTHORS: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22
INDEXED IN: Scopus WOS DBLP CrossRef
313
TITLE: E-Debitum: Managing Software Energy Debt
AUTHORS: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 170-177
INDEXED IN: Scopus WOS DBLP
314
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments  Full Text
AUTHORS: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 1
315
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTHORS: João Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLISHED: 2020, SOURCE: Int. J. Commun. Syst., VOLUME: 33, ISSUE: 10
INDEXED IN: DBLP
316
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 467-472
INDEXED IN: Scopus WOS CrossRef
317
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PAGES: 1-6
INDEXED IN: DBLP
318
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.12906
INDEXED IN: DBLP
319
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
INDEXED IN: Scopus WOS DBLP CrossRef: 5
320
TITLE: Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2020, Melbourne, Australia, September 21-25, 2020., PAGES: 159-165
INDEXED IN: DBLP

Results per Page: 20.
Página 16 de 78. Total de resultados: 1551.