|
СТ |
Mooshka: a system for the management of multidimensional gene expression data in situ |
2003 |
Pisarev A., Poustelnikova E., Samsonova M., Baumann P. |
|
|
|
Information Systems |
24.08.2004 |
|
СТ |
Hierarchical Storage Support and Management for Large-Scale Multidimensional Array Database Management Systems |
2002 |
Reiner B., Hahn K., Hofling G., Baumann P. |
|
|
|
Lecture Notes in Computer Science |
02.10.2002 |
|
СТ |
Parallel Query Support for Multidimensional Data: Inter-object Parallelism |
2002 |
Hahn K., Reiner B., Hofling G., Baumann P. |
|
|
|
Lecture Notes in Computer Science |
02.10.2002 |
|
СТ |
A Framework for the Specification of Reactive and Concurrent Systems in Z |
1995 |
Baumann P., Lermer K. |
|
|
|
Lecture Notes in Computer Science |
30.01.1996 |
|
СТ |
Implementing Z in Isabelle |
1995 |
Kraan I., Baumann P. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
Database Support for Multidimensional Discrete Data |
1993 |
Baumann P. |
|
|
|
Lecture Notes in Computer Science |
28.07.1993 |
