Department of Informatics and Mathematical Modeling

  1. A methodological approach to designing sewer system control

    Mollerup, A. L., Sin, G., Johansen, N. B., Olsson, L., Møller, S. M. W., Weijers, S. R. & Olsson, G.


    Project: PhD

  2. Completed


    Bjørner, D.



  3. Completed

    An algebraic approach to analysis of recursive and concurrent programs

    Terepeta, M. T., Hansen, F., Hansen, F., Mödersheim, S., Cortesi, A. & Jensen, T.


    Project: PhD

  4. Completed

    Project: PhD

  5. Completed
  6. Completed
  7. Completed

    Project: PhD

  8. Completed

    Analysis and Modelling of Chain Data

    Kotwa, E. K., Brockhoff, P. B., Westad, F. O., Rinnan, Å. & Kulahci, M.


    Project: PhD

  9. Completed
Download list: To download, please limit the number of search results to 1,000 or less.