Maarten M. Fokkinga

According to our database, Maarten M. Fokkinga authored at least 25 papers between 1974 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

The Hough transform.

Maarten M. Fokkinga

J. Funct. Program., 2011

2009

A Framework to Balance Privacy and Data Usability Using Data Degradation.

Harold van Heerde, Maarten M. Fokkinga, Nicolas Anciaux

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

The Right Expert at the Right Time and Place.

Pavel Serdyukov, Ling Feng, Arthur H. van Bunningen, Sander Evers, Harold van Heerde, Peter M. G. Apers, Maarten M. Fokkinga, Djoerd Hiemstra

Proceedings of the Practical Aspects of Knowledge Management, 7th International Conference, 2008

Probabilistic processing of interval-valued sensor data.

Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers

Proceedings of the 5th Workshop on Data Management for Sensor Networks, 2008

2007

Composable Markov Building Blocks.

Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers

Proceedings of the Scalable Uncertainty Management, First International Conference, 2007

Generative modeling of persons and documents for expert search.

Pavel Serdyukov, Djoerd Hiemstra, Maarten M. Fokkinga, Peter M. G. Apers

Proceedings of the SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2007

Ranking Query Results using Context-Aware Preferences.

Arthur H. van Bunningen, Maarten M. Fokkinga, Peter M. G. Apers, Ling Feng

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

2006

Ignorance in the Relational Model.

Maarten M. Fokkinga

Proceedings of the Second Twente Data Management Workshop (TDM 2006) on Uncertainty in Databases, 2006

Z-style notation for Probabilities.

Maarten M. Fokkinga

Proceedings of the Second Twente Data Management Workshop (TDM 2006) on Uncertainty in Databases, 2006

2003

Aligning Application Architecture to the Business Context.

Roel J. Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002

Comparing Refinements for Failure and Bisimulation Semantics.

Rik Eshuis, Maarten M. Fokkinga

Fundam. Informaticae, 2002

Data Exchange over Web-based Applications with DXL.

Roelof van Zwol, V. Jeronimus, Maarten M. Fokkinga, Peter M. G. Apers

Proceedings of the Second International Workshop on Data Integration over the Web, 2002

2001

The associativity of equivalence and the Towers of Hanoi problem.

Roland Carl Backhouse, Maarten M. Fokkinga

Inf. Process. Lett., 2001

1999

Protocol Assuring Universal Language.

Rick van Rein, Maarten M. Fokkinga

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1996

Datatype Laws without Signatures.

Maarten M. Fokkinga

Math. Struct. Comput. Sci., 1996

Expressions That Talk About Themselves.

Maarten M. Fokkinga

Comput. J., 1996

1993

Modular Completeness for Communication Closed Layers.

Maarten M. Fokkinga, Mannes Poel, Job Zwiers

Proceedings of the CONCUR '93, 1993

1992

Calculate Categorically!

Maarten M. Fokkinga

Formal Aspects Comput., 1992

Law and order in algorithmics.

Maarten M. Fokkinga

Univ. Twente, ISBN: 978-90-9004816-1, 1992

1991

Subtyping Can Have a Simple Semantics.

Herman Balsters, Maarten M. Fokkinga

Theor. Comput. Sci., 1991

An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.

Maarten M. Fokkinga

Sci. Comput. Program., 1991

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.

Erik Meijer, Maarten M. Fokkinga, Ross Paterson

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1987

A Correctness Proof of Sorting by Means of Formal Procedures.

Maarten M. Fokkinga

Sci. Comput. Program., 1987

1977

Axiomatization of Declarations and the Formal Treatment of an Escape Construct.

Maarten M. Fokkinga

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1974

Inductive assertion patters for recursive procedures.

Maarten M. Fokkinga

Proceedings of the Programming Symposium, 1974