ITU
Joseph Roland Kiniry

Joseph Roland Kiniry

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (17)

  1. Published

    Symbolic Configuration for Interactive Container Ship Stowage Planning

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

  2. Published

    Formal Model-based Validation for Tally Systems

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  3. A Rigorous Methodology for Analyzing and Designing Plug-Ins

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (17) »

Recent activities and conferences

ID: 1046018