Universal solutions for temporal data exchange
- Zehui Cheng
- Phokion G. Kolaitis
- 2021
- Information and Computation
Publications
Date
Featured collections
Popular topics
48 results at Information and Computation
Verifying the consistency of remote untrusted services with conflict-free operations
- Christian Cachin
- Olga Ohrimenko
- 2018
- Information and Computation
Solutions and query rewriting in data exchange
- Marcelo Arenas
- Pablo Barceló
- et al.
- 2013
- Information and Computation
Signal-flow-based analysis of wireless security protocols
- Çağatay Çapar
- Dennis Goeckel
- et al.
- 2013
- Information and Computation
Underapproximation for model-checking based on universal circuits
- Arie Matsliah
- Ofer Strichman
- 2010
- Information and Computation
The reactive simulatability (RSIM) framework for asynchronous systems
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2007
- Information and Computation
An information-theoretic model for steganography
- Christian Cachin
- 2004
- Information and Computation
Fast approximate probabilistically checkable proofs
- Funda Ergün
- Ravi Kumar
- et al.
- 2004
- Information and Computation
Overlap matching
- Amihood Amir
- Richard Cole
- et al.
- 2003
- Information and Computation
How to sign digital streams
- Rosario Gennaro
- Pankaj Rohatgi
- 2001
- Information and Computation