Marc Spielmann
Post-Doctoral Researcher
Research Group on Theoretical Computer Science

University of Limburg (LUC)
Department WNI
Universitaire Campus
B-3590 Diepenbeek



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.


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

Apr 30, 2002