university website Publications by Year
  • sign in

Publication

  • Reasoning with protocols under imperfect information Article

    The Review of Symbolic Logic, 4(3), 412-444.

    E. Pacuit and S.E. Simon (Sunil)

    January 2011
    open access
  • Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey Book

    B.K. Aichernig, F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

    January 2011
  • Spatiotemporal characteristics of charged particle swarms in orthogonal electric and magnetic fields Article

    IEEE Transactions on Plasma Science

    Z.M. Raspopovic, S. Dujko (Sasa), R.D. White and Z.L. Petrović (Zoran)

    January 2011
  • Every plane graph of maximum degree 8 has an edge-face 9-colouring. Article

    SIAM Journal on Discrete Mathematics, 25(2), 514-533.

    R.J. Kang (Ross), J.-S. Sereni and M. Stehlík

    January 2011
    open access
  • thumb

    DIR 2011: the eleventh Dutch-Belgian Information Retrieval Workshop Magazine Article

    C. Boscarino (Corrado), K. Hofmann (Katja), V. Jijkoun, E. Meij, M. de Rijke (Maarten) and W. Weerkamp (Wouter)

    January 2011
    open access
  • thumb

    Error-Backpropagation in Networks of Fractionally Predictive Spiking Neurons In Proceedings

    S.M. Bohte (Sander)

    January 2011
    open access
  • Visualization of electron transport coefficients in RF electric and magnetic fields crossed at arbitrary angles Article

    IEEE Transactions on Plasma Science

    S. Dujko (Sasa), R.D. White and Z.L. Petrović (Zoran)

    January 2011
  • MediaWiki grammar recovery Article

    Computing Research Repository, 1-47.

    V. Zaytsev (Vadim)

    January 2011
    open access
Previous
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