Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A theory of reliability in database systems
Journal of the ACM (JACM)
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A formal protection model of security in centralized, parallel, and distributed systems
ACM Transactions on Computer Systems (TOCS)
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
On stability and performance of parallel processing systems
Journal of the ACM (JACM)
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
An Optimistic Locking Technique for Concurrency Control in Distributed Databases
IEEE Transactions on Software Engineering
Sequential consistency versus linearizability (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
The concurrency control problem in multidatabases: characteristics and solutions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On correctness of non-serializable executions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrency control in trusted database management systems: a survey
ACM SIGMOD Record
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
On testing cache-coherent shared memories
SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
Combining optimism and pessimism to produce high availability in distributed transaction processing
ACM SIGOPS Operating Systems Review
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A framework for undoing actions in collaborative systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
Database metatheory: asking the big queries
ACM SIGACT News
Database metatheory: asking the big queries
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Perspectives on database theory
ACM SIGACT News
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Transaction synchronization in multiresolation spatial databases
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Transaction synchronization in structures for point data
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Ensuring consistency in multidatabases by preserving two-level serializability
ACM Transactions on Database Systems (TODS)
Weak ordering—a new definition
25 years of the international symposia on Computer architecture (selected papers)
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A novel checkpointing scheme for distributed database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient concurrency control in multidimensional access methods
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Efficient concurrency control for broadcast environments
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Post-mortem black-box correctness tests for basic parallel data structures
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Serialization graph algorithms for multiversion concurrency control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transaction synchronisation in object bases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrency control by transactions carrying states and preordering universioned entities
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Weak ordering—a new definition
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Semantics-preserving procedure extraction
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A graph-based method for database concurrency control
CSC '91 Proceedings of the 19th annual conference on Computer Science
Similarity-Based Load Adjustment for Static Real-Time Transaction Systems
IEEE Transactions on Computers
On Herbrand semantics and conflict serializability of read-write transactions (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
A Collaborative Environment for Authoring Large Knowledge Bases
Journal of Intelligent Information Systems
Real-Time Data Semantics and Similarity-Based Concurrency Control
IEEE Transactions on Computers
Real-time database — similarity and resource scheduling
ACM SIGMOD Record
Global lock escalation in database management systems
Information Processing Letters
Transaction management issues in a failure-prone multidatabase system environment
The VLDB Journal — The International Journal on Very Large Data Bases
A theory of global concurrency control in multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases - Parallelism in database systems
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Databases with Deadline and Contingency Constraints
IEEE Transactions on Knowledge and Data Engineering
Concurrency Control in Database Systems
IEEE Transactions on Knowledge and Data Engineering
Data Consistency in Intermittently Connected Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Checkpointing for Distributed Databases: Starting from the Basics
IEEE Transactions on Parallel and Distributed Systems
Two Fully Distributed Concurrency Control Algorithms
IEEE Transactions on Knowledge and Data Engineering
Database Concurrency Control in Multilevel Secure Database Management Systems
IEEE Transactions on Knowledge and Data Engineering
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Federated Transaction Management with Snapshot Isolation
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Event-State Duality: The Enriched Case
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
View Serializable Updates of Concurrent Index Structures
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Concurrency control in hierarchical multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Model-checking of correctness conditions for concurrent objects
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
A concurrency control protocol for nested transactions
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compact and localized distributed data structures
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
A Transaction Model for XML Databases
World Wide Web
Evaluating lock-based protocols for cooperation on XML documents
ACM SIGMOD Record
Exploiting purity for atomicity
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Conflict scheduling of transactions on XML documents
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
A read-only transaction anomaly under snapshot isolation
ACM SIGMOD Record
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
A formal approach to lock escalation
Information Systems
Concurrency control and recovery for balanced B-link trees
The VLDB Journal — The International Journal on Very Large Data Bases
A serializability violation detector for shared-memory server programs
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Allocating isolation levels to transactions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Exploiting Purity for Atomicity
IEEE Transactions on Software Engineering
The Complexity of Verifying Memory Coherence and Consistency
IEEE Transactions on Parallel and Distributed Systems
Making snapshot isolation serializable
ACM Transactions on Database Systems (TODS)
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Fine-grained replication and scheduling with freshness and correctness guarantees
VLDB '05 Proceedings of the 31st international conference on Very large data bases
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Tashkent+: memory-aware load balancing and update filtering in replicated databases
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Enabling Customer-Centricity Using Wikis and the Wiki Way
Journal of Management Information Systems
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
Types for atomicity: Static checking and inference for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Monitoring Atomicity in Concurrent Programs
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
The Complexity of Predicting Atomicity Violations
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Meta-analysis for Atomicity Violations under Nested Locking
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Using timestamp ordering in synchronizing Internet-based workflows
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
A commit scheduler for XML databases
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
PENELOPE: weaving threads to expose atomicity violations
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
A model of independence and overlap for transactions on database schemata
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
A formal characterization of SI-based ROWA replication protocols
Data & Knowledge Engineering
Safe nondeterminism in a deterministic-by-default parallel language
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Extension based Limited Lookahead Supervision of Discrete Event Systems
Automatica (Journal of IFAC)
Marathon: detecting atomic-set serializability violations with conflict graphs
RV'11 Proceedings of the Second international conference on Runtime verification
Visualizing transactional memory
Proceedings of the 21st international conference on Parallel architectures and compilation techniques
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
Augustus: scalable and robust storage for cloud applications
Proceedings of the 8th ACM European Conference on Computer Systems
Hi-index | 0.02 |