ITU

Lecture Notes in Computer Science

  1. 2006
  2. Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application

    Kiniry, J. R., 2006, In: Lecture Notes in Computer Science. 4119, p. 288-300 13 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  4. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  5. 2008
  6. Published

    Goal-Equivalent Secure Business Process Re-engineering

    Acosta, H. A. L., Massacci, F. & Zannone, N., 2008, In: Lecture Notes in Computer Science. p. 212-223

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    Complexity of Decision Problems for Mixed and Modal Specifications

    Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 112-126

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. Published

    A Simple Model of Separation Logic for Higher-order Store

    Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, In: Lecture Notes in Computer Science. p. 348-360

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  9. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. Published

    Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

    Brabrand, C., 2008, In: Lecture Notes in Computer Science. p. 1-18

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  11. Published

    Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, In: Lecture Notes in Computer Science. p. 83-99 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  12. Published

    Succinct Data Structures for Retrieval and Approximate Membership

    Dietzfelbinger, M. & Pagh, R., 2008, In: Lecture Notes in Computer Science. p. 385-396 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 79745