Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: Sci. Comput. Program.
    Year: 2004
    Volume: 50
    Number: 1
    DBLP: db/journals/scp/scp50.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 11  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Hubert Comon-Lundh, Véronique Cortier.
    Security properties: two agents are sufficient.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Cormac Flanagan.
    Automatic software model checking via constraint logic.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Pierpaolo Degano.
    Preface.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Pablo Giambiagi, Mads Dam.
    On the secure implementation of security protocols.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Roberto Gorrieri, Fabio Martinelli.
    A simple framework for real-time cryptographic protocol analysis with compositional proof rules.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Christian Haack, Joe B. Wells.
    Type error slicing in implicitly typed higher-order languages.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Cédric Lhoussaine.
    Type inference for a distributed \pi-calculus.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Catherine A. Meadows.
    Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Uday S. Reddy, Hongseok Yang.
    Correctness of data representations involving heap data structures.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Conference paper
    Atsushi Ohori.
    Register allocation by proof transformation.
    Sci. Comput. Program. 2004, Volume 50 (0) 2004
    Show item 1 to 10 of 11  

    Your query returned 11 matches in the database.