Research Output 1973 2019

Filter
Report
1975

Comments on a paper by Milner concerning the semantics of parallelism

Fokkinga, M. M., 1975, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1976

A proposal for dealing with abnormal termination of programs

Bron, C. & Fokkinga, M. M., Nov 1976, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1977

Exchanging Robustness of a Program for a Relaxation of its Specification

Fokkinga, M. M., Sep 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

On the use of continuations in Mathematical Semantics

Fokkinga, M. M., Jan 1977, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1979

A Simpler correctness proof of an in-place permutation algorithm

Fokkinga, M. M., Mar 1979, Enschede: University of Twente, Department of Applied Mathematics.

Research output: Book/ReportReportOther research output

1983

Over het nut en de mogelijkheden van typering

Fokkinga, M. M., 1983, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1984

A notation for the most general form of repetition

Fokkinga, M. M., 1984, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1986

Backtracking and Branch-and-Bound functionally expressed

Fokkinga, M. M., 1986, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1987

An Elementary Semantics for Cardelli's System of Multiple Inheritance

Fokkinga, M. M., 1987, Enschede, The Netherlands: University of Twente, Department of Computer Science.

Research output: Book/ReportReportOther research output

1990

Trip report DPDS'90

Grefen, P. W. P. J. & Flokstra, J., 1990, Enschede: University of Twente. 7 p. (PRISMA document)

Research output: Book/ReportReportProfessional

1991
39 Downloads (Pure)

Program Calculation Properties of Continuous Algebras

Fokkinga, M. M. & Meijer, E., Jan 1991, Amsterdam, The Netherlands: Centrum voor Wiskunde en Informatica. 47 p. (Report / Department of Computer Science; no. CS-R91)

Research output: Book/ReportReportOther research output

File
1993
10 Downloads (Pure)

A Database Interface for Complex Objects

Holsheimer, M., de By, R. A., de By, R. A. & Ait-Kaci, H., Mar 1993, Avenue Victor Hugo 85, 92563 Rueil Malmaison Cedex, France: Digital Equipment Corporation, Paris Research Laboratory. 34 p. (PRL Research Reports; no. PRL-RR)

Research output: Book/ReportReportOther research output

Open Access
File

Detailed application requirements

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente. (IMPRESS/AAR-Report; no. W6-001-R3)

Research output: Book/ReportReportProfessional

Exploitatieplan

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Functional specification of the support toolkit

Apers, P. M. G., de By, R. A., Blanken, H. & Balsters, H., 16 Feb 1993, Enschede: Universiteit Twente. (IMPRESS/AAR-report; no. W7-009-R1)

Research output: Book/ReportReportProfessional

1995
40 Downloads (Pure)

A Framework for Representation, Validation and Implementation of Database Application Semantics

van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., Blanken, H., de By, R. A., de By, R. A. & Flokstra, J., 1995, Enschede, The Netherlands: University of Twente. 11 p. (Memoranda Informatica; no. INF 95-37)

Research output: Book/ReportReportOther research output

File

A theory of method inheritance in object-oriented databases

Balsters, H., de By, R. A. & de Vreeze, C. C., 1995, Enschede: University of Twente. 21 p. (CTIT technical report series; no. 95-19)

Research output: Book/ReportReportProfessional

Design and Validation of Reliable Complex Computer Systems

van Keulen, M., Skowronek, J., Apers, P. M. G., Balsters, H., Blanken, H., de By, R. A. & Flokstra, J., Oct 1995, Enschede, The Netherlands: University of Twente. 10 p.

Research output: Book/ReportReportOther research output

From a formal model to an implementation of special data

Wilschut, A. N., de By, R. A. & Quak, W., 1995, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series)

Research output: Book/ReportReportProfessional

Methodological Guidelines for IMPRESS

Ardorino, F., de By, R. A., Capobianchi, R., van Keulen, M. & Mautref, M., 1995, Evry, France: Geen opgaven. 30 p.

Research output: Book/ReportReportProfessional

TM Manual: version 2.0 revision e

Balsters, H., de By, R. A., van Keulen, M. & Skowronek, J., 1995, Enschede: University of Twente. (IMPRESS deliverable; no. UT-TECH-T79-001-R4)

Research output: Book/ReportReportProfessional

1996

An introduction to CoCoA

Faase, F. J., Even, S. J. & de By, R. A., 1996, Enschede: Universiteit Twente. 95 p.

Research output: Book/ReportReportProfessional

The Transcoop Specification Environment

Even, S. J., Faase, F. J., Pihlajamaa, O. & de By, R. A., 1996, Enschede: Universiteit Twente. 120 p. (Memoranda Informatica)

Research output: Book/ReportReportProfessional

1997

Intelligent Television: "A Testbed for Multimedia Information Filtering"

de Vries, A. P., 1997, Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT Technical Report Series; no. 97-35)

Research output: Book/ReportReportAcademic

Let's talk about it: Dialogues with Multimedia Databases: Database support for human activity

de Vries, A. P., van der Veer, G. C. & Blanken, H., 1997, Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. 97-13)

Research output: Book/ReportReportAcademic

106 Downloads (Pure)

Supporting Telecom Business Processes by means of Workflow Management and Federated Databases

Nijenhuis, W., Jonker, W. & Grefen, P. W. P. J., May 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT technical reports series; no. TR-CTIT-97-12)

Research output: Book/ReportReportProfessional

File
18 Citations (Scopus)

Two-Layer Transaction Management for Workflow Management

Grefen, P. W. P. J., Vonk, J., Boertjes, E. M. & Apers, P. M. G., 1997, Enschede: Centre for Telematics and Information Technology (CTIT).

Research output: Book/ReportReportOther research output

1998
8 Citations (Scopus)

An Architecture for Nested Transaction Support on Standard Database Systems

Boertjes, E. M., Grefen, P. W. P. J., Vonk, J. & Apers, P. M. G., Feb 1998, Enschede: Centre for Telematics and Information Technology (CTIT).

Research output: Book/ReportReportOther research output

Koppeling Workflow-Systemen essentieel voor Virtuele Organisaties

Jonker, W. & Grefen, P. W. P. J., 1998, Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 98-29)

Research output: Book/ReportReportProfessional

36 Downloads (Pure)

Protocol assuring Universal Language

Fokkinga, M. M. & van Rein, H., Sep 1998, Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. 98-21)

Research output: Book/ReportReportAcademic

Open Access
File
2000
18 Downloads (Pure)

Customized atomicity specification for transactional workflows

Derks, W. L. A., Dehnert, J., Grefen, P. W. P. J. & Jonker, W., Dec 2000, Enschede: Centre for Telematics and Information Technology (CTIT). 40 p. (CTIT technical report series; no. TR-CTIT-00-24)

Research output: Book/ReportReportProfessional

File
13 Downloads (Pure)

Model, Architecture and System for Cross-Organizational Transaction Support in Virtual Enterprises

Vonk, J., Derks, W. L. A., Grefen, P. W. P. J. & Koetsier, M. J., Nov 2000, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-00-20)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)

Relating the new language models of information retrieval to the traditional retrieval models

Hiemstra, D. & de Vries, A. P., Jun 2000, University of Twente. 14 p. (CTIT Technical report series; no. 00-09)

Research output: Book/ReportReportAcademic

Open Access
File
6 Downloads (Pure)

The role of evaluation in the development of content-based retrieval techniques

de Vries, A. P., Nov 2000, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 00-19)

Research output: Book/ReportReportProfessional

File
2001

An alternative approach to I/O

Fokkinga, M. M. & Kuper, J., Dec 2001, Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. 01-44)

Research output: Book/ReportReportAcademic

Open Access
2 Downloads (Pure)

A selectivity model for fragmented relations in information retrieval

Blok, H. E., Choenni, R. S., Blanken, H. & Apers, P. M. G., Jan 2001, Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT Technical Report Series; no. 01-02)

Research output: Book/ReportReportAcademic

Open Access
File
Information retrieval
Data storage equipment
Processing
Costs
8 Downloads (Pure)

Automatic Annotation of Formula 1 Races for Content-Based Video Retrieval

Mihajlovic, V. & Petkovic, M., Dec 2001, Centre for Telematics and Information Technology (CTIT). 37 p. (CTIT Technical Report Series; no. 01-41)

Research output: Book/ReportReportAcademic

Open Access
File

DMMDBMS components and architectures

van Keulen, M., 2001, Enschede: KPN Research.

Research output: Book/ReportReportProfessional

Documenting the ICT Architecture of TSI

Wieringa, R. J., Blanken, H. & Fokkinga, M. M., Dec 2001, Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. 01-42)

Research output: Book/ReportReportAcademic

Open Access

DXL: Data eXchange Language

van Zwol, R., Jeronimus, V., Jeronimus, V. N., Fokkinga, M. M. & Apers, P. M. G., Dec 2001, Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. 01-47)

Research output: Book/ReportReportAcademic

Open Access
3046 Downloads (Pure)

Dynamic Bayesian Networks: A State of the Art

Mihajlovic, V. & Petkovic, M., Oct 2001, University of Twente. 37 p. (CTIT Technical Report Series; vol. 01-34)

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)

Flexible and Scalable Digital Library Search

Windhouwer, M., Schmidt, A. R., van Zwol, R., Petkovic, M. & Blok, H. E., 2001, Amsterdam: C.W.I. (INS-RO111)

Research output: Book/ReportReportProfessional

Increasing retrievability and reusability oflearning material by developing a measure of relevance based onacademic teachers' conceptions

Hiddink, G. W., van der Peet, G., Verhagen, P. W. & Blanken, H., Apr 2001, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-13)

Research output: Book/ReportReportOther research output

19 Downloads (Pure)

Predicting the cost-quality trade-off for information retrieval queries: Facilitating database design and query optimization

Blok, H. E., Hiemstra, D., Choenni, R. S., de Jong, F. M. G., Blanken, H. & Apers, P. M. G., Sep 2001, Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT Technical Report Series; no. 01-33)

Research output: Book/ReportReportAcademic

Open Access
File

Requirements analysis based on application domains

van Keulen, M. & Editor BSK, N. N., 2001, Rotterdam: V2 (partner SUMMER project).

Research output: Book/ReportReportProfessional

SUMMER demo

van Keulen, M., 2001, Enschede: KPN Research. 48 p.

Research output: Book/ReportReportProfessional

3 Downloads (Pure)

Webspace query formulation: an overview

van Zwol, R. & Apers, P. M. G., Dec 2001, University of Twente. 14 p. (CTIT Technical Report Series; vol. 01-46)

Research output: Book/ReportReportAcademic

Open Access
File
4 Downloads (Pure)

Webspace retrieval performance experiment

van Zwol, R. & Apers, P. M. G., Dec 2001, University of Twente. 17 p. (CTIT Technical report series; no. 01-45)

Research output: Book/ReportReportAcademic

Open Access
File
2002

An integrated DMMDBMS prototype supporting video retrieval and security

van Keulen, M. & Vonk, J., 2002, Enschede: Databases (DB). 30 p. (Deliverable D5 of the SUMMER project)

Research output: Book/ReportReportProfessional