University of Limburg (LUC) Department WNI Universitaire Campus B-3590 Diepenbeek Belgium E-mail: marc.spielmann@luc.ac.be

Research

distributed computations computations and queries on the Web communication complexity (in client-server systems) logic in computer science specification and verification (formal methods, model checking, etc.)

Web Automata

Web automata are simple, cooperative information agents for querying the Web (see the PODS 2002 paper below). An experimental distributed Web querying system based on Web automata can be downloaded here.

Publications

	Distributed Computation of Web Queries using Automata (PDF), joint with Jerzy Tyszkiewicz and Jan Van den Bussche, to appear in Proceedings of 21th ACM Symposium on Principles of Database Systems (PODS 2002).
	Verification of Relational Transducers for Electronic Commerce, to appear in a special issue of Journal of Computer and System Sciences.
	see also my (outdated) homepage at RWTH Aachen