Timothy J. Hickey

MaRDI QIDQ1971098zbMATH OpenFDO

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
Analytic constraint solving and interval arithmetic Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Computer literacy via Scheme and web programming Journal of Functional Programming	2005-09-27	Paper
scientific article; zbMATH DE number 1950444 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1696858 (Why is no real title available?)	2002-04-28	Paper
Interval constraint plotting for interactive visual exploration of implicitly defined relations Reliable Computing	2000-03-22	Paper
Automating program analysis Journal of the ACM	1988-01-01	Paper
scientific article; zbMATH DE number 4078761 (Why is no real title available?)	1986-01-01	Paper
Uniform Random Generation of Strings in a Context-Free Language SIAM Journal on Computing	1983-01-01	Paper
Upper Bounds for Speedup in Parallel Parsing Journal of the ACM	1982-01-01	Paper
Two Algorithms for Determining Volumes of Convex Polyhedra Journal of the ACM	1979-01-01	Paper

Research outcomes over time

This page was built for person: Timothy J. Hickey