Department of Informatics and Mathematical Modeling

  1. Completed

    Design af hierarkiske netværk

    Thomadsen, T., Clausen, J., Hansen, P. C., Boland, N. L. & Zachariasen, M.

    01/03/200205/08/2005

    Project: PhD

  2. Completed
  3. Completed

    Project: PhD

  4. Completed

    Project: PhD

  5. Completed

    Project: PhD

  6. Completed
  7. Completed

    Flow Logic for Language-Based Safety and Security

    Hansen, R. R., Hansen, F., Cortesi, A. & Grolin, N.

    01/01/200206/06/2005

    Project: PhD

  8. Completed

    Hig-Level Synthesis of Asynchronous

    Nielsen, S. F., Madsen, J., Sparsø, J., Lavagno, L., Nannarelli, A. & Peeters, A.

    01/08/200106/06/2005

    Project: PhD

  9. Completed

    Security Validation through Static Analysis

    Hansen, R. R., Nielson, F., Schmidt, D. A., Cortesi, A. & Fischer, P.

    01/01/200206/06/2005

    Project: PhD

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