Publications in collaboration with researchers from Shanghai University (10)


  1. A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective

    ACM Transactions on Multimedia Computing, Communications and Applications, Vol. 19, Núm. 1

  2. Guest Editorial Special Issue on Computational Intelligence to Edge AI for Ubiquitous IoT Systems

    IEEE Transactions on Emerging Topics in Computational Intelligence

  3. Guest Editorial Special Issue on Multi-Modal Biomedical Computing-Deep Transfer Learning

    IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 20, Núm. 4, pp. 2363-2366

  4. TSMAE: A Novel Anomaly Detection Approach for Internet of Things Time Series Data Using Memory-Augmented Autoencoder

    IEEE Transactions on Network Science and Engineering, Vol. 10, Núm. 5, pp. 2978-2990


  1. Preface

    Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

  2. Preference discovery from wireless social media data in APIs recommendation

    Wireless Networks, Vol. 27, Núm. 5, pp. 3441-3451

  3. SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

    Mobile Networks and Applications, Vol. 26, Núm. 6, pp. 2272-2297