Dmitry Solomakhin

Identifiers

• name variant Dmitry Solomakhin 0.60 · backfill

Papers (3)

1. Verification of Semantically-Enhanced Artifact Systems (Extended Version) cs.AI · 2013 · author #5
2. Verification of Artifact-Centric Systems: Decidability and Modeling Issues cs.SE · 2013 · author #1
3. Medical Process Modeling: an Artifact-Centric Approach cs.OH · 2013 · author #1

Mentions

• 1308.6292 #5 · backfill · confidence 0.70 Dmitry Solomakhin
• 1304.1697 #1 · backfill · confidence 0.70 Dmitry Solomakhin
• 1303.4461 #1 · backfill · confidence 0.70 Dmitry Solomakhin

Frequent Coauthors

• Marco Montali 2 shared papers
• Ario Santoso 1 shared papers
• Babak Bagheri Hariri 1 shared papers
• Diego Calvanese 1 shared papers
• Riccardo De Masellis 1 shared papers
• Sergio Tessaris 1 shared papers