Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
The Semantic Web
- G. Goos, J. Hartmanis, +9 authors Zhaohui Wu
- Computer Science
- Lecture Notes in Computer Science
- 2011
Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Contrastive answers are more informative for reasoning with… Expand
Unifying Theories of Programming
- G. Goos, J. Hartmanis, +6 authors F. Mattern
- Computer Science
- Lecture Notes in Computer Science
- 2010
In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics used for formally specifying software systems. In our current paper, we… Expand
Information and communication technology
- Sudiana Mahendra, E. Neuhold, +6 authors IlsunYou Eds
- Computer Science
- International Forum on Strategic Technology
- 2007
Interoperability is a qualitative property of computing infrastructures that denotes the ability of the sending and receiving systems to exchange and properly interpret information objects across… Expand
Multiple Classifier Systems
- G. Goos, J. Hartmanis, J. Leeuwen, F. Roli, J. Kittler, T. Windeatt
- Computer Science
- Lecture Notes in Computer Science
- 2004
We consider strategies for building classifier ensembles for non-stationary environments where the classification task changes during the operation of the ensemble. Individual classifier models… Expand
Automated Technology for Verification and Analysis
- G. Goos, J. Hartmanis, J. Leeuwen, D. Hutchison, Farn Wang
- Computer Science
- Lecture Notes in Computer Science
- 2004
ion Refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Pei-Hsin Ho
Efficient Graph Rewriting and Its Implementation
- Heiko Dorr, J. Leeuwen, J. Hartmanis, G. Goos
- Computer Science
- 1 July 1995
Graph rewriting systems - The basic concepts.- UBS-Graph rewriting systems - matching subgraphs in constant time.- Programmed attributed graph rewrite systems - An advanced modelling formalism.- The… Expand
Temporal Databases: Research and Practice
- G. Goos, J. Hartmanis, S. Sripada, J. Leeuwen, S. Jajodia
- Computer Science
- 13 May 1998
An object-oriented framework for temporal data models.- An architecture for supporting interoperability among temporal databases.- Extended update functionality in temporal databases.- On transaction… Expand
- 220
- 5
- PDF
Optimal register allocation for SSA-form programs in polynomial time
This paper gives a constructive proof that the register allocation problem for a uniform register set is solvable in polynomial time for SSA-form programs.
Ambient Intelligence
- B. Ruyter, A. Kameas, +4 authors J. Leeuwen
- Computer Science
- Lecture Notes in Computer Science
- 2015
In this paper we propose an ecological view in which a smart home is seen as an interconnected collection of smart objects that work together to provide services to inhabitants. We review home… Expand