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
OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation.

, , , , , and . DATE, page 281-284. IEEE, (2018)

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

Stephan Bachmann University of Stuttgart

Silke Stephan University of Stuttgart

Stephan Renninger 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)Sharing Intelligent Services between Homes., , , , , and . AmI Workshops, volume 11 of Communications in Computer and Information Science, page 379-384. Springer, (2007)The Inverse Method Implements the Automata Approach for Modal Satisfiability, and . CoRR, (2004)Practical Reasoning for Expressive Description Logics., , and . LPAR, volume 1705 of Lecture Notes in Computer Science, page 161-180. Springer, (1999)Tractable and Decidable Fragments of Conceptual Graphs., , and . ICCS, volume 1640 of Lecture Notes in Computer Science, page 480-493. Springer, (1999)A PSpace Algorithm for Graded Modal Logic.. CADE, volume 1632 of Lecture Notes in Computer Science, page 52-66. Springer, (1999)The Inverse Method Implements the Automata Approach for Modal Satisfiability., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 92-106. Springer, (2001)Optimisation of Terminological Reasoning., and . Description Logics, volume 33 of CEUR Workshop Proceedings, page 183-192. CEUR-WS.org, (2000)