Kronecker Based Matrix Representations for Large Markov Models-Reference-Cited by-同舟云学术

Kronecker Based Matrix Representations for Large Markov Models

Published:2004 Issue: Volume: Page:256-295
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Buchholz Peter,Kemper Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24611-4_8

Reference66 articles.

1. Benoit, A., Plateau, B., Stewart, W.J.: Memory-efficient iterative methods for stochastic automata networks. Technical Report, Rapport de recherche INRIA n. 4259, France (September 2001)

2. Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley, Chichester (1995)

3. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. on Computational Logic 1(1), 162–170 (2000)

4. Lecture Notes in Computer Science;C. Baier,2000

5. Bause, F., Buchholz, P.: Protocol analysis using a timed version of SDL. In: Quemada, J., Manas, J., Vazquez, E. (eds.) Formal Description Techniques 90, pp. 239–254. North-Holland, Amsterdam (1990)

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State ordering and classification for analyzing non-sparse large Markov models;The Journal of Supercomputing;2024-08-21

2. Dependability Analysis of UPS Architectures for the Italian Railway Signaling System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023

3. Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -;2022 41st International Symposium on Reliable Distributed Systems (SRDS);2022-09

4. TAPAS;ACM SIGMETRICS Performance Evaluation Review;2022-06-02

5. A Stochastic Automata Network Description for Spatial DNA-Methylation Models;Lecture Notes in Computer Science;2020