Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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)
Baum, D.
A BMAP (absolute value) G (absolute value) 1-Analysis Based on Convolution CalculusJournal of mathematical sciences. a translation of selected Russian-language serial publications in mathematics. Bd. 92. H. 4. New York, NY [u.a.]: Consultants Bureau 1998 S. 3990 - 4002
Rödler, R.
A Convergence Theorem for a Special Class of Stochastic ProcessesStochastic analysis and applications. Bd. 16. H. 1. Philadelphia, Pa. [u.a.]: Taylor & Francis 1998 S. 153 - 162