Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Witteveen, Cees"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The efficiency of identifying timed automata and the power of clocks
Sicco Verwer
,
Mathijs de Weerdt
,
Cees Witteveen
Information and Computation
209
(3), 2011, pp. 606-625
Updating nonmonotonic databases
Cees Witteveen
,
Wiebe van der Hoek
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 147-153
Inferring control structures from the behaviour of a production system
Cees Witteveen
,
Harrie Boelens
Information and Control
51
, 1981, pp. 275-301