The following pages link to Georg Lausen (Q1054482):
Displaying 25 items.
- (Q789171) (redirect page) (← links)
- Integrated concurrency control in shared B-trees (Q789172) (← links)
- On the power of safe locking (Q909495) (← links)
- Formal aspects of optimistic concurrency control in a multiple version database system (Q1054483) (← links)
- Locking based on a pairwise decomposition of the transaction system (Q1202890) (← links)
- Safety by uninterpreted locks (Q1891161) (← links)
- (Q3122724) (← links)
- (Q3341954) (← links)
- (Q3602170) (← links)
- Pre-analysis locking (Q3741034) (← links)
- (Q3750159) (← links)
- (Q3785929) (← links)
- Modeling and analysis of the behavior of information systems (Q3813327) (← links)
- (Q3933802) (← links)
- (Q3933803) (← links)
- (Q3959394) (← links)
- (Q3959467) (← links)
- (Q4209402) (← links)
- (Q4344107) (← links)
- (Q4400809) (← links)
- A Formal Analysis of the Lightweight Directory Access Protocol (Q4411481) (← links)
- (Q4413660) (← links)
- (Q4413799) (← links)
- (Q4414546) (← links)
- Trust Management (Q5307989) (← links)
