You are here

2013

  1. Dmitry Solomakhin;Marco Montali;Sergio Tessaris;Riccardo De Masellis,
    Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing,
    Lecture Notes in Computer ScienceService-Oriented Computing,
    vol.8274,
    2013
    , pp. 252-
    266
  2. Riccardo De Masellis;Jianwen Su,
    Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing,
    Lecture Notes in Computer ScienceService-Oriented Computing,
    vol.8274,
    2013
    , pp. 54-
    68
  3. Keet, C. Maria; Khan, Muhammad Tahir; Ghidini, Chiara,
    Guided entity reuse and class expression generator,
    Proceedings of the 7th International Conference on Knowledge Capture (K-CAP 2013),
    ACM,
    2013
    , pp. 143-
    144
    , (K-CAP '13 Seventh international conference on Knowledge capture,
    Banff, Canada,
    June 23 - 26, 2013)
  4. Dragoni M.; Ghidini C.; Bosca A.,
    Multilingual MoKi: How to Manage Multilingual Ontologies in a Wiki,
    The Semantic Web: Semantics and Big Data, 10th International Conference,
    Montpellier, France,
    May 26-30, 2013,
  5. Bertoli P.; Dragoni M.; Ghidini C.; Martufi E.; Nori M.; Pistore M.; Di Francescomarino C.,
    Modeling and Monitoring Business Process Execution,
    11th International Conference, ICSOC 2013,
    Berlin, Germany,
    December 2-5, 2013,

Pages