A. Levy

MaRDI QIDQ1811301zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Isolated Periodic Points in Several Nonarchimedean Variables	2015-11-03	Paper
Static analysis in Datalog extensions Journal of the ACM	2015-10-30	Paper
Consistent thinning of large geographical data for map visualization ACM Transactions on Database Systems	2015-09-03	Paper
A level set based approach for the finite element simulation of a forming process involving multiphysics coupling: ultrasonic welding of thermoplastic composites European Journal of Mechanics. A. Solids	2013-12-19	Paper
The McMullen Map in Positive Characteristic	2013-04-09	Paper
Isotriviality and the space of morphisms on projective varieties	2013-03-26	Paper
An Algebraic Proof of Thurston's Rigidity for a Polynomial	2012-01-10	Paper
Data Modeling in Dataspace Support Platforms Conceptual Modeling: Foundations and Applications	2009-07-09	Paper
Learning to match the schemas of data sources: A multistrategy approach Machine Learning	2003-07-01	Paper
Query containment for data integration systems Journal of Computer and System Sciences	2003-06-25	Paper
Answering queries using views: A survey The VLDB Journal	2003-06-03	Paper
MiniCon: a scalable algorithm for answering queries using views The VLDB Journal	2002-07-25	Paper
Logic-based techniques in data integration	2002-02-19	Paper
A formal perspective on the view selection problem The VLDB Journal	2002-01-01	Paper
An XML query engine for network-bound data The VLDB Journal	2002-01-01	Paper
Recursive query plans for data integration The Journal of Logic Programming	2000-04-26	Paper
Answering queries using limited external query processors Journal of Computer and System Sciences	1999-09-22	Paper
Verification of knowledge bases based on containment checking Artificial Intelligence	1999-01-12	Paper
Combining Horn rules and description logics in CARIN Artificial Intelligence	1999-01-12	Paper
Automated model selection for simulation based on relevance reasoning Artificial Intelligence	1998-08-13	Paper
Speeding up inferences using relevance reasoning: a formalism and algorithms Artificial Intelligence	1998-08-13	Paper

Research outcomes over time

This page was built for person: A. Levy