Recent Submissions

  • A Denotational Semantics of Solidity in Isabelle/HOL 

    Marmsoler, D; Brucker, AD (Springer Verlag, 2021)
    Smart contracts are programs, usually automating legal agreements such as financial transactions. Thus, bugs in smart contracts can lead to large financial losses. For example, an incorrectly initialized contract was the ...
  • Confidentiality Enhanced Life-Cycle Assessment 

    Brucker, AD; Yalman, S (Springer Verlag, 2021)
    The environmental impact of products is an important factor in buying decisions of customers and it is also an increasing concern of law makers. Hence, companies are interested in determining the ecological footprint of ...
  • TNDP: tensor-based network distance prediction with confidence intervals 

    Huang, H; Li, L; Min, G; et al. (Institute of Electrical and Electronics Engineers, 14 June 2021)
    Notice that it is difficult and expensive to implement global network measurements to obtain network distance, a feasible idea is to predict unknown distances by introducing network coordinates with limited network ...
  • Unlocking the Potential of 5G and Beyond Networks to Support Massive Access of Ground and Air Devices 

    Miao, W; Luo, C; Min, G; et al. (Institute of Electrical and Electronics Engineers (IEEE), 13 January 2021)
    Flying devices, e.g., Unmanned Aerial Vehicles (UAV) and High Altitude Platforms (HAP) are showing great potentials to revolutionise human society with unprecedented efficiency and convenience. 5G and beyond (5GB) networks ...
  • Lightweight 3-D beamforming design in 5G UAV broadcasting communications 

    Miao, W; Luo, C; Min, G; et al. (Institute of Electrical and Electronics Engineers, 14 May 2020)
    Owning the merits of flexible networking, rapid deployment, strong line-of-sight communications and so on, Unmanned Aerial Vehicle (UAV) has been regarded as a promising technology for the Fifth-Generation (5G) wireless ...

View more