Informatik - Forschungsinformationssystem | Universität Kassel - CONVERIS Forschungsinformationsystem

Go to Header Go to Navigation Go to Content Go to Footer

Informatik

University of Kassel » Fachbereiche » Faculty of Electrical Engineering and Computer Science

Projects

03/2001 - 03/2002	Vergleichende Untersuchung derzeitiger Verfahren zur Messung der Intranet-Performance
03/2000 - 06/2001	Internetlast-Modellierung mit dynamischen Modellen
10/1995 - 10/1999	Multimedia in der Informatikdidaktik
1995 - 1996	Messung und Bewertung der Systemleistung von DV-Systemen und der Effizienz von SW

Publications

Go to first page

Go to previous page

3 of 3

Go to next page

Go to last page

2000	Katsura, M., Kobayashi, Y., Otto, F., 2000. Undecidability results for monoids with linear-time decidable word problem, in: D.T. Lee, S.T. (Hrsg.), Algorithms and Computation, Proceedings ISAAC’2000. Springer, Berlin, S. 278–289.
1998	Katsura, M., Kobayashi, Y., Otto, F., 1998. Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids. Journal of Symbolic Computation 26, 621–648. https://doi.org/10.1006/jsco.1998.0230

Subordinate Organisational Units