Dina Q. Goldin

Minds Mach., 2008

2007

Preface.

[BibT_eX]

[DOI]

Farhad Arbab

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

2006

Principles of problem solving.

[BibT_eX]

[DOI]

Commun. ACM, 2006

Faster In-Network Evaluation of Spatial Aggregationin Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Data Engineering, 2006

Dynamic Isoline Extraction for Visualization of Streaming Data.

[BibT_eX]

[DOI]

Huayan Gao

Proceedings of the Computer Science, 2006

In search of meaning for time series subsequence clustering: matching algorithms based on a new distance measure.

[BibT_eX]

[DOI]

Ricardo Mardales

George Nagy

Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, 2006

2005

The Role of Agent Interaction in Models of Computing: Panelist Reviews.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Adaptation and Evolution in Dynamic Persistent Environments.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Preface.

[BibT_eX]

[DOI]

Mirko Viroli

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Indirect Interaction in Environments for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005

The Church-Turing Thesis: Breaking the Myth.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

2004

Report from the First Workshop on Geo Sensor Networks.

[BibT_eX]

[DOI]

Alexandros Labrinidis

Samuel Madden

Agnès Voisard

Michael F. Worboys

SIGMOD Rec., 2004

Turing machines, transition systems, and interaction.

[BibT_eX]

[DOI]

Scott A. Smolka

Paul C. Attie

Elaine L. Sonderegger

Inf. Comput., 2004

Bounded similarity querying for time-series data.

[BibT_eX]

[DOI]

Todd D. Millstein

Ayferi Kutlu

Inf. Comput., 2004

Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004).

[BibT_eX]

[DOI]

Andrea Omicini

Alessandro Ricci

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Toward Domain-Independent Formalization of Indirect Interaction.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Generating fuzzy semantic metadata describing spatial relations from images using the R-histogram.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2004

Active Databases as Information Systems.

[BibT_eX]

[DOI]

Srinath Srinivasa

Vijaya Srikanti

Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004

Taking Constraints out of Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Constraint Databases, 2004

2003

Variable Independence in Constraint Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

Computation beyond turing machines.

[BibT_eX]

[DOI]

Commun. ACM, 2003

Modeling Indirect Interaction in Open Computational Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

The Constraint Database Framework: Lessons Learned from CQA/CDB.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Data Engineering, 2003

Extending The Constraint Database Framework.

[BibT_eX]

[DOI]

Ayferi Kutlu

Mingjun Song

Proceedings of the PCK50, 2003

2002

Paraconsistency of Interactive Computation.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

2001

Turing Machines, Transition Systems, and Interaction.

[BibT_eX]

[DOI]

Scott A. Smolka

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

Interaction, evolution, and intelligence.

[BibT_eX]

[DOI]

Proceedings of the 2001 Congress on Evolutionary Computation, 2001

An Interactive Viewpoint on the Role of UML.

[BibT_eX]

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000

Persistent Turing Machines as a Model of Interactive Computation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2000

IS=DBS+Interaction: Towards Principles of Information System Design.

[BibT_eX]

[DOI]

Srinath Srinivasa

Bernhard Thalheim

Proceedings of the Conceptual Modeling, 2000

Constraint Algebras.

[BibT_eX]

Proceedings of the Constraint Databases, 2000

1999

Coinductive Models of Finite Computing Agents.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1997

Constraint Query Algebras.

[BibT_eX]

[DOI]

PhD thesis, 1997

Interaction as a Framework for Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1997

1996

Constraint Query Algebras.

[BibT_eX]

[DOI]

Paris C. Kanellakis

Constraints An Int. J., 1996

Variable Independence and Aggregation Closure.

[BibT_eX]

[DOI]

Jan Chomicki

Gabriel M. Kuper

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

On Similarity Queries for Time-Series Data: Constraint Specification and Implementation.

[BibT_eX]

[DOI]

Paris C. Kanellakis

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Constraint Programming and Database Query Languages.

[BibT_eX]

[DOI]

Paris C. Kanellakis

Proceedings of the Theoretical Aspects of Computer Software, 1994

1989

Spill Code Minimization Techniques for Optimizing Compilers.

[BibT_eX]

[DOI]

David Bernstein