View merging in the presence of incompleteness and inconsistency (2006)

Cached

Download Links

by Mehrdad Sabetzadeh , Steve Easterbrook
Venue:Requir. Eng
Citations:34 - 10 self

Active Bibliography

17 An algebraic framework for merging incomplete and inconsistent views – Mehrdad Sabetzadeh, Steve Easterbrook - 2004
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
620 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
719 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
547 Efficient semantic matching – Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia - 2004
737 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
486 The TSIMMIS Project: Integration of Heterogeneous Information Sources – Sudarshan Chawathe, Hector Garcia-Molina, Joachim Hammer, Kelly Ireland, Yannis Papakonstantinou, Jeffrey Ullman, Jennifer Widom
482 Object exchange across heterogeneous information sources – Yannis Papakonstantinou, Hector Garcia-molina, Jennifer Widom - 1995
459 Comprehending Monads – Philip Wadler - 1992