Ariel Fuxman
I am a Ph.D. student at the Department
of Computer Science at University of Toronto.
I am working at the Database Group
under the supervision of Prof.
Renee J. Miller. I am the main developer of the ConQuer system for query answering over inconsistent databases.
Job application
Research Interests
- Data management
- Data integration and exchange
- Data cleaning
- Efficient management of inconsistent databases
- Schema management
- Formal verification
Publications
Inconsistent Databases, Data Exchange, Schema Management (PhD. work)
- Clean Answers over Dirty Databases. Periklis Andritsos, Ariel Fuxman, Renée J. Miller. To appear in ICDE 2006. [pdf]
- ConQuer: Efficient Management of Inconsistent Databases. Ariel Fuxman, Elham Fazli, and Renee J. Miller. In ACM SIGMOD Conference , 155-166, 2005. [pdf]
- ConQuer: A System for Efficient Query Answering Over Inconsistent Databases. Ariel Fuxman, Diego Fuxman, and Renee J. Miller. In International Conference on Very Large Databases (VLDB) , 1354-1357, 2005. Demonstration track. [pdf]
- Peer Data Exchange Ariel Fuxman, Phokion Kolaitis, Renee J. Miller, and Wang-Chiew Tan. In ACM Symposium on Principles of Database Systems (PODS),160-171, 2005. [pdf]
Invited to Transactions of Database Systems (TODS)
- First-Order Query Rewriting for Inconsistent Databases Ariel Fuxman and Renee J. Miller. In International Conference on Database Theory (ICDT) , 337-351, 2005. [pdf]
Invited to Journal of Computer and System Sciences (JCSS)
- Kanata: Adaptation and Evolution in Data Sharing Systems. Periklis Andritsos, Ariel Fuxman, Anastasios Kementsietsidis, Renee J. Miller and Yannis Velegrakis. In SIGMOD Record, 33(4): 32-37, 2004.
- Towards Inconsistency Management in Data Integration Systems. Ariel Fuxman and Renee J. Miller.
In Workshop on Information Integration on the Web, 143-148, 2003.
- Schema Management. Periklis Andritsos, Ron Fagin, Ariel Fuxman, Laura Haas et al.
In IEEE Data Engineering Bulletin, 25(3):32-38, 2002.[ps]
Formal Analysis of Requirements Specifications (MSc. work)
- Specifying and Analyzing Early Requirements in Tropos. Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri and John Mylopoulos.
In Requirements Engineering Journal, 9(2): 132-150, 2004. Special issue with invited papers RE 2003 conference. A short version appeared in IEEE International Requirements
Engineering Conference, 105-115, 2003.[pdf]
- Formal Analysis of Early Requirements
Specifications. Master's Thesis. University of Toronto,
2001.[ps]
- Model Checking Early Requirements Specifications
in Tropos. Ariel Fuxman, Marco Pistore, John Mylopoulos, and Paolo
Traverso. In IEEE International Symposium on Requirements Engineering,
2001.[pdf]
- Information systems as social structures. Ariel Fuxman, Paolo Giorgini, Manuel Kolp, and J. Mylopoulos.
In Formal Ontologies in Information Systems, 10-21, 2001.
- From Entities and Relationships to Social Actors and Dependencies. John
Mylopoulos, Ariel Fuxman, and Paolo Giorgini. In International
Conference on Conceptual Modeling, 2000.