PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pu, Geguang"

Author of the publication

copydeleteadd this publication to your clipboard
Type Checking Choreography Description Language.

, , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 264-283. Springer, (2006)

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.

Sebastian Putzke University of Stuttgart

Miroslav Puskaric University of Stuttgart

Andreea Puscasu University of Stuttgart

Simonetta Puleio University of Stuttgart

Einius Pultinevicius University of Stuttgart

 

Other publications of authors with the same name

On the Relationship between LTL Normal Forms and Büchi Automata., , , , , and . Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 256-270. Springer, (2013)SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 37-44. Springer, (2018)Verification of channel passing in choreography with model checking., , , and . SOCA, page 1-5. IEEE Computer Society, (2009)A Formal Model for Compensable Transactions., , , and . ICECCS, page 64-73. IEEE Computer Society, (2007)Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking., , , and . TASE, page 82-89. IEEE Computer Society, (2014)Building a web thesaurus from web link structure., , , , and . SIGIR, page 48-55. ACM, (2003)Efficiently manifesting asynchronous programming errors in Android apps., , , , , , and . ASE, page 486-497. ACM, (2018)Large-scale analysis of framework-specific exceptions in Android apps., , , , , , , and . ICSE, page 408-419. ACM, (2018)Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications., , , and . QSIC, page 341-344. IEEE Computer Society, (2010)Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling., , , , and . VLSI Design, page 162-167. IEEE Computer Society, (2014)