Automatic Abstraction Refinement for Timed Automata von Dierks, Henning, Kupferschmid, Sebastian, Larsen, Kim G.

Volltext

Adapting an AI planning heuristic for directed model checking von KUPFERSCHMID, Sebastian, HOFFMANN, Jörg, DIERKS, Henning, BEHRMANN, Gerd

Volltext

Actin Cytoskeletal Association of Cytohesin-1 Is Regulated by Specific Phosphorylation of Its Carboxyl-terminal Polybasic Domain von Dierks, Henning, Kolanus, Johanna, Kolanus, Waldemar

Volltext

The effects of Bcr-Abl on C/EBP transcription-factor regulation and neutrophilic differentiation are reversed by the Abl kinase inhibitor imatinib mesylate von Schuster, Christine, Forster, Karin, Dierks, Henning, Elsässer, Annika, Behre, Gerhard, Simon, Nicola, Danhauser-Riedl, Susanne, Hallek, Michael, Warmuth, Markus

Volltext

The NITY motif of the beta-chain cytoplasmic domain is involved in stimulated internalization of the β3 integrin A isoform von Gawaz, Meinrad, Besta, Felicitas, Ylänne, Jari, Knorr, Thomas, Dierks, Henning, Böhm, Thomas, Kolanus, Waldemar

Volltext

PLC-automata: a new class of implementable real-time automata von Dierks, Henning

Volltext

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces von Damm, Werner, Dierks, Henning, Disch, Stefan, Hagemann, Willem, Pigorsch, Florian, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

Volltext

Comparing model checking and logical reasoning for real-time systems von DIERKS, Henning

Volltext

Towards Component Based Design of Hybrid Systems: Safety and Stability von Damm, Werner, Dierks, Henning, Oehlerking, Jens, Pnueli, Amir

Volltext

Dephosphorylation of the phosphoprotein PII in Synechococcus PCC 7942: identification of an ATP and 2‐oxoglutarate‐regulated phosphatase activity von Irmler, Angelika, Sanner, Silvia, Dierks, Henning, Forchhammer, Karl

Volltext

Cytohesin-1 regulates β-2 integrin-mediated adhesion through both ARF-GEF function and interaction with LFA-1 von Geiger, Christiane, Nagel, Wolfgang, Boehm, Thomas, van Kooyk, Yvette, Figdor, Carl G., Kremmer, Elisabeth, Hogg, Nancy, Zeitlmann, Lutz, Dierks, Henning, Weber, Kim S.C., Kolanus, Waldemar

Volltext

Cytohesin-1 is a dynamic regulator of distinct LFA-1 functions in leukocyte arrest and transmigration triggered by chemokines von Weber, Kim S.C., Weber, Christian, Ostermann, Georg, Dierks, Henning, Nagel, Wolfgang, Kolanus, Waldemar

Volltext

Dephosphorylation of the phosphoprotein P II in Synechococcus PCC 7942: identification of an ATP and 2‐oxoglutarate‐regulated phosphatase activity von Irmler, Angelika, Sanner, Silvia, Dierks, Henning, Forchhammer, Karl

Volltext

PLC-automata: A new class of implementable real-time automata von Dierks, Henning

Volltext

A Process Algebra for Real-Time Programs von Dierks, Henning

Volltext

Synthesizing controllers from real-time specifications von Dierks, H.

Volltext

Dephosphorylation of the phosphoprotein P(II) in Synechococcus PCC 7942: identification of an ATP and 2-oxoglutarate-regulated phosphatase activity von Irmler, A, Sanner, S, Dierks, H, Forchhammer, K

Volltext

Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC von Dierks, Henning, Tapken, Josef

Volltext

Graphical specification and reasoning: Case study generalised railroad crossing von Dierks, Henning, Dietz, Cheryl

Volltext

A unifying framework for correct program construction von Dierks, Henning, Schenke, Michael

Volltext