Maarten M. Fokkinga - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2011

The Hough transformMaarten M. Fokkinga. JFP, 21(2):129-133, 2011. [doi]

2009

A Framework to Balance Privacy and Data Usability Using Data DegradationHarold van Heerde, Maarten M. Fokkinga, Nicolas Anciaux. cse 2009: 146-153 [doi]

2008

Probabilistic processing of interval-valued sensor dataSander Evers, Maarten M. Fokkinga, Peter M. G. Apers. dmsn 2008: 42-48 [doi]

The Right Expert at the Right Time and PlacePavel Serdyukov, Ling Feng, Arthur H. van Bunningen, Sander Evers, Harold van Heerde, Peter M. G. Apers, Maarten M. Fokkinga, Djoerd Hiemstra. pakm 2008: 38-49 [doi]

2007

2006

Ignorance in the Relational ModelMaarten M. Fokkinga. tdm 2006: 33-40 [doi]

Z-style notation for ProbabilitiesMaarten M. Fokkinga. tdm 2006: 19-24 [doi]

2003

Aligning Application Architecture to the Business ContextRoel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen. caise 2003: 209-225 [doi]

2002

Comparing Refinements for Failure and Bisimulation SemanticsRik Eshuis, Maarten M. Fokkinga. FUIN, 52(4):297-321, 2002. [doi]

Data Exchange over Web-based Applications with DXLRoelof van Zwol, V. Jeronimus, Maarten M. Fokkinga, Peter M. G. Apers. diweb 2002: 17-33

2001

The associativity of equivalence and the Towers of Hanoi problemRoland Carl Backhouse, Maarten M. Fokkinga. ipl, 77(2-4):71-76, 2001. [doi]

1999

Protocol Assuring Universal LanguageRick van Rein, Maarten M. Fokkinga. fmoods 1999: 241-258

1996

Datatype Laws without SignaturesMaarten M. Fokkinga. mscs, 6(1):1-32, 1996.

Expressions That Talk About ThemselvesMaarten M. Fokkinga. cj, 39(5):386-407, 1996.

1993

Modular Completeness for Communication Closed LayersMaarten M. Fokkinga, Mannes Poel, Job Zwiers. concur 1993: 50-65

1992

Calculate Categorically!Maarten M. Fokkinga. fac, 4(6A):673-692, 1992.

Law and order in algorithmicsMaarten M. Fokkinga. Univ. Twente, 1992.

1991

Subtyping Can Have a Simple SemanticsHerman Balsters, Maarten M. Fokkinga. TCS, 87(1):81-96, 1991.

An Exercise in Transformational Programming: Backtracking and Branch-and-BoundMaarten M. Fokkinga. SCP, 16(1):19-48, 1991.

Functional Programming with Bananas, Lenses, Envelopes and Barbed WireErik Meijer, Maarten M. Fokkinga, Ross Paterson. fpca 1991: 124-144

1987

A Correctness Proof of Sorting by Means of Formal ProceduresMaarten M. Fokkinga. SCP, 9(3):263-269, 1987.

1977

Axiomatization of Declarations and the Formal Treatment of an Escape ConstructMaarten M. Fokkinga. ifip2 1978: 221-236

1974

Inductive assertion patters for recursive proceduresMaarten M. Fokkinga. programm 1974: 221-233

Sign in or sign up to see more results.

runs on WebDSL