Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Comput. J.
    Year: 2017
    Volume: 60
    Number: 2
    DBLP: db/journals/cj/cj60.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 48  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Wiktor B. Daszczuk.
    Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Ornela Dardha, Daniele Gorla, Daniele Varacca.
    Semantic Subtyping for Objects and Classes.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Cheng Zhou, Zhonghai Yin, Youqian Feng.
    Events Algebra of Triggers.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen.
    Heap Construction - 50 Years Later.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Akinori Kawachi, Yoshio Okamoto, Keisuke Tanaka, Kenji Yasunaga.
    General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng.
    Verification for Non-polynomial Hybrid Systems Using Rational Invariants.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Xiang Xu, Shuming Zhou, Jinqiang Li.
    Reliability of Complete Cubic Networks under the Condition of g-Good-Neighbor.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Yu Yang, Hongbo Liu, Hua Wang, Ansheng Deng, Colton Magnant.
    On Algorithms for Enumerating Subtrees of Hexagonal and Phenylene Chains.
    Comput. J. 2017, Volume 60 (0) 2017
    Conference paper
    Seungbum Jo, Stelios Joannou, Daisuke Okanohara, Rajeev Raman, S. Srinivasa Rao 0001.
    Compressed Bit vectors Based on Variable-to-Fixed Encodings.
    Comput. J. 2017, Volume 60 (0) 2017
    Journal article
    Tong Liu, Yanmin Zhu, Hongzi Zhu, Jiadi Yu, Yuanyuan Yang.
    Online Pricing for Efficient Renewable Energy Sharing in a Sustainable Microgrid.
    Comput. J. 2017, Volume 60 (0) 2017
    Show item 1 to 48 of 48  

    Your query returned 48 matches in the database.