Author of the publication

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates.

, , , , , and . LADC, page 58-67. IEEE Computer Society, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CBAM-DCE: A Non-Reference Image Correction Algorithm for Uneven Illumination., , , , , and . AIPR, page 803-809. ACM, (2022)Position Auction.. Encyclopedia of Algorithms, (2016)Stabilization analysis of time-delay Hamiltonian systems in the presence of saturation.. Appl. Math. Comput., 217 (23): 9625-9634 (2011)Markov chain approximations to filtering equations for reflecting diffusion processes, , and . Stochastic Processes and their Applications, 110 (2): 275--294 (April 2004)Multiaxial Mechanical Behavior Of Biological Materials, and . Annual Review of Biomedical Engineering, 5 (1): 251--284 (August 2003)Disparity contour grouping for multi-object segmentation in dynamically textured scenes., and . VISAPP (2), page 347-354. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2007)On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems., , and . IEEE Trans. Knowl. Data Eng., 8 (4): 604-616 (1996)A saliency-based sampling method for image matting., , and . FSKD, page 1686-1689. IEEE, (2012)Effect of the Inonotus Obliquus Polysaccharides on Blood Lipid Metabolism and Oxidative Stress of Rats Fed High-Fat Diet In Vivo., , , and . BMEI, page 1-4. IEEE, (2009)Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication.. J. Comput. Sci. Technol., 15 (1): 27-36 (2000)