Author:
Macedo Hugo Daniel,Oliveira José Nuno
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Parnas, D.L.: Really rethinking ’formal methods’. IEEE Computer 43(1), 28–34 (2010)
2. Distefano, S., Longo, F., Scarpa, M.: Availability assessment of ha standby redundant clusters. In: 29th IEEE Int. Symp. on Reliable Distributed Systems (2010)
3. Sernadas, A., Ramos, J., Mateus, P.: Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources. Technical report, TU Lisbon, Short paper, LPAR, Doha, Qatar (November 22-27, 2008)
4. Macedo, H., Oliveira, J.: Can we teach computers to generate fast OLAP code? Technical note (May 2010),
http://wiki.di.uminho.pt
5. Trcka, N.: Strong, weak and branching bisimulation for transition systems and Markov reward chains: A unifying matrix approach. In: Andova, S.E. (ed.) Proc. 1st Workshop on Quantitative Formal Methods: Theory and Applications (December 2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The data cube as a typed linear algebra operator;Proceedings of The 16th International Symposium on Database Programming Languages;2017-09
2. A linear algebra approach to OLAP;Formal Aspects of Computing;2015-03
3. Towards a linear algebra of programming;Formal Aspects of Computing;2012-07