EEMCS

Fokkinga, M.M. (2011) The Hough transform. Journal of Functional Programming, 21 (2). pp. 129-133. ISSN 0956-7968 *** ISI Impact 1,370 ***

Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2009) Inference Optimization using Relational Algebra. Technical Report TR-CTIT-09-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Heerde, H.J.W. and Fokkinga, M.M. and Anciaux, N.L.G. (2009) A framework to balance privacy and data usability using data degradation. In: Proceedings of the International Conference on Computational Science and Engineering (CSE2009), 29-31 Aug 2009, Vancouver, Canada. pp. 146-153. IEEE Computer Society. ISBN 978-0-7695-3823-5

Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2008) Probabilistic Processing of Interval-valued Sensor Data. In: Proceedings of the 5th International Workshop on Data Management for Sensor Networks (DMSN2008), 24 Aug 2008, Auckland, New Zealand. pp. 42-48. ACM International Conference Proceeding Series. ACM. ISBN 978-1-60558-284-9

Serdyukov, P. and Feng, Ling and van Bunningen, A.H. and Evers, S. and van Heerde, H.J.W. and Apers, P.M.G. and Fokkinga, M.M. and Hiemstra, D. (2008) The right expert at the right time and place: From expertise identification to expertise selection. In: Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management (PAKM2008), 21-23 Nov 2008, Yokohama, Japan. pp. 38-49. Lecture Notes in Artificial Intelligence 5345. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89446-9

van Bunningen, A.H. and Feng, Ling and Fokkinga, M.M. and Apers, P.M.G. (2007) An Answer Explanation Model for Probabilistic Database Queries. Technical Report TR-CTIT-07-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Bunningen, A.H. and Fokkinga, M.M. and Apers, P.M.G. and Feng, Ling (2007) Ranking Query Results using Context-Aware Preferences. In: First International Workshop on Ranking in Databases (DBRank 2007), April 16, 2007, Istanbul, Turkey. pp. 269-276. IEEE Computer Society. ISBN 978-1-4244-0832-0

Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2007) Composable Markov Building Blocks. Technical Report TR-CTIT-07-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2007) Composable Markov Building Blocks. In: Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007), 10-12 Oct 2007, Washington DC, USA. pp. 131-142. Lecture Notes in Computer Science 4772. Springer Verlag. ISBN 978-3-540-75407-7

van Heerde, H.J.W. and Anciaux, N.L.G. and Fokkinga, M.M. and Apers, P.M.G. (2007) Exploring personalized life cycle policies. Technical Report TR-CTIT-07-85, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Serdyukov, P. and Hiemstra, D. and Fokkinga, M.M. and Apers, P.M.G. (2007) Generative Modeling of Persons and Documents for Expert Search. In: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2007), 23-27 Jul 2007, Amsterdam, Netherlands. pp. 827-828. ACM Press. ISBN 978-1-59593-597-7

van Bunningen, A.H. and Fokkinga, M.M. (2006) Possible Histories: A way to model Context-Aware Preferences. Technical Report TR-CTIT-06-78, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Fokkinga, M.M. (2006) Z-style notation for Probabilities. In: Proceedings of the 2nd Twente Data Management Workshop (TDM'06) on Uncertainty in Databases, 6 June 2006, Enschede. pp. 19-24. CTIT Workshop Proceedings Series (WP-CTIT-06-01). Centre for Telematics and Information Technology University of Twente. ISSN 1574-0846

Fokkinga, M.M. (2006) Ignorance in the Relational Model. In: Proceedings of the 2nd Twente Data Management Workshop (TDM'06) on Uncertainty in Databases, 06 June 2006, Enschede. pp. 33-40. CTIT Workshop Proceedings Series (WP-CTIT-06-01). Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625

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

Choenni, R.S. and Blok, H.E. and Fokkinga, M.M. (2004) Extending the Relational Model with Uncertainty and Ignorance. Technical Report TR-CTIT-04-29, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625

van Ruth, J. and Fokkinga, M.M. and van Keulen, M. (2004) The Dodo Query Flattening System. Technical Report TR-CTIT-04-41, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625

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: Proceedings of the 15th International Conference on Advanced Information System Engineering (CAiSE 2003), 16-20 Jun 2003, Klagenfurt/Velden, Austria. pp. 209-225. Lecture Notes in Computer Science 2681. Springer Verlag. ISBN 978-3-540-40442-2

Eshuis, H. and Fokkinga, M.M. (2002) Comparing Refinements for Failure and Bisimulation Semantics. Fundamenta Informaticae, 52 (4). pp. 297-321. ISSN 0169-2968 *** ISI Impact 0,522 ***

van Zwol, R. and Fokkinga, M.M. and Jeronimus, V. and Apers, P.M.G. (2002) Data Exchange over Web-based Applications with DXL. In: 2nd International Workshop on Data Integration on the Web (DIWeb 2002), 28 May 2002, Toronto, Canada. pp. 17-33. University of Toronto Press.

Backhouse, R.C. and Fokkinga, M.M. (2001) The associativity of equivalence and the Towers of Hanoi problem. Information Processing Letters, 77 (2-4). pp. 71-76. ISSN 0020-0190 *** ISI Impact 0,612 ***

Fokkinga, M.M. and Kuper, J. (2001) An alternative approach to I/O. Technical Report TR-CTIT-01-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. and Blanken, H.M. and Fokkinga, M.M. (2001) Documenting the ICT Architecture of TSI. Technical Report TR-CTIT-01-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Zwol, R. and Jeronimus, V. and Fokkinga, M.M. and Apers, P.M.G. (2001) DXL: Data eXchange Language. Technical Report TR-CTIT-01-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Eshuis, H. and Fokkinga, M.M. (1999) Comparing Refinements for Failure and Bisimulation Semantics. In: Workshop Argentino de Informatica Teorica (WAIT 1999), 6-10 Sep 1999, Buenos Aires, Argentina. pp. 65-80. Sociedad Argentina de Informática e Investigacíon Operativa. ISBN not assigned

van Rein, H. and Fokkinga, M.M. (1999) Protocol Assuring Universal Language. In: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), 15-18 Feb 1999, Florence, Italy. pp. 241-258. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0-7923-8429-6

van Rein, H. and Fokkinga, M.M. (1998) Protocol assuring Universal Language. Technical Report TR-CTIT-98-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Fokkinga, M.M. (1996) Expressions that talk about themselves. The Computer Journal, 39 (5). pp. 408-412. ISSN 0010-4620 *** ISI Impact 1,327 ***

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

Fokkinga, M.M. (1994) Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. (1994) Dyads, a generalisation of monads. Memoranda Informatica 94-30, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. (1994) Abstracte Datatypen en Categorie-Theorie. Memoranda Informatica 94-32, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. and Meertens, L.G.L.T. (1994) Adjunctions. Memoranda Informatica 94-31, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. and Poel, M. and Zwiers, J. (1993) Modular Completeness for Communication Closed Layers. In: Proceedings of the 4th International Conference on Concurrency Theory (CONCUR 1993), 23-26 Aug 1993, Hildesheim, Germany. pp. 50-65. Lecture Notes in Computer Science 715. Springer Verlag. ISBN 3-540-57208-2

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

Fokkinga, M.M. (1992) Law and Order in Algorithmics. PhD thesis, University of Twente. ISBN 90-9004816-2

Fokkinga, M.M. (1992) A Gentle Introduction to Category Theory - the calculational approach. (Invited) In: Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, Sep 1992, Utrecht, The Netherlands. pp. 1-72. University of Utrecht. ISSN not assigned

Balsters, H. and Fokkinga, M.M. (1991) Subtyping has a Simple Semantics. Theoretical computer science, 87. pp. 81-96. ISSN 0304-3975 *** ISI Impact 0,838 ***

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 *** ISI Impact 1,282 ***

Fokkinga, M.M. and Jeuring, J. and Meertens, L.G.L.T. and Meijer, E. (1991) A translation from attribute grammars to catamorphisms. The Squiggolist, 2 (1). pp. 20-26.

Fokkinga, M.M. and Meijer, E. (1991) Program Calculation Properties of Continuous Algebras. Technical Report CS-R9104 CWI (Centrum voor Wiskunde en Informatica), Amsterdam, The Netherlands.

Meijer, E. and Fokkinga, M.M. and Paterson, R. (1991) Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In: Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA 1991), 26-30 Aug 1991, Cambridge, MA, USA. pp. 124-144. Lecture Notes in Computer Science 523. Springer Verlag. ISSN 0302-9743 ISBN 3-540-54396-1

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

Fokkinga, M.M. (1987) Backtracking and Branch-and-Bound Functionally Expressed. In: Computing Science in the Netherlands (CSN 1987), Amsterdam, The Netherlands. pp. 207-224. SION. ISSN 1388-5987

Fokkinga, M.M. (1987) An Elementary Semantics for Cardelli's System of Multiple Inheritance. Memoranda Informatica 87-33, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. (1987) Programming Language Concepts - The Lambda Calculus Approach. In: Essays on concepts, formalisms, and tools. CWI Tract 42. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, The Netherlands, pp. 129-162. ISBN 90 6196 326 5

Fokkinga, M.M. (1987) Transformatie van Specificatie tot Implementatie. In: Colloquium Software Specificatie Technieken. Academic Service, Schoonhoven, The Netherlands, pp. 53-86. ISBN 90-6233-269-2

Fokkinga, M.M. (1986) Backtracking and Branch-and-Bound functionally expressed. Memoranda Informatica 86-18, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. and Jansen, P.G. (1986) Another variant of the Schorr-Waite algorithm and its correctnessproof - an exercise in formulation. In: NGI-SION 1986 Symposium Stimulerende Informatica, Utrecht, The Netherlands. pp. 445-455. Stichting Informatica Congressen. ISBN 90-5005-007-7

Fokkinga, M.M. (1985) Functioneel programmeren in een vogelvlucht. Informatie, 27 (10). pp. 862-873. ISSN 0019-9907

Fokkinga, M.M. (1985) Exception Handling Constructs Considered Unnecessary. In: Proceedings NGI-SION 1985 Symposium Uitdaging aan de Informatica, Utrecht, The Netherlands. pp. 406-416. Nederlands genootschap voor informatica. ISBN 90-70621-17-7

Fokkinga, M.M. (1984) A notation for the most general form of repetition. Memoranda Informatica 84-3, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. (1983) Over het nut en de mogelijkheden van typering. Memoranda Informatica 83-5, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755

Fokkinga, M.M. (1981) On the notion of strong typing. In: Algorithmic Languages, 26-29 Oct 1981, Amsterdam, The Netherlands. pp. 305-320. IFIP TC2, North-Holland. ISBN 0-444-86285-4

Fokkinga, M.M. (1979) Some self-reproducing Algol-like programs and Kleene's recursion theorem formulated in concrete programming languages. Memorandum TW-memo 281, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Fokkinga, M.M. (1979) A Simpler correctness proof of an in-place permutation algorithm. Memorandum TW-Memo 249, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Fokkinga, M.M. (1978) Axiomatization of Declarations and the formal treatment of an Escape Construct. In: IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts, 1-5 Aug 1977, St. Andrews, Canada. pp. 221-236. North-Holland. ISBN 0-444-85107-0

Fokkinga, M.M. (1977) Exchanging Robustness of a Program for a Relaxation of its Specification. Memorandum TW-Memo 178, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Fokkinga, M.M. (1977) On the use of continuations in Mathematical Semantics. Memorandum TW-Memo 159, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Bron, C. and Fokkinga, M.M. (1976) A proposal for dealing with abnormal termination of programs. Memorandum TW-Memo 150, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Fokkinga, M.M. (1975) Comments on a paper by Milner concerning the semantics of parallelism. Memorandum TW-Memo 71, Department of Applied Mathematics, University of Twente, Enschede.

Fokkinga, M.M. (1975) Recursieve procedures en eenvoudige inductie asserties. In: Colloquium Programmacorrectheid. Mathematical Centre Syllabus 21. Mathematical Centre, Amsterdam, The Netherlands, pp. 151-165. ISBN 90-6196-103-3

Fokkinga, M.M. (1974) Inductive assertions patterns for recursive procedures. In: Proceedings of the Programming Symposium, 9-11 Apr 1974, Paris, France. pp. 221-233. Lecture Notes in Computer Science 19. Springer Verlag. ISSN 0302-9743 ISBN 3-540-06859-7

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