Babak Bagheri Hariri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | KR | State-Boundedness in Data-Aware Dynamic Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch |
| 2013 | ICSOC | Verification of Semantically-Enhanced Artifact Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin |
| 2013 | PODS | Verification of relational data-centric dynamic systems with external services. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali |
| 2012 | ECAI | Verification of Description Logic Knowledge and Action Bases. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali |
| 2011 | BPM | Foundations of Relational Artifacts Verification. | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli |
| 2006 | ECAI | Combining Ontology Alignment Metrics Using the Data Mining Techniques. | Babak Bagheri Hariri, Hassan Sayyadi, Hassan Abolhassani, Kyumars Sheykh Esmaili |