university website Publications by Year
  • sign in

Publication

  • Tsinghua-NTU Workshop on Number Theory, Discrete Mathematics and Applications,Tsinghua University, Maths Dept, Beijing, China, May 25-27 2012. Title:The Arithmetic Codex Lecture

    R.J.F. Cramer (Ronald)

    January 2012
  • Renarration of Megamodels Presentation

    V. Zaytsev (Vadim)

    January 2012
  • Grammar Convergence Presentation

    V. Zaytsev (Vadim)

    January 2012
  • Megamodelling Language Design: User Experiences and Ad Hoc Megamodelling Presentation

    V. Zaytsev (Vadim)

    January 2012
  • Function for inhomogeneous point processes with applications to seismology, University of Miami Spatial Statistics Conference 2012,Miami, United States, December 13--15, 2012. Lecture

    M.N.M. van Lieshout (Marie-Colette)

    January 2012
  • Invited talk International Conference on Logic, Language and Computation, Chongqing, China, August 2012. Lecture

    K.R. Apt (Krzysztof)

    January 2012
  • Invited talk Logic Programming: Systems and Applications, Stony Brook, New York, September, 2012. Lecture

    K.R. Apt (Krzysztof)

    January 2012
  • thumb

    Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings

    D. Latella, M. Massink and E.P. de Vink (Erik)

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