PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tobies, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
VCC: A Practical System for Verifying Concurrent C.

, , , , , , , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 23-42. Springer, (2009)

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.

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

Stephan Renninger University of Stuttgart

Stephan Bachmann University of Stuttgart

 

Other publications of authors with the same name

PSPACE Reasoning for Graded Modal Logics.. J. Log. Comput., 11 (1): 85-106 (2001)Reasoning with Individuals for the Description Logic SHIQ., , and . CADE, volume 1831 of Lecture Notes in Computer Science, page 482-496. Springer, (2000)A Tableau Algorithm for the Clique Guarded Fragment., and . Advances in Modal Logic, page 257-277. World Scientific, (2000)Reasoning with Axioms: Theory and Practice., and . KR, page 285-296. Morgan Kaufmann, (2000)A NExpTime-Complete Description Logic Strictly Contained in C2.. CSL, volume 1683 of Lecture Notes in Computer Science, page 292-306. Springer, (1999)The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics.. J. Artif. Intell. Res., (2000)Formal Test Purposes and The Validity of Test Cases, and . CoRR, (2004)OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation., , , , , and . DATE, page 281-284. IEEE, (2018)Complexity results and practical algorithms for logics in knowledge representation.. RWTH Aachen University, Germany, (2001)Sharing Intelligent Services between Homes., , , , , and . AmI Workshops, volume 11 of Communications in Computer and Information Science, page 379-384. Springer, (2007)