ITU

Lecture Notes in Computer Science

  1. 2012
  2. Published

    Verification of Snapshotable Trees using Access Permissions and Typestate

    Mehnert, H. & Aldrich, J., 2012, In: Lecture Notes in Computer Science. 7304, p. 187-201 15 p.

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

  3. Published

    An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

    Pacino, D., Delgado-Ortegon, A., Jensen, R. & Bebbington, T., 2012, In: Lecture Notes in Computer Science. 7555, p. 17-32 16 p.

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

  4. Published

    Tengi Interfaces for Tracing between Heterogeneous Components

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

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

  5. Published

    TexMo: A Multi-language Development Environment

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

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

  6. 2011
  7. Published

    Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled

    Bąk, K., Czarnecki, K. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6563, p. 102-122 21 p.

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

  8. Published

    Verifying object-oriented programs with higher-order separation logic in Coq

    Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38

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

  9. Published

    Infrastructuring When You Don’t: End-User Development and Organizational Infrastructure

    Bolmsten, J. & Dittrich, Y., 2011, In: Lecture Notes in Computer Science. 6654, p. 139-154 16 p.

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

  10. Published

    Towards Adaptive Virtual Camera Control In Computer Games

    Burelli, P. & Yannakakis, G. N., 2011, In: Lecture Notes in Computer Science. 6815, p. 25-36

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

  11. Published

    Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

    Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, In: Lecture Notes in Computer Science. 6551, p. 146-160 15 p.

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

  12. Published

    Abstract Probabilistic Automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6538, p. 324-339

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

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

ID: 79745