Efficient symbolic state-space construction for asynchronous systems von CIARDO, G, LÜTTGEN, G, SIMINICEANU, R

Volltext

Analyzing mode confusion via model checking von LÜTTGEN, G, CARRENO, V

Volltext

An algebraic theory of multiple clocks von Cleaveland, Rance, Lüttgen, Gerald, Mendler, Michael

Volltext

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models von Lüttgen, Gerald, Mendler, Michael

Volltext

Statecharts via Process Algebra von Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance

Volltext

A process algebra with distributed priorities von Cleaveland, Ranee, Lüttgen, Gerald, Natarajan, V.

Volltext

Bisimulation on speed: worst-case efficiency von Lüttgen, Gerald, Vogler, Walter

Volltext

Compositional minimisation of finite state systems using interface specifications von GRAF, S, STEFFEN, B, LÜTTGEN, G

Volltext

To Parallelize or to Optimize? von Ezekiel, J., Luttgen, G., Siminiceanu, R.

Volltext

Conjunction on Processes: Full–Abstraction Via Ready–Tree Semantics von Lüttgen, Gerald, Vogler, Walter

Volltext

Introducing Fairness into Compositional Verification via Unidirectional Counters von Siirtola, A., Puhakka, A., Luttgen, G.

Volltext

A Compositional Semantic Theory for Synchronous Component-Based Design von Norton, Barry, Lüttgen, Gerald, Mendler, Michael

Volltext

Bisimulation on speed: Lower time bounds von Lüttgen, Gerald, Vogler, Walter

Volltext

Bisimulation on Speed: A Unified Approach von Lüttgen, Gerald, Vogler, Walter

Volltext

Bisimulation on Speed: Lower Time Bounds von Lüttgen, Gerald, Vogler, Walter

Volltext

A Semantic Theory for Heterogeneous System Design von Cleaveland, Rance, Lüttgen, Gerald

Volltext

A compositional approach to statecharts semantics von Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance

Volltext

Brain Abnormalities in Patients with Germline Variants in H3F3 : Novel Imaging Findings and Neurologic Symptoms Beyond Somatic Variants and Brain Tumors von Alves, C A P F, Sherbini, O, D'Arco, F, Steel, D, Kurian, M A, Radio, F C, Ferrero, G B, Carli, D, Tartaglia, M, Balci, T B, Powell-Hamilton, N N, Schrier Vergano, S A, Reutter, H, Hoefele, J, Günthner, R, Roeder, E R, Littlejohn, R O, Lessel, D, Lüttgen, S, Kentros, C, Anyane-Yeboa, K, Catarino, C B, Mercimek-Andrews, S, Denecke, J, Lyons, M J, Klopstock, T, Bhoj, E J, Bryant, L, Vanderver, A

Volltext

Germline AGO2 mutations impair RNA interference and human neurological development von Lessel, Davor, Zeitler, Daniela M., Reijnders, Margot R. F., Kazantsev, Andriy, Hassani Nia, Fatemeh, Bartholomäus, Alexander, Martens, Victoria, Bruckmann, Astrid, Graus, Veronika, McConkie-Rosell, Allyn, McDonald, Marie, Lozic, Bernarda, Tan, Ee-Shien, Gerkes, Erica, Johannsen, Jessika, Denecke, Jonas, Telegrafi, Aida, Zonneveld-Huijssoon, Evelien, Lemmink, Henny H., Cham, Breana W. M., Kovacevic, Tanja, Ramsdell, Linda, Foss, Kimberly, Le Duc, Diana, Mitter, Diana, Syrbe, Steffen, Merkenschlager, Andreas, Sinnema, Margje, Panis, Bianca, Lazier, Joanna, Osmond, Matthew, Hartley, Taila, Mortreux, Jeremie, Busa, Tiffany, Missirian, Chantal, Prasun, Pankaj, Lüttgen, Sabine, Mannucci, Ilaria, Lessel, Ivana, Schob, Claudia, Kindler, Stefan, Pappas, John, Rabin, Rachel, Willemsen, Marjolein, Gardeitchik, Thatjana, Löhner, Katharina, Rump, Patrick, Dias, Kerith-Rae, Evans, Carey-Anne, Andrews, Peter Ian, Roscioli, Tony, Brunner, Han G., Chijiwa, Chieko, Lewis, M. E. Suzanne, Jamra, Rami Abou, Dyment, David A., Boycott, Kym M., Stegmann, Alexander P. A., Kubisch, Christian, Tan, Ene-Choo, Mirzaa, Ghayda M., McWalter, Kirsty, Kleefstra, Tjitske, Pfundt, Rolph, Ignatova, Zoya, Meister, Gunter, Kreienkamp, Hans-Jürgen

Volltext

Interface Automata for Shared Memory von Gareis, Johannes, Lüttgen, Gerald, Schinko, Ayleen, Vogler, Walter

Volltext