Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: Inf. Comput.
    Year: 2008
    Volume: 206
    Number: 5
    DBLP: db/journals/iandc/iandc206.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 81  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Christel Baier, Holger Hermanns.
    Special issue: CONCUR 2006.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Aybek Mukhamedov, Mark Ryan.
    Fair multi-party contract signing using private contract signatures.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic.
    A framework for compositional verification of security protocols.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Prakash Panangaden.
    Anonymity protocols as noisy channels.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Pavel V. Martugin.
    A series of slowly synchronizing automata with a zero state over a small alphabet.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Long Hoang Nguyen, A. W. Roscoe.
    Authenticating ad hoc networks by comparison of short digests.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi.
    Execution monitoring enforcement under memory-limitation constraints.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Ganesh Baliga, John Case, Wolfgang Merkle, Frank Stephan 0001, Rolf Wiehagen.
    When unlearning helps.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    José R. Correa, Leah Epstein.
    Bin packing with controllable item sizes.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Conference paper
    Dilian Gurov, Marieke Huisman, Christoph Sprenger.
    Compositional verification of sequential programs with procedures.
    Inf. Comput. 2008, Volume 206 (0) 2008
    Show item 1 to 10 of 81  

    Your query returned 81 matches in the database.