Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: J. Comput. Syst. Sci.
    Year: 2010
    Volume: 76
    Number: 2
    DBLP: db/journals/jcss/jcss76.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 63  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Saehwa Kim.
    Dual ceiling protocol for real-time synchronization under preemption threshold scheduling.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Tony Tan.
    On pebble automata for data languages with decidable emptiness problem.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor.
    Generalized modal satisfiability.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Jinjun Chen, Yun Yang.
    Localising temporal constraints in scientific workflows.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Henning Fernau, Michael Kaufmann, Mathias Poths.
    Comparing trees via crossing minimization.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Faisal N. Abu-Khzam.
    A kernelization algorithm for d-Hitting Set.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Chih-Chiang Yu, Chien-Hsin Lin, Biing-Feng Wang.
    Improved algorithms for finding length-bounded two vertex-disjoint paths in a planar graph and minmax k vertex-disjoint paths in a directed acyclic graph.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Jesús Arias-Fisteus, Norberto Fernández García, Luis Sánchez Fernández, Carlos Delgado Kloos.
    Hashing and canonicalizing Notation 3 graphs.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Nathann Cohen, Fedor V. Fomin, Gregory Gutin, Eun Jung Kim, Saket Saurabh, Anders Yeo.
    Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Conference paper
    Michael R. Fellows, Jiong Guo, Iyad A. Kanj.
    The parameterized complexity of some minimum label problems.
    J. Comput. Syst. Sci. 2010, Volume 76 (0) 2010
    Show item 1 to 10 of 63  

    Your query returned 63 matches in the database.