ITU

Journal of Logic and Algebraic Programming

  1. Journal article
  2. Published

    Maximizing Entropy over Markov Processes

    Biondi, F., Legay, A., Nielsen, B. F. & Wasowski, A., 2014, In: Journal of Logic and Algebraic Programming. 83, 5-6, p. 384-399 12 p.

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

  3. Published

    Consistency and refinement for Interval Markov Chains

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2012, In: Journal of Logic and Algebraic Programming. 81, 3, p. 209-266

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

  4. Published

    Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs

    Hildebrandt, T., Mukkamala, R. R., Slaats, T. & Zanitti, F., 2013, In: Journal of Logic and Algebraic Programming. 82, p. 164–185

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

  5. Published

    Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

    Iosif-Lazăr, A. F. & Wasowski, A., 24 Nov 2016, In: The Journal of Logic and Algebraic Programming. 85, 6, p. 1154–1176 23 p., 85.

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

  6. Published

    Declarative event based models of concurrency and refinement in psi-calculi

    Normann, H., Johansen, C. & Hildebrandt, T., 2015, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.

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

ID: 202059