university website Publications by Year
  • sign in
  • Series

Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence

Collection

Collection

  • ISSN: 03029743
Published by Springer
  • Preface Article

    G.R. Blakley (George Robert) and D. Chaum (David)

    January 1985
  • thumb

    Cryptanalysis of DES with a reduced number of rounds: Sequences of linear factors in block ciphers In Proceedings

    D. Chaum (David) and J.-H. Evertse (Jan-Hendrik)

    August 1985
  • thumb

    Verification of an alternating bit protocol by means of process algebra protocol In Proceedings

    J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

    January 1986
  • Preface Preface

    J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

    January 1987
  • Preface Article

    J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

    January 1987
  • thumb

    Blinding for unanticipated signatures In Proceedings

    D. Chaum (David)

    April 1987
  • thumb

    Modular specifications in process algebra In Proceedings

    R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

    June 1987
  • thumb

    Another look at abstraction in process algebra: Extended abstract In Proceedings

    J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

    July 1987
Previous
Refine Publication List
Export Citations
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close