Maarten M. Fokkinga

Publication Activity (10 Years)

Years Active: 1974-2011
Publications (10 Years): 0

Publications

Maarten M. Fokkinga
The Hough transform. J. Funct. Program. 21 (2) (2011)
Harold van Heerde, Maarten M. Fokkinga, Nicolas Anciaux
A Framework to Balance Privacy and Data Usability Using Data Degradation. CSE (3) (2009)
Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers
Probabilistic processing of interval-valued sensor data. DMSN (2008)
Pavel Serdyukov, Ling Feng, Arthur H. van Bunningen, Sander Evers, Harold van Heerde, Peter M. G. Apers, Maarten M. Fokkinga, Djoerd Hiemstra
The Right Expert at the Right Time and Place. PAKM (2008)
Pavel Serdyukov, Djoerd Hiemstra, Maarten M. Fokkinga, Peter M. G. Apers
Generative modeling of persons and documents for expert search. SIGIR (2007)
Arthur H. van Bunningen, Maarten M. Fokkinga, Peter M. G. Apers, Ling Feng
Ranking Query Results using Context-Aware Preferences. ICDE Workshops (2007)
Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers
Composable Markov Building Blocks. SUM (2007)
Maarten M. Fokkinga
Z-style notation for Probabilities. TDM (2006)
Maarten M. Fokkinga
Ignorance in the Relational Model. TDM (2006)
Roel J. Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen
Aligning Application Architecture to the Business Context. CAiSE (2003)
Roelof van Zwol, V. Jeronimus, Maarten M. Fokkinga, Peter M. G. Apers
Data Exchange over Web-based Applications with DXL. DIWeb (2002)
Rik Eshuis, Maarten M. Fokkinga
Comparing Refinements for Failure and Bisimulation Semantics. Fundam. Informaticae 52 (4) (2002)
Roland Carl Backhouse, Maarten M. Fokkinga
The associativity of equivalence and the Towers of Hanoi problem. Inf. Process. Lett. 77 (2-4) (2001)
Rick van Rein, Maarten M. Fokkinga
Protocol Assuring Universal Language. FMOODS (1999)
Maarten M. Fokkinga
Datatype Laws without Signatures. Math. Struct. Comput. Sci. 6 (1) (1996)
Maarten M. Fokkinga
Expressions That Talk About Themselves. Comput. J. 39 (5) (1996)
Maarten M. Fokkinga, Mannes Poel, Job Zwiers
Modular Completeness for Communication Closed Layers. CONCUR (1993)
Maarten M. Fokkinga
Calculate Categorically! Formal Aspects Comput. 4 (6A) (1992)
Maarten M. Fokkinga
An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. Sci. Comput. Program. 16 (1) (1991)
Erik Meijer, Maarten M. Fokkinga, Ross Paterson
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. FPCA (1991)
Herman Balsters, Maarten M. Fokkinga
Subtyping Can Have a Simple Semantics. Theor. Comput. Sci. 87 (1) (1991)
Maarten M. Fokkinga
A Correctness Proof of Sorting by Means of Formal Procedures. Sci. Comput. Program. 9 (3) (1987)
Maarten M. Fokkinga
Axiomatization of Declarations and the Formal Treatment of an Escape Construct. Formal Description of Programming Concepts (1977)
Maarten M. Fokkinga
Inductive assertion patters for recursive procedures. Symposium on Programming (1974)