home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by prof. L.G.L.T. Meertens

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

prof. L.G.L.T. Meertens

• contact information
• my technical reports
• former member of group software technology

some publications

Jeuring, J.T. & Meertens, L.G.L.T. (2009). Geniaal programmeren - Generic programming at Utrecht. In H. Bodlaender (Ed.), Fascination for computation, 25 jaar opleiding informatica (pp. 75-88).

Jeuring, J.T. & Meertens, L.G.L.T. (2009). Geniaal programmeren - Generic programming at Utrecht. (UU-CS2009-001 ). onbekend: UU BETA ICS Departement Informatica.

Meertens, L.G.L.T. (2005). Designing Constraint Maintainers for User Interaction. In Shin-Cheng Mu (Ed.), Proc. Third Workshop on Programmable Structured Documents (pp. 1-3).

Meertens, L.G.L.T. (2005). The Dimension of the Vector Space Spanned by Sets of Radio-Interferometric Measurements. : Kestrel Institute, Palo Alto.

Meertens, L.G.L.T. (2004). Calculating the Sieve of Eratosthenes. Journal of functional programming, 14, 759-763.

Meertens, L.G.L.T. (2004). The Distributed Construction of a Global Coordinate System in a Network of Static Computational Nodes from Inter-Node Distances. Palo Alto: Kestrel Institute, Palo Alto.

Fitzpatrick, S. & Meertens, L.G.L.T. (2003). Distributed coordination through anarchic optimization. In Victor Lesser, Charles.L. Ortiz, . Jr. & Milind Tambe (Eds.), Distributed Sensor Networks: A Multiagent Perspective (pp. 257-295). Kluwer Academic Publishers.

Fitzpatrick, S. & Meertens, L.G.L.T. (2001). An experimental assesment of a stochastic, anytime, decentralized soft colourer for sparse graphs. In K. Steinhoefel (Ed.), Stochastic Algorithms: Foundations and Applications, Proceedings SAGA 2001 (pp. 49-64). Springer-Verlag.

Fitzpatrick, S. & Meertens, L.G.L.T. (2001). Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion. (KES.U.01.09 ). Unknown: Kesterel Institute.

Fitzpatrick, S. & Meertens, L.G.L.T. (2001). Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchrononous, Stochastic, Iterative-Repair, Anytime Algorithms -- A Framework. (KES.U.01.05 ). unknown: Kestrel Institute Technical Report.

Backhouse, R., Jansson, P., Jeuring, J.T. & Meertens, L.G.L.T. (1999). Generic Programming: an introduction. In S.D. Swierstra, P.R. Henriques & J.N. Olivera (Eds.), Advanced Functional Programming (LNCS, 1608) (pp. 28-115). Springer-Verlag.

Bleeker, A.M. & Meertens, L.G.L.T. (1999). Knowledge in security protocols: an operational semantics for BAN logic. In C. Areces & M. de Rijke (Eds.), Workshop Proceedings Methods for Modalities 1. Amsterdam, the Netherlands: ILLC, Amsterdam University.

Meertens, L.G.L.T. (1998). Functor Pulling. In Proceedings of the International Workshop on Generic Programming (WGP'98). Marstrand, Sweden.

Meertens, L.G.L.T. & Bird, R. (1998). Nested Datatypes. In J. Jeuring (Ed.), Mathematics of Program Construction, MPC'98 (pp. 52-67).

Bird, R. & Meertens, L.G.L.T. (1997). Algorithmic Languages and Calculi. London, England: Chapman & Hall.

Meertens, L.G.L.T. (1996). Calculate Polytypically ! In H. Kuchen & S.D. Swierstra (Eds.), Programming Languages: Implementations Logics, and Programs, Proceedings PLILP'96 (pp. 1-16).

Meertens, L.G.L.T. (1990). Paramorphisms. (RUU-CS90-04 ). Utrecht.

Meertens, L.G.L.T. (1989). Constructing a calculus of programs. (RUU-CS89-09 ). Utrecht.