Publications
Export 26 results:
Author Title Type [ Year] Filters: Keyword is Data structures [Clear All Filters]
1976. Batched searching of sequential and tree structured files. ACM Trans. Database Syst.. 1(3):268-275.
1979. Database Program Conversion: A Framework For Research. Fifth International Conference on Very Large Data Bases, 1979. :299-312.
1982. The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
1988. An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering. 14(5):639-650.
1991. An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1997. Design and evaluation of incremental data structures and algorithms for dynamic query interfaces. IEEE Symposium on Information Visualization, 1997. Proceedings. :81-86.
2002. Multiple Query Optimization for Data Analysis Applications on Clusters of SMPs. 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2002. :154-154.
2003. A Fast Implementation of the ISOCLUS Algorithm. IEEE 2003 International Geoscience and Remote Sensing Symposium.
2003. Representation of non-manifold objects. Proceedings of the eighth ACM symposium on Solid modeling and applications. :304-309.
2003. Using state modules for adaptive query processing. 19th International Conference on Data Engineering, 2003. Proceedings. :353-364.
2004. A multi-resolution topological representation for non-manifold meshes. Computer-Aided Design. 36(2):141-159.
2005. A new framework for addressing temporal range queries and some preliminary results. Theoretical Computer Science. 332(1–3):109-121.
2006. Applications of Parameterized st-Orientations in Graph Drawing Algorithms. Graph Drawing. :355-367.
2007. On the Cost of Persistence and Authentication in Skip Lists. Experimental Algorithms. :94-107.
2007. Execution time analysis of a top-down R-tree construction algorithm. Information Processing Letters. 101(1):6-12.
2008. Algorithms for Location Estimation Based on RSSI Sampling. Algorithmic Aspects of Wireless Sensor Networks. :72-86.
2008. Optimal Cryptographic Hardness of Learning Monotone Functions. Automata, Languages and Programming. :36-47.
2008. Tradeoffs in Approximate Range Searching Made Simpler. Computer Graphics and Image Processing, 2008. SIBGRAPI '08. XXI Brazilian Symposium on. :237-244.
2011. A Canonical Form for Testing Boolean Function Properties. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. :460-471.