PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Yang, Xiaoxiao"

Author of the publication

copydeleteadd this publication to your clipboard
Framed temporal logic programming.

, , and . Sci. Comput. Program., 70 (1): 31-61 (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.

Xiliu Yang University of Stuttgart

Yang Wang University of Stuttgart

Guangpu Yang University of Stuttgart

Hsiu-Yu Yang University of Stuttgart

Peihan Yang University of Stuttgart

 

Other publications of authors with the same name

Framed temporal logic programming., , and . Sci. Comput. Program., 70 (1): 31-61 (2008)Probabilistic Model Checking for Propositional Projection Temporal Logic. CoRR, (2010)Performance Evaluation of Concurrent Data Structures., , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 38-49. (2016)A temporal programming model with atomic blocks based on projection temporal logic., , , and . Frontiers of Computer Science, 8 (6): 958-976 (2014)Operational semantics of Framed Tempura., and . J. Log. Algebr. Program., 78 (1): 22-51 (2008)An Interpreter for Framed Tempura and Its Application., , , and . TASE, page 251-260. IEEE Computer Society, (2007)Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation., , , and . CoRR, (2017)Branching Bisimulation and Concurrent Object Verification., , , , and . DSN, page 267-278. IEEE Computer Society, (2018)An Adaptive Strategy for an Immersive Visuo-Haptic Attention Training Game., , and . EuroHaptics (1), volume 9774 of Lecture Notes in Computer Science, page 441-451. Springer, (2016)A Probabilistic Variant of Projection Temporal Logic. CoRR, (2011)