PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Martin, Ursula"

Author of the publication

copydeleteadd this publication to your clipboard
Women in Computing.

, , , , , , , , , and 6 other author(s). Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)

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.

Ursula Hepp University of Stuttgart

apl. Prof. Dr. Ursula Rombeck-Jaschinski University of Stuttgart

Martin Baumann

Martin Schwartz University of Stuttgart

Univ. -Prof. Dr. -Ing. Ullrich Martin University of Stuttgart

 

Other publications of authors with the same name

Women in Computing., , , , , , , , , and 6 other author(s). Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Computational logic and the social.. J. Log. Comput., 26 (2): 467-477 (2016)Some Experiments with a Completion Theorem Prover., and . J. Symb. Comput., 13 (1): 81-100 (1992)A Hoare logic for linear systems., , and . Formal Asp. Comput., 25 (3): 345-363 (2013)A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems., , and . HSCC, volume 2623 of Lecture Notes in Computer Science, page 113-125. Springer, (2003)A General Framework for Sound and Complete Floyd-Hoare Logics, , , and . CoRR, (2008)VSDITLU: a verifiable symbolic definite integral table look-up., , , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 112-126. Springer, (1999)Modelling the way mathematics is actually done., , , , , and . FARM@ICFP, page 10-19. ACM, (2017)Design Verification for Control Engineering., , , , and . IFM, volume 2999 of Lecture Notes in Computer Science, page 21-35. Springer, (2004)A general framework for sound and complete Floyd-Hoare logics., , , and . ACM Trans. Comput. Log., (2009)