Author of the publication

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

OSTRICH: a rich template language for low-code development (extended version)., , , and . Softw. Syst. Model., 22 (5): 1645-1663 (October 2023)Convergence of LR algorithm for a one-point spectrum tridiagonal matrix., and . Numerische Mathematik, 113 (3): 417-431 (2009)Sensitivity of eigenvalues of an unsymmetric tridiagonal matrix., , and . Numerische Mathematik, 122 (3): 527-555 (2012)CHAMELEON: OutSystems Live Bidirectional Transformations., , , , , , and . CoRR, (2023)On relaxed acceleration of the ADI iteration., , , , and . Comput. Appl. Math., 43 (1): 32 (February 2024)OSTRICH - A Type-Safe Template Language for Low-Code Development., , and . MoDELS, page 216-226. IEEE, (2021)Models for Storage in Database Backends., , , , , and . PaPoC@EuroSys, page 58-66. ACM, (2024)VeriFx: Correct Replicated Data Types for the Masses., , and . CoRR, (2022)VeriFx: Correct Replicated Data Types for the Masses., , and . ECOOP, volume 263 of LIPIcs, page 9:1-9:45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers., , , , , and . FMICS, volume 13487 of Lecture Notes in Computer Science, page 155-171. Springer, (2022)