Author

Babak Bagheri Hariri

Observed names: B. Bagheri Hariri, Babak Hariri, Hariri, Babak Bagheri

Institution: Free University of Bozen-Bolzano

Observed institutions: Sharif University of Technology, Free University of Bozen-Bolzano, Institute for Research in Fundamental Sciences, Sapienza University of Rome

OpenAlex ID: A5072237112

Verification of relational data-centric dynamic systems with external services

2013 · Babak Bagheri Hariri, Diego Calvanese, et al. · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 163

PDF

Description Logic Knowledge and Action Bases

2013 · B. Bagheri Hariri, D. Calvanese, et al. · Journal of Artificial Intelligence Research · 71

PDF

Foundations of Relational Artifacts Verification

2011 · Babak Bagheri Hariri, Diego Calvanese, et al. · Lecture notes in computer science · 50

A Method for Focused Crawling Using Combination of Link Structure and Content Similarity

2006 · Mohsen Jamali, Hassan Sayyadi, et al. · IEEE/WIC/ACM International Conference on Web Intelligence · 42

A new Structural Similarity Measure for Ontology Alignment.

2006 · Babak Bagheri Hariri, Hassan Abolhassani, et al. · 22

On Ontology Alignment Experiments

2006 · Abolhassani, Hassan, Haeri, Seyed Hossein, et al. · Digital Access to Libraries · 17

PDF

State-boundedness in data-aware dynamic systems

2014 · Babak Bagheri Hariri, Diego Calvanese, et al. · 16

A Neural-Networks-Based Approach for Ontology Alignment

2006 · Babak Bagheri Hariri, Hassan Abolhassani, et al. · 13

Evolutionary coincidence‐based ontology mapping extraction

2008 · Vahed Qazvinian, Hassan Abolhassani, et al. · Expert Systems · 12

Combining Ontology Alignment Metrics Using the Data Mining Techniques.

2006 · Babak Bagheri Hariri, Hassan Sayyadi, et al. · 9

Verification of conjunctive-query based semantic artifacts?

2011 · Babak Bagheri Hariri, Diego Calvanese, et al. · IRIS Research product catalog (Sapienza University of Rome) · 8

Coincidence-Based Scoring of Mappings in Ontology Alignment

2007 · Seyed H. Haeri (Hossein), Hassan Abolhassani, et al. · Journal of Advanced Computational Intelligence and Intelligent Informatics · 7

Verification of Semantically-Enhanced Artifact Systems

2013 · Babak Bagheri Hariri, Diego Calvanese, et al. · Lecture notes in computer science · 6

Coincidence-Based Refinement of Ontology Matching

2006 · Seyed Hossein Haeri, Babak Bagheri Hariri, et al. · Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 3

PDF

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

2013 · Hariri, Babak Bagheri, Calvanese, Diego, et al. · arXiv (Cornell University) · 1

PDF

A New Evaluation Method for Ontology Alignment Measures

2006 · Babak Bagheri Hariri, Hassan Abolhassani · Lecture notes in computer science · 1

Decidability of Equivalence of Aggregate Count-Distinct Queries

2015 · Hariri, Babak Bagheri, Tannen, Val · arXiv (Cornell University)

PDF

Verification of Human Driven Data-Centric Dynamic Systems

2015 · Babak Bagheri Hariri, Diego Calvanese, et al.

Works count: 22

Citation count: 441

H-index: 9

I10-index: 9