PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Müller-Olm, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Analysis of modular arithmetic.

, and . ACM Trans. Program. Lang. Syst., 29 (5): 29 (2007)

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.

Kim Müller University of Stuttgart

Alexander Müller

Timo Müller University of Stuttgart

Niklas Müller University of Stuttgart

Cordula Müller University of Stuttgart

 

Other publications of authors with the same name

Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors., and . Archive of Formal Proofs, (2007)Formal proof development.A Note on Karr's Algorithm., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 1016-1028. Springer, (2004)Upper Adjoints for Fast Inter-procedural Variable Equalities., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 178-192. Springer, (2008)A Generic Framework for Interprocedural Analysis of Numerical Properties., and . SAS, volume 3672 of Lecture Notes in Computer Science, page 235-250. Springer, (2005)Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors., and . SAS, volume 5079 of Lecture Notes in Computer Science, page 205-220. Springer, (2008)Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables., and . LOPSTR, volume 3018 of Lecture Notes in Computer Science, page 59-74. Springer, (2003)Precise interprocedural analysis through linear algebra., and . POPL, page 330-341. ACM, (2004)(Linear) Algebra for Program Analysis Dynamische Programmanalyse., and . Softwaretechnik-Trends, (2003)Preface to a special section on verification, model checking, and abstract interpretation., and . STTT, 13 (6): 491-493 (2011)Precise Interprocedural Dependence Analysis of Parallel Programs. Universität Trier, Mathematik/Informatik, Forschungsbericht, (2002)