Babak Bagheri Hariri

Identifiers

• name variant Babak Bagheri Hariri 0.60 · backfill

Papers (4)

1. Decidability of Equivalence of Aggregate Count-Distinct Queries cs.DB · 2015 · author #1
2. Description Logic Knowledge and Action Bases cs.AI · 2014 · author #1
3. Verification of Semantically-Enhanced Artifact Systems (Extended Version) cs.AI · 2013 · author #1
4. Verification of Relational Data-Centric Dynamic Systems with External Services cs.DB · 2012 · author #1

Mentions

• 1402.0569 #1 · backfill · confidence 0.70 Babak Bagheri Hariri
• 1308.6292 #1 · backfill · confidence 0.70 Babak Bagheri Hariri
• 1203.0024 #1 · backfill · confidence 0.70 Babak Bagheri Hariri

Frequent Coauthors

• Diego Calvanese 3 shared papers
• Marco Montali 3 shared papers
• Giuseppe De Giacomo 2 shared papers
• Alin Deutsch 1 shared papers
• Ario Santoso 1 shared papers
• Dmitry Solomakhin 1 shared papers
• Paolo Felli 1 shared papers
• Riccardo De Masellis 1 shared papers
• Val Tannen 1 shared papers