Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Computing Theory and Composabilty

biblio

Distributed Balanced Partitioning via Linear Embedding

Submitted by K_Hooper on Fri, 10/13/2017 - 10:29am

biblio

Compositional Synthesis with Parametric Reactive Controllers

Submitted by K_Hooper on Fri, 10/13/2017 - 10:29am

biblio

The Virtues of Conflict: Analysing Modern Concurrency

Submitted by K_Hooper on Fri, 10/13/2017 - 10:29am

biblio

\$\textbackslashtextbackslashLambda\$ο\$\textbackslashtextbackslashlambda\$: Functional Lattice Cryptography

Submitted by K_Hooper on Fri, 10/13/2017 - 10:29am

biblio

Chapar: Certified Causally Consistent Distributed Key-value Stores

Submitted by K_Hooper on Fri, 10/13/2017 - 10:28am

Terms of Use | ©2023. CPS-VO