Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pavol Černý
Sequential Programming for Replicated Data Stores
Proceedings of the ACM on Programming Languages
Preserving Secrecy Under Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Weighted Voting for Replicated Data
Replicated Data Types
Conflict Detection Tradeoffs for Replicated Data
ACM Transactions on Database Systems
Information Systems
Replicated Data Management for Mobile Computing
Synthesis Lectures on Mobile and Pervasive Computing
Hardware
Computer Science Applications
Architecture
Software
A High-Throughput Data Ingest Pipeline for Semantic Data-Stores
Proceedings of TDWG
Exploiting Key-Value Data Stores Scalability for HPC
How to Make Replicated Data Secure
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Sequential Convex Programming for Optimal Control Applications
A Sequential Linear Programming Coordination Algorithm for Analytical Target Cascading
Journal of Mechanical Design, Transactions Of the ASME
Computer Science Applications
Mechanics of Materials
Computer Graphics
Computer-Aided Design
Mechanical Engineering
