Author of the publication

Stability verification of hydraulic steel structures

, , and . Advances in structural engineering, 21 (16, SI): 2553-2570 (2018)
DOI: 10.1177/1369433218787722

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

Homomorphism complexes and maximal chains in graded posets., and . Eur. J. Comb., (2019)Matching and Independence Complexes Related to Small Grids., and . Electr. J. Comb., 24 (4): P4.18 (2017)Taking proof-based verified computation a few steps closer to practicality (extended version)., , , , , and . IACR Cryptology ePrint Archive, (2012)The complex of non-crossing diagonals of a polygon., and . J. Comb. Theory, Ser. A, 117 (6): 642-649 (2010)An Ehrhart Series Formula For Reflexive Polytopes.. Electr. J. Comb., (2006)Resolving the conflict between generality and plausibility in verified computation., , , , , and . IACR Cryptology ePrint Archive, (2012)Detecting the integer decomposition property and Ehrhart unimodality in reflexive simplices., , and . Adv. Appl. Math., (2018)Resolving the conflict between generality and plausibility in verified computation., , , , , and . EuroSys, page 71-84. ACM, (2013)Verifying computations with state., , , , , and . SOSP, page 341-357. ACM, (2013)Counting arithmetical structures on paths and cycles., , , , , , , , and . Discrete Mathematics, 341 (10): 2949-2963 (2018)