Hanan Samet
Orcid: 0000-0001-8230-0653Affiliations:
- University of Maryland, College Park, USA
According to our database1,
Hanan Samet
authored at least 336 papers
between 1975 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1996, "For research and contributions in the area of hierarchical data structures for applications in spatial data bases for computer graphics, image processing, geographic information systems, and robotics.".
IEEE Fellow
IEEE Fellow 1991, "For contributions in the area of hierarchical data structures for applications in spatial data bases for computer graphics and image processing.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.umd.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
GeoInformatica, January, 2024
2023
Pattern Recognit. Lett., April, 2023
Proceedings of the 2023 7th International Conference on Natural Language Processing and Information Retrieval, 2023
Proceedings of the 7th ACM SIGSPATIAL Workshop on Location-based Recommendations, 2023
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Searching and Mining Large Collections of Geospatial Data, 2023
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Searching and Mining Large Collections of Geospatial Data, 2023
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Searching and Mining Large Collections of Geospatial Data, 2023
2022
CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles.
CoRR, 2022
Electric vehicle charging: it is not as simple as charging a smartphone (vision paper).
Proceedings of the 30th International Conference on Advances in Geographic Information Systems, 2022
2021
AOI-shapes: An Efficient Footprint Algorithm to Support Visualization of User-defined Urban Areas of Interest.
ACM Trans. Interact. Intell. Syst., 2021
Proceedings of the SSDBM 2021: 33rd International Conference on Scientific and Statistical Database Management, 2021
Proceedings of the LocalRec '21: Proceedings of the 5th ACM SIGSPATIAL International Workshop on Location-based Recommendations, 2021
Proceedings of the LocalRec '21: Proceedings of the 5th ACM SIGSPATIAL International Workshop on Location-based Recommendations, 2021
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021
Managing Trajectories and Interactions During a Pandemic: A Trajectory Similarity-based Approach (Demo Paper).
Proceedings of the SIGSPATIAL '21: 29th International Conference on Advances in Geographic Information Systems, 2021
Proceedings of the IWCTS@SIGSPATIAL 2021: Proceedings of the 14th ACM SIGSPATIAL International Workshop on Computational Transportation Science, 2021
2020
Habit2vec: Trajectory Semantic Embedding for Living Pattern Recognition in Population.
IEEE Trans. Mob. Comput., 2020
ACM Trans. Intell. Syst. Technol., 2020
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020
Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map.
CoRR, 2020
CoRR, 2020
Proceedings of the COVID-19: Proceedings of the 1st ACM SIGSPATIAL International Workshop on Modeling and Understanding the Spread of COVID-19, 2020
Proceedings of the SIGSPATIAL '20: 28th International Conference on Advances in Geographic Information Systems, 2020
2019
ACM Trans. Spatial Algorithms Syst., 2019
ACM Trans. Spatial Algorithms Syst., 2019
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2019
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Analytics for Local Events and News, 2019
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2019
Data Management and Analytics System for Online Flight Conformance Monitoring and Anomaly Detection.
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2019
2018
ACM Trans. Database Syst., 2018
ConcaveCubes: Supporting Cluster-based Geographical Visualization in Large Data Scale.
Comput. Graph. Forum, 2018
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018
Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018
Prescriptive analytics system for long-range aircraft conflict detection and resolution.
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018
Proceedings of the Conceptual Modeling - 37th International Conference, 2018
2017
Proceedings of the Encyclopedia of GIS., 2017
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
Proceedings of the 5th International Conference on Learning Representations, 2017
Proceedings of the 1st ACM SIGSPATIAL Workshop on Analytics for Local Events and News, 2017
Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2017
Proceedings of the 1st ACM SIGSPATIAL Workshop on Recommendations for Location-based Services and Social Networks, 2017
2016
Commun. ACM, 2016
Sorting in space: multidimensional data structures for computer graphics and vision applications.
Proceedings of the SIGGRAPH ASIA 2016, Macao, December 5-8, 2016 - Courses, 2016
Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016
Proceedings of the 23rd International Conference on Pattern Recognition, 2016
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016
Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31, 2016
Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31, 2016
Time series clustering of weather observations in predicting climb phase of aircraft trajectories.
Proceedings of the 9th ACM SIGSPATIAL International Workshop on Computational Transportation Science, 2016
2015
Proceedings of the 2015 IEEE International Symposium on Multimedia, 2015
Place-based Information Systems - Textual Location Identification and Visualization.
Proceedings of the ICPRAM 2015, 2015
Analytical queries on road networks: an experimental evaluation of two system architectures.
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015
2014
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data, 2014
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014
Proceedings of the Third ACM SIGSPATIAL International Workshop on the Use of GIS in Public Health, 2014
Proceedings of the 7th ACM SIGSPATIAL International Workshop on Location-Based Social Networks, 2014
Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2014
Proceedings of the 8th Workshop on Geographic Information Retrieval, 2014
Proceedings of the 8th Workshop on Geographic Information Retrieval, 2014
2013
Proc. VLDB Endow., 2013
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013
Sorting in Space: Multidimensional, spatial, and metric data structures for applications in spatial databases, geographic information systems (GIS), and location-based services.
Proceedings of the 29th IEEE International Conference on Data Engineering, 2013
Proceedings of the 29th IEEE International Conference on Data Engineering, 2013
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013
Proceedings of the 6th ACM SIGSPATIAL International Workshop on Location-Based Social Networks, 2013
Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013
Proceedings of the 7th Workshop on Geographic Information Retrieval, 2013
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013
Proceedings of the New Trends in Databases and Information Systems, 2013
2012
Proceedings of the 35th International ACM SIGIR conference on research and development in Information Retrieval, 2012
Duking it out at the smartphone mobile app mapping API corral: Apple, Google, and the competition.
Proceedings of the First ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, 2012
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012
Proceedings of the HealthGIS 2012, 2012
Mining future spatiotemporal events and their sentiment from online news articles for location-aware recommendation system.
Proceedings of the First ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, 2012
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012
2011
Proceedings of the 20th International Conference on World Wide Web, 2011
Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011
Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011
Proceedings of the 2011 International Workshop on Location Based Social Networks, 2011
Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011
Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011
2010
IEEE Trans. Knowl. Data Eng., 2010
Proceedings of the 20th International Conference on Pattern Recognition, 2010
Geotagging with local lexicons to build indexes for textually-specified spatial data.
Proceedings of the 26th International Conference on Data Engineering, 2010
Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010
Proceedings of the 18th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2010
Geotagging: using proximity, sibling, and prominence clues to understand comma groups.
Proceedings of the 6th Workshop on Geographic Information Retrieval, 2010
2009
Proceedings of the Web and Wireless Geographical Information Systems, 2009
Review of Spatial Databases and Geographic Information Systems.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009
Proceedings of the 25th International Conference on Data Engineering, 2009
Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009
Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009
2008
Proceedings of the Geospatial Services and Applications for the Internet, 2008
IEEE Trans. Pattern Anal. Mach. Intell., 2008
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008
Sorting in space: multidimensional, spatial, and metric data structures for computer graphics applications.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008
Proceedings of the Digital Mammography, 2008
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008
Proceedings of the 24th International Conference on Data Engineering, 2008
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008
2007
Inf. Process. Lett., 2007
Comput. Graph., 2007
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2007
Proceedings of the Medical Imaging 2007: Computer-Aided Diagnosis, 2007
Proceedings of the 23rd International Conference on Data Engineering, 2007
Proceedings of the 15th ACM International Symposium on Geographic Information Systems, 2007
Proceedings of the Eight Mexican International Conference in Current Trends in Computer Science, 2007
Proceedings of the 8th Annual International Conference on Digital Government Research, 2007
STEWARD: demo of spatio-textual extraction on the web aiding the retrieval of documents.
Proceedings of the 8th Annual International Conference on Digital Government Research, 2007
Proceedings of the Spatial Data on the Web, Modeling and Management., 2007
2006
ACM Trans. Database Syst., 2006
Proceedings of the 3rd Symposium on Point Based Graphics, 2006
Proceedings of the Medical Imaging 2006: Image Processing, 2006
Proceedings of the Digital Mammography, 2006
Proceedings of the 22nd International Conference on Data Engineering, 2006
Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006
Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006
Scalable data collection and retrieval infrastructure for digital government applications.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006
Foundations of multidimensional and metric data structures.
Morgan Kaufmann series in data management systems, Academic Press, ISBN: 978-0-12-369446-1, 2006
2005
A Probabilistic Analysis of Trie-Based Sorting of Large Collections of Line Segments in Spatial Databases.
SIAM J. Comput., 2005
Proceedings of the 16th IEEE Visualization Conference, 2005
Proceedings of the 21st International Conference on Data Engineering, 2005
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005
Proceedings of the 2005 National Conference on Digital Government Research, 2005
Proceedings of the 2005 National Conference on Digital Government Research, 2005
2004
Proceedings of the Handbook of Data Structures and Applications., 2004
Decoupling partitioning and grouping: Overcoming shortcomings of spatial indexing with bucketing.
ACM Trans. Database Syst., 2004
Int. J. Comput. Vis., 2004
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004
Proceedings of the 2004 International Conference on Shape Modeling and Applications (SMI 2004), 2004
Proceedings of the Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30, 2004
Proceedings of the 12th ACM International Workshop on Geographic Information Systems, 2004
Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004
Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004
Proceedings of the Content-Based Retrieval, 4.-9. January 2004, 2004
2003
IEEE Trans. Pattern Anal. Mach. Intell., 2003
Commun. ACM, 2003
Bistro: a scalable and secure data transfer service for digital government applications.
Commun. ACM, 2003
Proceedings of 29th International Conference on Very Large Data Bases, 2003
Proceedings of the 12th International Conference on Image Analysis and Processing (ICIAP 2003), 2003
The internet spatial spreadsheet: enabling remote visualization of dynamic spatial data and ongoing query results over a network.
Proceedings of the ACM-GIS 2003, 2003
Proceedings of the 2003 Annual National Conference on Digital Government Research, 2003
Proceedings of the 2003 Annual National Conference on Digital Government Research, 2003
Proceedings of the 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2003), 2003
Proceedings of the 19th ACM Symposium on Computational Geometry, 2003
2002
J. Vis. Lang. Comput., 2002
Pattern Recognit. Lett., 2002
Multiresolution Tetrahedral Meshes: An Analysis and a Comparison (figures 4, 6, and 9).
Proceedings of the 2002 International Conference on Shape Modeling and Applications (SMI 2002), 2002
Proceedings of the 2002 International Conference on Shape Modeling and Applications (SMI 2002), 2002
Proceedings of the 16th International Conference on Pattern Recognition, 2002
Proceedings of the 2002 Annual National Conference on Digital Government Research, 2002
Proceedings of the 2002 Annual National Conference on Digital Government Research, 2002
Proceedings of the 1st International Symposium on 3D Data Processing Visualization and Transmission (3DPVT 2002), 2002
2001
Efficient Regular Data Structures and Algorithms for Dilation, Location, and Proximity Problems.
Algorithmica, 2001
Proceedings of the 2001 International Conference on Shape Modeling and Applications (SMI 2001), 2001
Issues, Developments, and Challenges in Spatial Databases and Geographic Information Systems (GIS).
Proceedings of the ACM-GIS 2001, 2001
2000
ACM Trans. Graph., 2000
Visualization of Dynamic Spatial Data and Query Results Over Time in a GIS Using Animation.
Proceedings of the Advances in Visual Information Systems, 4th International Conference, 2000
Proceedings of the 15th International Conference on Pattern Recognition, 2000
Visualizing and Animating Search Operations on Quadtrees on the Worldwide Web.
EuroCG, 2000
1999
Proceedings of the Visual Information and Information Systems, 1999
Proceedings of the Visual Information and Information Systems, 1999
Proceedings of the Integrated Spatial Databases, Digital Inages and GIS, 1999
Adding an Interoperable Server Interface to a Spatial Database: Implementation Experiences with OpenMap<sup>TM*</sup>.
Proceedings of the Interoperating Geographic Information Systems, 1999
Proceedings of the ACM-GIS '99, 1999
Efficient Regular Data Structures and Algorithms for Location and Proximity Problems.
Proceedings of the 40th Annual Symposium on Foundations of Computer Science, 1999
Two Data Organizations for Storing Symbolic Images in a Relational Database System.
Proceedings of the Database Semantics, 1999
Proceedings of the Algorithms and Theory of Computation Handbook., 1999
1998
Proceedings of the Image Databases and Multi-Media Search, 1998
Integrating Symbolic Images into a Multimedia Database System Using Classification and Abstraction Approaches.
VLDB J., 1998
Pictorial Query Specification for Browsing Through Spatially Referenced Image Databases.
J. Vis. Lang. Comput., 1998
Vis. Comput., 1998
Int. J. Document Anal. Recognit., 1998
The VASCO R-tree JAVA Applet.
Proceedings of the Visual Database Systems 4 (VDB4), 1998
Visualizing and Animating R-trees and Spatial Operations in Spatial Databases on the Worldwide Web.
Proceedings of the Visual Database Systems 4 (VDB4), 1998
Proceedings of the SIGMOD 1998, 1998
Proceedings of the Fourteenth International Conference on Pattern Recognition, 1998
Proceedings of the Fourteenth International Conference on Pattern Recognition, 1998
Proceedings of the Fourteenth International Conference on Pattern Recognition, 1998
1997
GeoInformatica, 1997
Orthogonal Polygons as Bounding Structures in Filter-Refine Query Processing Strategies.
Proceedings of the Advances in Spatial Databases, 1997
Proceedings of the Proceedings 1997 International Conference on Image Processing, 1997
Proceedings of the GIS '97. Proceedings of the 5th International Workshop on Advances in Geographic Information Systems, 1997
1996
Approximate Average Storage Utilization of Bucket Methods with Arbitrary Fanout.
Nord. J. Comput., 1996
Using Topological Sweep to Extract the Boundaries of Regions in Maps Represented by Region Quadtrees.
Algorithmica, 1996
Proceedings of the Storage and Retrieval for Still Image and Video Databases IV, 1996
Proceedings of the 13th International Conference on Pattern Recognition, 1996
Proceedings of the GIS '96, 1996
1995
Comput. Graph. Forum, 1995
Proceedings of the VLDB'95, 1995
Data-Parallel Primitives for Spatial Operations.
Proceedings of the 1995 International Conference on Parallel Processing, 1995
Proceedings of the Third International Conference on Document Analysis and Recognition, 1995
A Window Retrieval Algorithm for Spatial Databases Using Quadtrees.
Proceedings of the 3rd ACM International Workshop on Advances in Geographic Information Systems, 1995
Spatial Data Models and Query Processing.
Proceedings of the Modern Database Systems: The Object Model, 1995
Spatial Data Structures.
Proceedings of the Modern Database Systems: The Object Model, 1995
1994
Proceedings of the 12th IAPR International Conference on Pattern Recognition, 1994
Proceedings of the 1994 International Conference on Parallel Processing, 1994
A Cost Model for Query Optimization Using R-Trees.
Proceedings of the Second ACM Workshop on Advances in Geographic Information Systems, 1994
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994
Proceedings of the Applications of Databases, First International Conference, 1994
1993
Optimizing mass storage organization and access for multi-dimensional scientific data.
Proceedings of the Twelfth IEEE Symposium on Mass Storage Systems, 1993
Proceedings of the 1993 International Conference on Parallel Processing, 1993
Estimating Selectivity Factors of Spatial Operations.
Proceedings of the Fifth Workshop on Foundations of Models and Languages for Data and Objects, 1993
1992
Corrigenda: 'A General Approach to Connected-Component Labelling for Arbitrary Image Representations'.
J. ACM, 1992
A General Approach to Connected-Component Labelling for Arbitrary Image Representations.
J. ACM, 1992
Proceedings of the 18th International Conference on Very Large Data Bases, 1992
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992
1991
Proceedings of the 17th International Conference on Very Large Data Bases, 1991
Proceedings of the Advances in Spatial Databases, 1991
Proceedings of the Advances in Spatial Databases, 1991
Proceedings of the Advances in Spatial Databases, 1991
1990
Int. J. Geogr. Inf. Sci., 1990
Comput. Vis. Graph. Image Process., 1990
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990
Proceedings of the 10th IAPR International Conference on Pattern Recognition, 1990
Applications of spatial data structures - computer graphics, image processing, and GIS.
Addison-Wesley, ISBN: 978-0-201-50300-5, 1990
The Design and Analysis of Spatial Data Structures
Addison-Wesley, 1990
1989
A comparison of the space requirements of multi-dimensional quadtree-based file structures.
Vis. Comput., 1989
IEEE Trans. Robotics Autom., 1989
Comput. Vis. Graph. Image Process., 1989
Proceedings of the Design and Implementation of Large Spatial Databases, 1989
Proceedings of the Design and Implementation of Large Spatial Databases, 1989
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989
1988
Efficient Component Labeling of Images of Arbitrary Dimension Represented by Linear Bintrees.
IEEE Trans. Pattern Anal. Mach. Intell., 1988
Image Vis. Comput., 1988
ACM Comput. Surv., 1988
IEEE Computer Graphics and Applications, 1988
IEEE Computer Graphics and Applications, 1988
Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988
1987
Image Vis. Comput., 1987
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987
1986
Proceedings of the 13th Annual Conference on Computer Graphics and Interactive Techniques, 1986
1985
IEEE Trans. Pattern Anal. Mach. Intell., 1985
IEEE Trans. Pattern Anal. Mach. Intell., 1985
IEEE Trans. Pattern Anal. Mach. Intell., 1985
Comput. Vis. Graph. Image Process., 1985
Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985
Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985
1984
Comput. Vis. Graph. Image Process., 1984
Proceedings of the 11th Annual Conference on Computer Graphics and Interactive Techniques, 1984
Proceedings of the 5th European Computer Graphics Conference and Exhibition, 1984
1983
IEEE Trans. Syst. Man Cybern., 1983
1982
IEEE Trans. Software Eng., 1982
IEEE Trans. Pattern Anal. Mach. Intell., 1982
Comput. Graph. Image Process., 1982
Commun. ACM, 1982
1981
IEEE Trans. Pattern Anal. Mach. Intell., 1981
IEEE Trans. Pattern Anal. Mach. Intell., 1981
1980
IEEE Trans. Computers, 1980
1979
IEEE Trans. Syst. Man Cybern., 1979
1978
Inf. Process. Lett., 1978
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978
1977
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
A New Approach to Evaluating Code Generation in a Student Environment.
Proceedings of the Information Processing, 1977
1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
1975
Automatically proving the correctness of translations involving optimized code - research sponsored by Advanced Research Projects Agency, ARPA order no. 2494.
PhD thesis, 1975