P. Baumann

发表

Specifying parallel and distributed real-time systems in Z

P. Baumann, K. Lermer, 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems.

TeraPro, a system for processing large biomedical images

K. N. Kozlov, J. Waldmann, P. Baumann, 2013, Pattern Recognition and Image Analysis.

Towards Semantic Web Services on Large, Multi-Dimensional Coverages

P. Baumann, 2009 .

Open, Modular Services for Large, Multi-Dimensional Raster Coverages: The OGC Web Coverage Service (WCS) Standards Suite

P. Baumann, 2009 .

Optimal construction and rebalancing of index-tracking portfolios

P. Baumann, O. Strub, O. Strub, 2018, Eur. J. Oper. Res..