Wang, Li; Mohammad-Djafari, Ali; Gac, Nicolas X-ray computed tomography using a sparsity enforcing prior model based on Haar transformation in a Bayesian framework. (English) Zbl 1377.94009 Fundam. Inform. 155, No. 4, 449-480 (2017). MSC: 94A08 92C55 PDFBibTeX XMLCite \textit{L. Wang} et al., Fundam. Inform. 155, No. 4, 449--480 (2017; Zbl 1377.94009) Full Text: DOI
Hou, Fujun A hierarchical decision model based on pairwise comparisons. (English) Zbl 1360.91067 Fundam. Inform. 144, No. 3-4, 333-348 (2016). MSC: 91B06 90B50 PDFBibTeX XMLCite \textit{F. Hou}, Fundam. Inform. 144, No. 3--4, 333--348 (2016; Zbl 1360.91067) Full Text: DOI
Sroka, Jacek; Chrząstowski-Wachtel, Piotr; Hidders, Jan On generating hierarchical workflow nets and their extensions and verifying hierarchicality. (English) Zbl 1359.68227 Fundam. Inform. 141, No. 4, 367-398 (2015). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q60 90B70 PDFBibTeX XMLCite \textit{J. Sroka} et al., Fundam. Inform. 141, No. 4, 367--398 (2015; Zbl 1359.68227) Full Text: DOI
Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. (English) Zbl 1183.68374 Fundam. Inform. 94, No. 3-4, 413-437 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Hamez} et al., Fundam. Inform. 94, No. 3--4, 413--437 (2009; Zbl 1183.68374) Full Text: DOI
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone Dynamic hierarchical machines. (English) Zbl 1111.68061 Fundam. Inform. 54, No. 2-3, 237-252 (2003). MSC: 68Q45 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Fundam. Inform. 54, No. 2--3, 237--252 (2003; Zbl 1111.68061)