2004 |
4 | EE | Sam Drake,
Wei Hu,
Dale M. McInnis,
Martin Sköld,
Alok Srivastava,
Lars Thalmann,
Matti Tikkanen,
Øystein Torbjørnsen,
Antoni Wolski:
Architecture of Highly Available Databases.
ISAS 2004: 1-16 |
2001 |
3 | | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
Studia Logica 69(1): 133-169 (2001) |
2000 |
2 | | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
TABLEAUX 2000: 220-236 |
1995 |
1 | | Lars Thalmann,
Christer Samuelsson:
A Uniform Framework for Grammar Induction and Robust Parsing.
SCAI 1995: 293-304 |