Web-based modelling of energy, water and matter fluxes to support decision making in mesoscale catchments––the integrative perspective of GLOWA-Danube von Ludwig, R, Mauser, W, Niemeyer, S, Colgan, A, Stolz, R, Escher-Vetter, H, Kuhn, M, Reichstein, M, Tenhunen, J, Kraus, A, Ludwig, M, Barth, M, Hennicker, R

Volltext

A Coinductive Calculus of Component Connectors von Arbab, F., Rutten, J. J. M. M.

Volltext

Observational logic von HENNICKER, R, BIDOIT, M

Volltext

AGILE: Software Architecture for Mobility von Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C., Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M., Zawłocki, A.

Volltext

Observational logic, constructor-based logic, and their duality von Bidoit, Michel, Hennicker, Rolf, Kurz, Alexander

Volltext

Conditional Circular Coinductive Rewriting with Case Analysis von Goguen, Joseph A., Lin, Kai, Roşu, Grigore

Volltext

Foundations of Heterogeneous Specification von Mossakowski, Till

Volltext

Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens von Hoffmann, Kathrin, Mossakowski, Till

Volltext

Global change impacts on groundwater in Southern Germany-Part 1: Natural aspects von Barthel, Roland, Reichenau, T. G., Muerth, M., Heinzeller, C., Schneider, K., Hennicker, R., Mauser, W.

Volltext

An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint von Astesiano, E., Reggio, G.

Volltext

Completeness results for fibred parchments: Beyond the propositional base von CALEIRO, C, GOUVEIA, P, RAMOS, J

Volltext

MultiMedia Instruction in Safe and Secure Systems von Krieg-Brückner, Bernd, Hutter, Dieter, Lindow, Arne, Lüth, Christoph, Mahnke, Achim, Melis, Erica, Meier, Philipp, Poetzsch-Heffter, Arnd, Roggenbach, Markus, Russell, George, Smaus, Jan-Georg, Wirsing, Martin

Volltext

Zero, connected, empty von GOGUEN, Ryoko Amadee, GOGUEN, Joseph Amadee

Volltext

Monad-Independent Dynamic Logic in HasCasl von Schröder, Lutz, Mossakowski, Till

Volltext

On institutions for modular coalgebraic specifications von Kurz, Alexander, Hennicker, Rolf

Volltext

Global change impacts on groundwater in Southern Germany-Part 2: Socioeconomic aspects von Barthel, Roland, Krimly, T., Elbers, M., Soboll, A., Wackerbauer, J., Hennicker, R., Janisch, S., Reichenau, T. G., Dabbert, S., Schmude, J., Ernst, A., Mauser, W.

Volltext

Algebraic-Coalgebraic Specification in CoCasl von Mossakowski, Till, Reichel, Horst, Roggenbach, Markus, Schröder, Lutz

Volltext

Behavioural theories and the proof of behavioural properties von Bidoit, Michel, Hennicker, Rolf

Volltext

Property-Driven Development of a Coordination Model for Distributed Simulations von Hennicker, Rolf, Ludwig, Matthias

Volltext

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars von Baldan, Paolo, Corradini, Andrea, Montanari, Ugo, Ribeiro, Leila

Volltext