Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

S. Wandelt A. Rheinländer, M. Bux, L. Thalheim, B. Haldemann, U. Leser (2012): "Data Management Challenges in Next Generation Sequencing"

Datenbank-Spektrum 12(3):161-171.

Duske, K., Müller, R.:

"A survey on approaches for timed services"

In: Proceedings of the 4th Central-European Workshopon Services and their Composition (ZEUS 2012). CEUR Workshop Proceedings, vol. 847, pp. 1–8. CEUR-WS.org, Bamberg, Germany (February 2012).

Kristian Duske, Richard Müller:

"A Survey on Approaches for Timed Services"
In Proceedings of the 4^th Central - European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012, volume 847 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.

D. Janusz, M. Kost, and J.-C. Freytag: "

Privacy protocol for linking distributed medical data"

In Proceedings of the 9^th VLDB Workshop on Secure Data Management (SDM-,-2012) Lecture Notes in Computer Science, vol. 7482, pp. 45-57, Istanbul, Turkey, 2012.

Müller, R., Aalst, W.M.P.v.d., Stahl, C.: "Conformance checking of services using thebest matching private view"
In: Proceedings of the 9^th International Workshop onWeb Services and Formal Methods (WS-FM 2012). Tallinn, Estonia (June 2012).

Müller, R., Stahl, C.:

"Deciding the precongruence for deadlock freedom using operatingguidelines"

In: Köhler-Bußmeier, M. (ed.) Proceedings of the 2^nd International Workshop on Petri Nets Compositions, CompoNet’12, Hamburg, Germany, June 25-26, 2012. CEUR Workshop Proceedings, vol. 853, pp. 103–118. CEUR-WS.org (Jun 2012).

Vogler, W., Stahl, C., Müller, R.:

"A trace-based semantics for responsiveness"

In: 12^th International Conference on Application of Concurrency to System Design (ACSD 2012). pp. 42–51. IEEE (2012).

Dirk Fahland, Robert Prüfer:

"Data and Abstraction for Scenario-Based Modeling with Petri Nets"

In: Proceedings 33^rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2012), Lecture Notes in Computer Science, vol. 7347, pp. 168 - 187, Hamburg, Germany (June 2012).

Dirk Fahland, Robert Prüfer:

"Data and Abstraction for Scenario-Based Modeling with Petri Nets"

Technical Report 12-07, Eindhoven University of Technology, 2012.

Nico Herzberg, Matthias Kunze, Andreas Rogge-Solti:

"Towards process evaluation in non-automated process execution environments"

Proceedings of the 4^th Central - European Workshop on Services and their Composition, ZEUS. 2012.

Andreas Rogge-Solti, Mathias Weske:

"Enabling Probabilistic Process Monitoring in Non-automated Environments"

Enterprise, Business-Process and Information Systems Modeling. Springer Berlin Heidelberg, 2012. 226-240.

Andreas Rogge-Solti, Nico Herzberg, Luise Pufahl:

"Selecting Event Monitoring Points for Optimal Prediction Quality"

EMISA 2012 - Der Mensch im Zentrum der Modellierung, Vienna, Austria, September 13-14, 2012. Proceedings. GI 2012 LNI.

Arzt, S., Starlinger, J., Arnold, O., Kröger, S., Jaeger, S., and Leser, U. (2011):

"PiPa: Custom Integration of Protein Interactions and Pathways"

GI-Jahrestagung 2011, Workshop: Daten In den Lebenswissenschaften, Berlin, Deutschland.

Thomas, P., Starlinger, J., Vowinkel, A., Arzt, S. and Leser, U. (2012):

"GeneView: A comprehensive semantic search engine for PubMed"

Nucl. Acids Res. 40 (W1): W585-W591, 2012.

Starlinger, J., Cohen-Boulakia, S. and Leser, U. (2012):

"(Re)Use in Public Scientific Workflow Repositories"

Int. Conf. on Scientific and Statistical Database Management, Chania, Greece, 2012.

D. Stöhr and S. Glesner:

"Automated Composition of Timed Services by Planning as Model Checking"

In Proceedings of the 4^th Central European Workshop on Services and their Composition, (CEUR-WS-org) 2012.

Jan Sürmeli:

"Service discovery with cost thresholds"

In ter Beek, M.H., Lohmann, N., eds.: WS-FM. Volume 7843 of Lecture Notes in Computer Science., Springer (2012) 30–48.