Georg Lausen

Available identifiers

zbMath Open lausen.georgMaRDI QIDQ1054482

List of research outcomes

Publication	Date of Publication	Type
Semantic query optimization in the presence of types	2014-01-20	Paper
On exploiting classification taxonomies in recommender systems	2009-02-12	Paper
Trust Management	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4414546	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4413799	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413660	2003-07-21	Paper
A Formal Analysis of the Lightweight Directory Access Protocol	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4209402	1999-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4400809	1998-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4344107	1997-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q3122724	1997-03-03	Paper
Safety by uninterpreted locks	1995-05-28	Paper
Locking based on a pairwise decomposition of the transaction system	1993-01-31	Paper
On the power of safe locking	1990-01-01	Paper
Modeling and analysis of the behavior of information systems	1988-01-01	Paper
Pre-analysis locking	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750159	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785929	1986-01-01	Paper
Integrated concurrency control in shared B-trees	1984-01-01	Paper
Formal aspects of optimistic concurrency control in a multiple version database system	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959467	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3933802	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3341954	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959394	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3933803	1981-01-01	Paper

Research outcomes over time

This page was built for person: Georg Lausen