Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: Theor. Comput. Sci.
    Year: 2003
    Volume: 290
    Number: 1
    DBLP: db/journals/tcs/tcs290.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 90  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Parosh Aziz Abdulla, Bengt Jonsson.
    Model checking of systems with many identical timed processes.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Fabio Alessi, Paolo Baldan, Furio Honsell.
    A category of compositional domain-models for separable Stone spaces.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Luca de Alfaro, Arjun Kapur.
    Hybrid diagrams.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Roberto M. Amadio, Denis Lugiez, Vincent Vanackère.
    On the symbolic reduction of processes with cryptographic functions.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Amihood Amir, Gad M. Landau, Dina Sokol.
    Inplace run-length 2d compressed search.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    A. A. Arratia-Quesada, Iain A. Stewart.
    A note on first-order projections and games.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Steffen van Bakel, Maribel Fernández.
    Normalization, approximation, and semantics for combinator systems.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Evripidis Bampis, Rodolphe Giroudeau, Jean-Claude König.
    An approximation algorithm for the precedence constrained scheduling problem with hierarchical communications.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Franco Barbanera, Stefano Berardi.
    A full continuous model of polymorphism.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    Martin Beaudry, Markus Holzer, Gundula Niemann, Friedrich Otto.
    McNaughton families of languages.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Show item 1 to 10 of 90  

    Your query returned 90 matches in the database.