Combining Process and Ontological Modeling. - Dmitry Solomakhin; Sergio Tessaris; Marco Montali (DC@AI*IA, 2012)

ORM2 Encoding into Description Logic (Extended Abstract). - Enrico Franconi; Alessandro Mosca 001; Dmitry Solomakhin (Description Logics, 2012)

ORM2: Formalisation and Encoding in OWL2. - Enrico Franconi; Alessandro Mosca 001; Dmitry Solomakhin (OTM Workshops, 2012)

Verification of Semantically-Enhanced Artifact Systems. - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Ario Santoso; Dmitry Solomakhin (ICSOC, 2013)

Verification of Artifact-Centric Systems: Decidability and Modeling Issues. - Dmitry Solomakhin; Marco Montali; Sergio Tessaris; Riccardo De Masellis (ICSOC, 2013)

Verification of Semantically-Enhanced Artifact Systems (Extended Version). - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Ario Santoso; Dmitry Solomakhin (CoRR, 2013)

Medical Process Modeling: an Artifact-Centric Approach - Dmitry Solomakhin (CoRR, 2013)

Logic-based Reasoning Support for SBVR. - Dmitry Solomakhin; Enrico Franconi; Alessandro Mosca 001 (Fundam. Informaticae, 2013)

Semantic Enrichment of GSM-Based Artifact-Centric Models. - Riccardo De Masellis; Domenico Lembo; Marco Montali; Dmitry Solomakhin (J. Data Semant., 2015)