Author Publications

2011

Fokkinga, Maarten (2011) The Hough transform. Journal of Functional Programming . ISSN 0956-7968

2009

Evers, Sander and Fokkinga, Maarten M. and Apers, Peter M.G. (2009) Inference Optimization using Relational Algebra. [Report]

Heerde van, Harold and Fokkinga, Maarten and Anciaux, Nicolas (2009) A framework to balance privacy and data usability using data degradation. In: 2009 IEEE International Conference on Information Privacy, Security, Risk and Trust, PASSAT 2009, 29-31 August 2009, Vancouver, Canada. (In Press)

2008

Evers, Sander and Fokkinga, Maarten M. and Apers, Peter M.G. (2008) Probabilistic Processing of Interval-valued Sensor Data. In: 5th International Workshop on Data Management for Sensor Networks, DMSN, 24 Aug 2008, Auckland, New Zealand.

Serdyukov, Pavel and Feng, Ling and Bunningen van, Arthur and Evers, Sander and Heerde van, Harold and Apers, Peter and Fokkinga, Maarten and Hiemstra, Djoerd (2008) The right expert at the right time and place: From expertise identification to expertise selection. In: 7th International Conference on Practical Aspects of Knowledge Management, PAKM, 21-23 Nov 2008, Yokohama, Japan.

2007

Bunningen van, Arthur H. and Feng, Ling and Fokkinga, Maarten M. and Apers, Peter M.G. (2007) An Answer Explanation Model for Probabilistic Database Queries. [Report]

Bunningen van, Arthur H. and Fokkinga, Maarten M. and Apers, Peter M.G. and Feng, Ling (2007) Ranking Query Results using Context-Aware Preferences. In: International Conference on Data Engineering, ICDE 2007, 17-20 April 2007, Istanbul, Turkey.

Evers, Sander and Fokkinga, Maarten M. and Apers, Peter M.G. (2007) Composable Markov Building Blocks. In: First International Conference on Scalable Uncertainty Management, SUM, 10-12 Oct 2007, Washington DC, USA.

Heerde van, H.J.W and Anciaux, N.L.G. and Fokkinga, M.M. and Apers, P.M.G. (2007) Exploring personalized life cycle policies. [Report]

2006

Bunningen van, Arthur and Fokkinga, Maarten (2006) Possible Histories: A way to model Context-Aware Preferences. [Report]

Fokkinga, Maarten M. (2006) Z-style notation for Probabilities. In: Second Twente Data Management Workshop, TDM: Uncertainty in Databases, June 6, 2006, Enschede.

Fokkinga, Maarten M. (2006) Ignorance in the Relational Model. In: Second Twente Data Management Workshop, TDM: Uncertainty in Databases, June 6, 2006, Enschede.

2005

Heerde van, H.J.W and Fokkinga, M.M. (2005) De databasearchitectuur van Panradio -een zelflerende gedistribueerde muziekspeler-. Database Magazine DB/M, 16 (5). pp. 41-44. ISSN 0925-6911

2004

Choenni, Sunil and Blok, Henk Ernst and Fokkinga, Maarten (2004) Extending the Relational Model with Uncertainty and Ignorance. [Report]

Ruth van, Joeri and Fokkinga, Maarten and Keulen van, Maurice (2004) The DoDo Query Flattening System. [Report]

2003

Wieringa, R.J. and Blanken, H.M. and Fokkinga, M.M. and Grefen, P.W.P.J. (2003) Aligning application architecture to the business context. In: 15th International Conference on Advanced Information Systems Engineering, CAiSE, June 16–20, 2003, Klagenfurt/Velden, Austria.

2002

Eshuis, Rik and Fokkinga, Maarten M. (2002) Comparing Refinements for Failure and Bisimulation Semantics. Fundamenta Informaticae, 52 (4). pp. 297-321. ISSN 0169-2968

Zwol van, Roelof and Jeronimus, V. and Fokkinga, M. and Apers, Peter M.G. (2002) Data Exchange over Web-based Applications with DXL. In: Second International Workshop on Data Integration over the Web, DiWeb, 28 May 2002, Toronto, Canada.

2001

Backhouse, Roland and Fokkinga, Maarten (2001) The associativity of equivalence and the Towers of Hanoi problem. Information Processing Letters, 77 (2-4). pp. 71-76. ISSN 0020-0190

Fokkinga, Maarten and Kuper, Jan (2001) An alternative approach to I/O. [Report]

Wieringa, R.J. and Blanken, H. and Fokkinga, M. (2001) Documenting the ICT Architecture of TSI. [Report]

Zwol van, Roelof and Jeronimus, V. and Fokkinga, M. and Apers, Peter M.G. (2001) DXL: Data eXchange Language. [Report]

1999

Eshuis, Rik and Fokkinga, Maarten M. (1999) Comparing Refinements for Failure and Bisimulation Semantics. In: Workshop Argentino de Informatica Teorica (WAIT 1999), 6-10 Sep 1999, Buenos Aires, Argentina.

Rein van, Rick and Fokkinga, Maarten M. (1999) Protocol Assuring Universal Language. In: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS, 15-18 Feb 1999, Florence, Italy.

1998

Rein van, Rick and Fokkinga, Maarten M. (1998) Protocol Assuring Universal Language. [Report]

1996

Fokkinga, Maarten (1996) Expressions that talk about themselves. The Computer Journal, 39 (5). pp. 408-412. ISSN 0010-4620

Fokkinga, Maarten M. (1996) Datatype Laws Without Signatures. Mathematical Structures in Computer Science, 6 (1). pp. 1-32. ISSN 0960-1295

1994

Fokkinga, M.M. (1994) Abstracte Datatypen en Categorie-Theorie. [Report]

Fokkinga, Maarten (1994) Monadic Maps and Folds for Arbitrary Datatypes. [Report]

Fokkinga, Maarten (1994) Dyads, a generalisation of monads. [Report]

Fokkinga, Maarten and Meertens, Lambert (1994) Adjunctions. [Report]

1993

Fokkinga, Maarten and Poel, Mannes and Zwiers, Job (1993) Modular Completeness for Communication Closed Layers. In: 4th International Conference on Concurrency Theory, CONCUR, 23-26 Aug 1993, Hildesheim, Germany.

1992

Fokkinga, Maarten M. (1992) Calculate categorically! Formal Aspects of Computing, 4 (6A). pp. 673-692. ISSN 0934-5043

Fokkinga, Maarten M. (1992) A Gentle Introduction to Category Theory - the calculational approach. In: Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, Sep 1992, Utrecht, The Netherlands.

Fokkinga, Martinus Maria (1992) Law and Order in Algorithmics. thesis.

1991

Balsters, Herman and Fokkinga, Maarten M. (1991) Subtyping has a Simple Semantics. Theoretical Computer Science, 87 (1). pp. 81-96. ISSN 0304-3975

Fokkinga, M.M. (1991) An exercise in transformational programming: Backtracking and Branch-and-Bound. Science of Computer Programming, 16 (1). pp. 19-48. ISSN 0167-6423

Fokkinga, Maarten M. and Meijer, Erik (1991) Program Calculation Properties of Continuous Algebras. [Report]

Meijer, Erik and Fokkinga, Maarten and Paterson, Ross (1991) Functional programming with bananas, lenses, envelopes and barbed wire. In: 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA, August 26–30, 1991, Cambridge, Massachusetts.

1987

Fokkinga, Maarten M. (1987) A correctness proof of sorting by means of formal procedures. Science of Computer Programming, 9 (3). pp. 263-269. ISSN 0167-6423

Fokkinga, Maarten M. (1987) Programming Language Concepts - The Lambda Calculus Approach. In: Essays on concepts, formalisms, and tools. CWI Tract, 42 . CWI, Amsterdam, The Netherlands, pp. 129-162. ISBN 9789061963264

1974

Fokkinga, M.M. (1974) Inductive assertions patterns for recursive procedures. In: Proceedings of the Programming Symposium, 9-11 Apr 1974, Paris, France.

1973

Fokkinga, M.M. (1973) A self-reproducing Algol 60 program. Algol Bulletin, 35 . pp. 24-26. ISSN 0084-6198