Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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)
Keßler, Christoph W.; Seidl, Helmut; Smith, Craig H.
The SPARAMAT approach to automatic comprehension of sparse matrix computationsTrier: Univ., Mathematik/Informatik 1999 21 S. (Trierer Forschungsberichte ; Nr. 99-10)
Hüllen, Jochem; Bergmann, Ralph; Weberskirch, Frank
WebPlan - Dynamic Planning for Domain-Specific Search in the Internet.PuK. 1999
Meinel, Christoph; Sack, Harald
[Mod2]-OBDDs : a BDD structure for probabilistic verificationTrier: Univ., Mathematik/Informatik 1998 11 S. (Trierer Forschungsberichte ; Nr. 98-28)