university website Publications by Year

Publication

  • Ownership, Uniqueness and Immutability In Proceedings

    J. Östlund, T. Wrigstad, D.G. Clarke (David) and B. Akerblom

    January 2007
  • An adaptive attitude bidding strategy for agents in continuous double auctions Article

    Electronic Commerce Research and Applications, 6(4), 383-398.

    H. Ma (Huiye) and H.-F. Leung

    January 2007
  • Adaptive Agents for Sequential English Auctions with a Fixed Deadline In Proceedings

    H. Ma (Huiye) and H.-F. Leung

    January 2007
  • thumb

    Coalgebraic automata theory: basic results Tech Report

    C.A. Kupke (Clemens) and Y. Venema

    January 2007
    open access
  • A coalgebraic view on bi-infinite streams (Abstract) In Proceedings

    A.M. Silva (Alexandra)

    January 2007
  • A Characterization of Regular Expressions under Bisimulation Article

    Journal of the ACM, 54(2), 1-28.

    J.C.M. Baeten (Jos), F. Corradini and C.A. Grabmayer

    January 2007
  • Duplication of Constants in Process Algebra Article

    Journal of Logic and Algebraic Programming, 70(2), 151-171.

    J.C.M. Baeten (Jos) and M.A. Reniers (Michel)

    January 2007
  • Process Algebra Book Chapter

    J.C.M. Baeten (Jos), D.A. van Beek and J.E. Rooda (Jacobus)

    January 2007
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