​
Login / Signup
CORRECTNESS CRITERION
2005
2007
2009
2011
2013
2015
2017
2019
2021
2023
2005
2024
Experts
</>
Abraham Silberschatz
Alan D. Fekete
Divyakant Agrawal
Gerhard Weikum
Tomoya Enokido
Henry F. Korth
Makoto Takizawa
Amr El Abbadi
Francesc D. Muñoz-EscoÃ
Songchun Moon
Ahmed K. Elmagarmid
Tei-Wei Kuo
Marek Rusinkiewicz
Sushil Jajodia
Subhash Bhalla
José Enrique Armendáriz-Iñigo
Suresh Jagannathan
Philip A. Bernstein
Calton Pu
Rajeev Rastogi
José Ramón González de MendÃvil
Sharad Mehrotra
Yuri Breitbart
Aidong Zhang
Jinyang Li
Philip M. Lewis
Dimitrios Georgakopoulos
Kwok-Wa Lam
Ken Barker
Seog Park
Angelo Brayner
Kam-yiu Lam
Bharat K. Bhargava
Myoung-Ho Kim
Elisa Bertino
Amit P. Sheth
Xiangyao Yu
James C. Browne
Kartik Nagar
1
2
3
4
5
…
25
Venues
</>
CoRR
ICDE
SIGMOD Conference
PODS
ACM Trans. Database Syst.
Proc. VLDB Endow.
ICDCS
IEEE Trans. Knowl. Data Eng.
COMPSAC
VLDB
OSDI
Theor. Comput. Sci.
PODC
IEEE Trans. Software Eng.
Inf. Sci.
Distributed Parallel Databases
Data Knowl. Eng.
SRDS
RIDE-IMS
ICDT
CoopIS
J. Syst. Archit.
VLDB J.
PLDI
IACR Cryptol. ePrint Arch.
J. ACM
RTCSA
DEXA
IPDPS
DBSec
EDBT
Inf. Syst.
Sci. Comput. Program.
PDPTA
Comput. J.
IEEE Trans. Parallel Distributed Syst.
IDEAS
ACM SIGPLAN Notices
Comput. Networks
1
2
3
4
5
…
11
Related Topics
</>
knowledge base
key exchange protocol
multi party
directed acyclic graph
transactional data
stochastic optimization
fine grained
real world
computer architecture
peer to peer
distributed databases
mobile applications
correctness criterion
xml documents
answer set programming
databases
replicated databases
user defined
dynamic programming
provably secure
set theoretic
diffie hellman
group communication
cooperative
query processor
security protocols
Related Keywords
</>
correctness criterion
correctness criteria
integrity constraints
timing constraints
null values
fault tolerance
snapshot isolation
provably correct
inclusion dependencies
theorem prover
Popularity
</>
No popularities found. Try to change the filters.
Popularity Trend
</>
0%