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

150 Team Members
Filters -> Year: 2024
421
TÍTULO: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTORES: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PÁGINAS: 154-169
INDEXADO EM: Scopus DBLP CrossRef
422
TÍTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233, PÁGINAS: 200-208
INDEXADO EM: Scopus DBLP
423
TÍTULO: Optimal control applied to an irrigation planning problem: A real case study in Portugal
AUTORES: Lopes, SO; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
PUBLICAÇÃO: 2019, FONTE: International Journal of Hydrology Science and Technology, VOLUME: 9, NÚMERO: 2, PÁGINAS: 173-188
INDEXADO EM: Scopus CrossRef
424
TÍTULO: Paint Your Programs Green: On the Energy Efficiency of Data Structures
AUTORES: Rui Pereira; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLICAÇÃO: 2019, FONTE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PÁGINAS: 53-76
INDEXADO EM: DBLP
425
TÍTULO: Perfect Forward Security of SPAKE2
AUTORES: Michel Abdalla; Manuel Barbosa ;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1194
INDEXADO EM: DBLP
426
TÍTULO: Predicting throughput in IEEE 802.11 based wireless networks using directional antenna  Full Text
AUTORES: Saravanan Kandasamy ; Ricardo Morla ; Patricia Ramos ; Manuel Ricardo ;
PUBLICAÇÃO: 2019, FONTE: WIRELESS NETWORKS, VOLUME: 25, NÚMERO: 4, PÁGINAS: 1567-1584
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
427
TÍTULO: Preference rules for label ranking: Mining patterns in multi-target relations PDF
AUTORES: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1903.08504
INDEXADO EM: DBLP arXiv
428
TÍTULO: Privacy and Data Protection Concerns Regarding the Use of Blockchains in Smart Cities
AUTORES: Ramos, LFM; Silva, JMC ;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PÁGINAS: 342-347
INDEXADO EM: Scopus WOS CrossRef: 6
429
TÍTULO: Privacy and Data Protection Concerns Regarding the Use of Blockchains in Smart Cities
AUTORES: Luis Felipe M Ramos; João Marco C Silva ;
PUBLICAÇÃO: 2019, FONTE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PÁGINAS: 342-347
INDEXADO EM: DBLP
430
TÍTULO: Rapid detection of spammers through collaborative information sharing across multiple service providers  Full Text
AUTORES: Muhammad Ajmal Azad; Ricardo Morla ;
PUBLICAÇÃO: 2019, FONTE: 17th International Conference on Collaboration Technologies and Systems (CTS) in FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 95, PÁGINAS: 841-854
INDEXADO EM: Scopus WOS CrossRef: 7
431
TÍTULO: Recovery in CloudDBAppliance's High-availability Middleware
AUTORES: Abreu, H; Ferreira, L ; Coelho, F ; Alonso, AN ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Data Science, Technology and Applications (DATA) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE, TECHNOLOGY AND APPLICATIONS (DATA), PÁGINAS: 447-453
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
432
TÍTULO: Scalable eventually consistent counters over unreliable networks PDF  Full Text
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2019, FONTE: DISTRIBUTED COMPUTING, VOLUME: 32, NÚMERO: 1, PÁGINAS: 69-89
INDEXADO EM: WOS DBLP arXiv CrossRef
433
TÍTULO: Sharing and Learning Alloy on the Web PDF
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.02275
INDEXADO EM: DBLP arXiv
434
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PÁGINAS: 38-55
INDEXADO EM: Scopus DBLP CrossRef: 1
435
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PÁGINAS: 63-69
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2
436
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1393
INDEXADO EM: DBLP
437
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTORES: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP CrossRef
438
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
439
TÍTULO: Ten AI Stepping Stones for Cybersecurity PDF
AUTORES: Ricardo Morla ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1912.06817
INDEXADO EM: DBLP arXiv
440
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
INDEXADO EM: DBLP arXiv

Results per Page: 20.
Página 22 de 75. Total de resultados: 1489.