Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: Comput. J.
    Year: 2013
    Volume: 56
    Number: 1
    DBLP: db/journals/cj/cj56.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 108  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Estefanía Serral, Pedro Valderas, Vicente Pelechano.
    Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Fairouz Kamareddine.
    Capsule Reviews.
    Comput. J. 2013, Volume 56 (0) 2013
    Conference paper
    Jan A. Bergstra, Inge Bethke, Alban Ponse.
    Cancellation Meadows: A Generic Basis Theorem and Some Applications.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Thi Nguyen, Zhen He, Yi-Ping Phoebe Chen.
    S
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Bernhard Möller.
    Modal Knowledge and Game Semirings.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Maciej Gazda, Wan Fokkink.
    Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer.
    Guest Editorial.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Nick D. James, Jeffery I. Zucker.
    A Class of Contracting Stream Operators.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Zoran Duric, Dragan Gasevic.
    A Source Code Similarity System for Plagiarism Detection.
    Comput. J. 2013, Volume 56 (0) 2013
    Journal article
    Jens Blanck.
    Interval Domains and Computable Sequences: A Case Study of Domain Reductions.
    Comput. J. 2013, Volume 56 (0) 2013
    Show item 1 to 10 of 108  

    Your query returned 108 matches in the database.