Selected Publications of
Dina Q Goldin

Databases and Querying  |  Interactive Computation  |  Musings   |    Talks and presentations


Databases and Querying

Dina Goldin, Ricardo Mardales, George Nagy
Finding Meaning in Time Series Subsequence Clustering: Matching Algorithms Based on a New Distance Measure (PDF)
UConn BECAT/CSE Technical Report TR-06-5, March 2006

Dina Goldin, Huayan Gao
Dynamic Isoline Extraction for Visualization of Streaming Data (PDF)
presented at CSR 2006, June 2006, St. Petersburg, Russia (30 out of 159 papers accepted)
LNCS 3074, Springer

Dina Goldin
Faster In-Network Evaluation of Spatial Aggregation in Sensor Networks (PDF)
UConn BECAT/CSE Technical Report TR-05-7, November 2005
(shorter version presented at ICDE 2006, April 2006, Atlanta GA)

Dina Goldin, Todd Millstein, Ayferi Kutlu
Bounded Similarity Querying for Time-series Data (PDF)
Information and Computation Journal, Volume 194, Issue 2, Nov. 2004, pp. 203-241

Dina Goldin, Srinath Srinivasa, Vijaya Srikanti
Active Databases as Information Systems (PDF)
8th Int'l Database Engineering & Applications Symp., Coimbra, Portugal, July 2004
(proceedings published by IEEE Press)

Dina Q. Goldin
Taking Constraints out of Constraint Databases (PS)
1st Int'l Symp. on Applications of Constraint Databases, Paris, France, June 2004
LNCS 3074, Springer

Yuhang Wang, Fillia Makedon, James Ford, Li Shen, Dina Goldin
Generating Fuzzy Semantic Metadata describing Spatial Relations from Images using the R-Histogram (PDF)
ACM/IEEE Joint Conference on Digital Libraries, Tucson, AZ, June 2004

Dina Q. Goldin
Normalization of Life Science Data for Shape-based Similarity Querying (PS)
UConn BECAT/CSE Technical Report TR-04-1, January 2004

Dina Goldin, Mingjun Song, Ayferi Kutlu, Huayan Gao, Hardik Dave
Georouting and Delta-gathering: Efficient Data Propagation Techniques for GeoSensor Networks (PDF)
In Geosensor Networks: Sensor-Based Distributed Geocomputing
eds. A. Stefanidis & S. Nittel, CRC Press, 2004, pp. 73-95
(originally presented at GeoSensor Networks (GSN'03) Workshop, Portland, Maine, Oct. 2003)

Dina Goldin
Spatial Queries over Sensor Networks (PS)
UConn CSE Technical Report, March 2003

Dina Goldin, Ayferi Kutlu, Mingjun Song
Extending the Constraint Database Framework (PS)
proc. of PCK50 ACM Workshop, June 2003

Dina Goldin, Ayferi Kutlu, Mingjun Song, Fuzheng Yang
The Constraint Database Framework: lessons learned from CQA/CDB (PS)
proc. of ICDE 2003

Jan Chomicki, Dina Goldin, Gabriel Kuper, and David Toman
Variable Independence in Constraint Databases (PS)
IEEE Transactions on Knowledge and Data Engineering, December 2003

Goldin, D.Q.
Algebraic Constraint Query Languages
Book chapter in "Constraint Databases", Eds. L. Libkin, J. Paredaens, G. Kuper, Springer Verlag.

Goldin, D.Q.
Constraint Query Algebras
My doctorate thesis, Jan. 1997

Goldin, D.Q., Kanellakis, P.C.
Constraint Query Algebras
Constraints Journal , E. Freuder editor, 1st issue, 1996.

Chomicki, J., Goldin, D.Q., Kuper, G.
Variable Independence and Aggregation Closure
15th ACM Symposium on the Principles of Database Systems,
Montreal Canada, June 1996.

Goldin, D.Q., Kanellakis, P.C.
On Similarity Queries for Time-Series Data: Constraint Specification and Implementation
1st International Conference on the Principles and Practice of Constraint Programming,
LNCS 976, pp. 137-153, Cassis France, September 1995.

Kanellakis, P.C., Goldin, D.Q.
Constraint Programming and Database Query Languages
Symposium on Theoretical Aspects of Computer Software,
LNCS 789, pp. 96-120, Sendai Japan, April 1994.


Interactive Computation

David Keil, Dina Goldin
Indirect Interaction in Environments for Multiagent Systems (PDF)
In Environments for Multiagent Systems II
eds. Danny Weyns, Van Parunak, Fabien Michel; LNAI 3830, pp. 68-87, Springer 2006

David Keil, Dina Goldin
Adaptation and evolution in dynamic persistent environments (PDF)
presented at FInCo2005, Edinburgh, April 2005
ENTCS 5(141), December 2005, pp. 163-179

Dina Goldin, Peter Wegner
The Church-Turing Thesis: Breaking the Myth (PDF)
presented at CiE 2005, Amsterdam, June 2005
LNCS 3526, Springer 2005, pp. 152-168
Here is a draft of a longer version, called
Refuting the Strong Church-Turing Thesis: The Interactive Nature of Computing (PDF)

Dina Goldin, David Keil
Interactive Models for Design of Software-Intensive Systems (PDF)
presented at FInCo2005, Edinburgh, April 2005

Dina Goldin, Elaine Sonderegger
Mobile Automata with External Semantics (PDF)
draft

Dina Goldin, Scott Smolka, Paul Attie, Elaine Sonderegger
Turing Machines, Transition Systems, and Interaction (PDF)
Information and Computation Journal, Volume 194, Issue 2, Nov. 2004, pp. 101-128

Andrea Omicini, Alessandro Ricci, Dina Goldin
Second International workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004)
workshop report, published in proc. by IEEE Computer Society Press

Dina Goldin, David Keil
Toward Domain-Independent Formalization of Indirect Interaction (PDF)
2nd Int'l workshop on Theory and Practice of Open Computational Systems (TAPOCS)
Italy, June 2004
proc. published by IEEE Computer Society Press

Eugene Eberbach, Dina Goldin, Peter Wegner
Turing's Ideas and Models of Computation (PDF)
book chapter, in Alan Turing: Life and Legacy of a Great Thinker, ed. Christof Teuscher, Springer 2004.

David Keil, Dina Goldin
Modeling Indirect Interaction in Open Computational Systems (PDF)
1st Int'l workshop on Theory and Practice of Open Computational systems (TAPOCS)
Linz, Austria June 2003
proc. published by IEEE Computer Society Press

Peter Wegner, Dina Goldin
Computation Beyond Turing Machines (RTF)
Communications of the ACM, April 2003

Dina Goldin, Peter Wegner
Paraconsistency of Interactive Computation (PS)
proc. of PCL 2002 (Workshop on Paraconsistent Computational Logic), Denmark, July 2002

Dina Goldin, David Keil
Interaction, Evolution, and Intelligence (MS Word)
proc. of CEC'01, Korea, May 2001

Dina Goldin, David Keil, Peter Wegner
An Interactive Viewpoint on the Role of UML (MS Word)
Book chapter, published in Unified Modeling Language: Systems Analysis, Design, and Development Issues
Idea Group Publishing, 2001.

Dina Goldin, Srinath Srinivasa, Bernhard Thalheim
Information Systems = Databases + Interaction: Towards Principles of Information System Design (PS)
ER2000, Salt Lake City, Oct. 2000

Dina Goldin
Persistent Turing Machines as a Model of Interactive Computation (PS)
in: K-D. Schewe and B. Thalheim (Eds.),
Foundations of information and knowledge systems, First Int'l Symposium (FoIKS'2000).
Lecture Notes in Computer Science, Vol. 1762, Springer-Verlag, Berlin 2000, pp. 116-135.

Peter Wegner, Dina Goldin
Interaction, Computability, and Church's Thesis (PDF)
Accepted to the British Computer Journal.

Peter Wegner, Dina Goldin
Interaction as a Framework for Modeling (PS)
In Chen, et. al. (Eds.)  Conceptual Modeling: Current Issues and Future Directions, LNCS #1565, April 1999.

Peter Wegner, Dina Goldin
Coinductive Models of Finite Computing Agents (PS)
Electronic Notes in Theoretical Computer Science, March 1999.

Dina Goldin, Peter Wegner
Persistence as a Form of Interaction (PS)
Brown University Technical Report CS 98-07, March 1998.


Mona Lisa and other musings

Dina Goldin
The Role of Geographic Shackles on Academic Careers of Women
draft; shorter version published in the CRA Bulletin (Pipeline Column), March 2006

Dina Goldin
The secret of Mona Lisa's smile revealed
Brown University Faculty Bulletin, Dec. 2002

Dina Goldin
On the Size and Computability of the World (text)
For the UMB CS dept. newsletter, July 1999


Selected Talks and Presentations

Interaction: Conjectures, Results, Myths (PowerPoint presentation, 2-hour seminar)
June 2005: CWI, Amsterdam

Interactive Models for Design of Software-Intensive Systems (PowerPoint presentation, 25 mins)
Presented at FInCo 2005: Workshop on Foundations of Interactive Computation

Interaction: Conjectures, Results, Myths (PowerPoint presentation, 1 hour)
Fall 2004: Brown University, Tufts University, Dartmouth University

Active Databases as Information Systems (PowerPoint presentation, 20 mins)
8th Int'l Database Engineering & Applications Symp., Coimbra, Portugal, July 2004

Towards Formalization of Indirect Interaction (PowerPoint presentation, 30 mins)
TAPOCS 2004, Modena Italy, June 2004

Taking Constraints out of Constraint Databases (PowerPoint presentation, 30 mins)
CDB 2004, Paris France, June 2004

Sensor Network Querying (PowerPoint presentation, 60 mins)
invited talk, IEEE Bangalore Chapter, India, Mar. 2003

Turing Machines, Transition Systems, and Interaction (PowerPoint presentation, 60 mins) 
invited talk, CUNY Graduate Center, New York City, Dec. 2001

Turing Machines, Transition Systems, and Interaction (PowerPoint presentation, 30 mins) 
EXPRESS'01 Workshop on the Expressiveness of Concurrent Computation, Aarlborg, Denmark, August 2001

It Pays to be Persistent (PowerPoint presentation) 
3rd New England PL Seminar, Williams College, MA, May 2001

Modeling Interaction with Persistent Turing Machines (abstract)
U. Wurzburg, Germany, Jun. 1999

Formalization of Interactive Computing (abstract)
Brown University, Dec. 1998;
Tel-Aviv University, Jan. 1999;
IBM Haifa Research Center, Jan. 1999

Mathematical Models of Interactive Computing (abstract)
UMBC, November 1998

Constraint Databases: a lecture in honor of Paris C. Kanellakis (abstract)
2nd Int'l Conference on the Principles and Practice of Constraint Programming, Cambridge MA, Aug. 1996.


Last updated on July 1, 2004