( en | de | ru )

 

Disambiguation of "Wagner, Christopher"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.

, , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 289-308. Springer, (2023)

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.

Christopher Wagner

Christopher Christopher

Wagner Wagner

Christopher Koßagk

Christopher Huth

 

Other publications of authors with the same name

Evolutionary Music and the Zipf-Mandelbrot Law: Developing Fitness Functions for Pleasant Music., , , , and . EvoWorkshops, volume 2611 of Lecture Notes in Computer Science, page 522-534. Springer, (2003)Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems., , and . CoRR, (2022)Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification., , , , and . CoRR, (2022)Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 289-308. Springer, (2023)QuickSilver: modeling and parameterized verification for distributed agreement-based systems., , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-31 (2021)HACCLE: An Ecosystem for Building Secure Multi-Party Computations., , , , , , , , , and 9 other author(s). CoRR, (2020)Parameterized Verification of Systems with Global Synchronization and Guards., , , , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 299-323. Springer, (2020)Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions., , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 172-200 (April 2023)HACCLE: metaprogramming for secure multi-party computation., , , , , , , , , and 10 other author(s). GPCE, page 130-143. ACM, (2021)Compact Roundtrip Routing for Digraphs., and . SODA, page 885-886. ACM/SIAM, (1999)