Using Automata in Control Synthesis. A Case Study von Hune, Thomas S., Sandholm, Anders B.

Volltext

A Relational Account of Call-by-Value Sequentiality von Riecke, Jon G., Sandholm, Anders B.

Volltext

A Runtime System for Interactive Web Services von Brabrand, Claus, Møller, Anders, Sandholm, Anders B., Schwartzbach, Michael I.

Volltext

Distributed Safety Controllers for Web Services von Sandholm, Anders B., Schwartzbach, Michael I.

Volltext

A Relational Account of Call-by-Value Sequentiality von Riecke, Jon G., Sandholm, Anders B.

Volltext

MONA: Monadic Second-Order Logic in Practice von Henriksen, Jesper G., Jensen, Ole J.L., Jørgensen, Michael E., Klarlund, Nils, Paige, Robert, Rauhe, Theis, Sandholm, Anders B.

Volltext

The lectin complement pathway serine proteases (MASPs) represent a possible crossroad between the coagulation and complement systems in thromboinflammation von Kozarcanin, H., Lood, C., Munthe‐Fog, L., Sandholm, K., Hamad, O. A., Bengtsson, A. A., Skjoedt, M.‐O., Huber‐Lang, M., Garred, P., Ekdahl, K. N., Nilsson, B.

Volltext

Mona: Monadic second-order logic in practice von Henriksen, Jesper G., Jensen, Jakob, Jørgensen, Michael, Klarlund, Nils, Paige, Robert, Rauhe, Theis, Sandholm, Anders

Volltext