High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 1486

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

Results per Page: 20.
Page 22 of 75. Total results: 1486.