Dmitry Solomakhin

11 papers A 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Semantic Enrichment of GSM-Based Artifact-Centric Models.
J. Data Semant.
Riccardo De Masellis, Domenico Lembo, Marco Montali, Dmitry Solomakhin
2013 J jnl
Logic-based Reasoning Support for SBVR.
Fundam. Informaticae
Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca
2013 J jnl
Medical Process Modeling: an Artifact-Centric Approach
CoRR
Dmitry Solomakhin
2013 J jnl
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
CoRR
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
2013 A conf
Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
ICSOC
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
2013 J jnl
Verification of Semantically-Enhanced Artifact Systems (Extended Version).
CoRR
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013 A conf
Verification of Semantically-Enhanced Artifact Systems.
ICSOC
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2012 — conf
Combining Process and Ontological Modeling.
DC@AI*IA
Dmitry Solomakhin, Sergio Tessaris, Marco Montali
2012 — conf
ORM2 Encoding into Description Logic (Extended Abstract).
Description Logics
Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
2012 — conf
ORM2: Formalisation and Encoding in OWL2.
OTM Workshops
Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
2011 — conf
Logic-based reasoning support for SBVR.
CILC
Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca