Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Damm, Carsten
On the complexity of tensor formulaeTrier: Univ., Mathematik/Informatik 1999 15 S. (Trierer Forschungsberichte ; Nr. 99-20)
Meinel, Ch; Theobald, Th
On the influence of the state encoding on OBDD-representations of finite state machinesTheoretical informatics and applications. Bd. 33. H. 1. Cambridge, Mass.: EDP Sciences 1999 S. 21 - 32
Dassow, Jürgen; Fernau, Henning; Paun, Gheorghe
On the Leftmost Derivation in Matrix Grammars.Int. J. Found. Comput. Sci. Bd. 10. H. 1. 1999 S. 61 - 80
Bern, Jochen; Meinel, Christoph
One step further : integrating electronic submission and the reviewing processTrier: Univ., Mathematik/Informatik 1999 5 S. (Trierer Forschungsberichte ; Nr. 99-16)
Fernau, Henning; Freund, Rudolf; Holzer, Markus
Regulated Array Grammars of Finite Index. Part I: Theoretical Investigations.Grammatical Models of Multi-Agent Systems. 1999 S. 157 - 181
Fernau, Henning; Freund, Rudolf; Holzer, Markus
Regulated Array Grammars of Finite Index. Part II: Syntactic Pattern Recognition.Grammatical Models of Multi-Agent Systems. 1999 S. 284 - 296
Meinel, Christoph; Stangier, Christian
Speeding up symbolic model checking by accelerating dynamic variable reorderingTrier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)
Morvan, M.; Meinel, C.; Krob, D.
STACS ´98 - 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 1998, ProceedingsHeidelberg: Springer-Verlag 1999
Hofmann, J.
The BMAP/G/1 queue with level dependent arrivals. An overview, Select Proceedings of the 4th INFORMS Telecommunications Conference, Boca Raton, 1998Special Issue of Telecommunication Systems. 1999
Mundhenk, Martin
The complexity of optimal small policiesTrier: Univ., Mathematik/Informatik 1999 15 S. (Trierer Forschungsberichte ; Nr. 99-22)