Formal abstract architecture for use case specifications von Rysavy, O., Bures, F.

Volltext bestellen

Formal analysis approach on networks with dynamic behaviours von de Silva, G, Matousek, P, Rysavy, O, Sveda, M

Volltext

Variability of mitotic activity in chicken embryo tissues von Kolář, Z., Guberová, I., Ryšavý, O., Kovařík, J.

Volltext

A component-based approach to verification of embedded control systems using TLA+ von Rysavy, O., Rab, J.

Volltext bestellen

Reachability Analysis in Dynamically Routed Networks von Sveda, M., Rysavy, O., de Silva, G., Matousek, P., Rab, J.

Volltext bestellen

Designing algorithm-oriented generic library on .NET framework von Rysavy, O., Scuglik, F., Sveda, M.

Volltext bestellen

Inter-university project based on LEGO NXT von Pilat, A., Kornecki, A.J., Thiriet, J.-M., Grega, W., Rysavy, O.

Volltext

Methodology for creation of multidisciplinary, transatlantic engineering program in information technology von Grega, W., Hilburn, T., Kornecki, A.J., Rysavy, O., Sveda, M., Thiriet, J.-M.

Volltext bestellen

Real-time software-intensive systems engineering: An international perspective von Sveda, M., Kornecki, A.J., Hilburn, T.B., Grega, W., Thiriet, J.-M., Rysavy, O.

Volltext bestellen

Improved Upper Limit on the Neutrino Mass from a Direct Kinematic Method by KATRIN von Aker, M, Altenmüller, K, Arenz, M, Babutzka, M, Barrett, J, Bauer, S, Beck, M, Beglarian, A, Behrens, J, Bergmann, T, Besserer, U, Blaum, K, Block, F, Bobien, S, Bokeloh, K, Bonn, J, Bornschein, B, Bornschein, L, Bouquet, H, Brunst, T, Caldwell, T S, La Cascio, L, Chilingaryan, S, Choi, W, Corona, T J, Debowski, K, Deffert, M, Descher, M, Doe, P J, Dragoun, O, Drexlin, G, Dunmore, J A, Dyba, S, Edzards, F, Eisenblätter, L, Eitel, K, Ellinger, E, Engel, R, Enomoto, S, Erhard, M, Eversheim, D, Fedkevych, M, Felden, A, Fischer, S, Flatt, B, Formaggio, J A, Fränkle, F M, Franklin, G B, Frankrone, H, Friedel, F, Fuchs, D, Fulst, A, Furse, D, Gauda, K, Gemmeke, H, Gil, W, Glück, F, Görhardt, S, Groh, S, Grohmann, S, Grössle, R, Gumbsheimer, R, Ha Minh, M, Hackenjos, M, Hannen, V, Harms, F, Hartmann, J, Haußmann, N, Heizmann, F, Helbing, K, Hickford, S, Hilk, D, Hillen, B, Hillesheimer, D, Hinz, D, Höhn, T, Holzapfel, B, Holzmann, S, Houdy, T, Howe, M A, Huber, A, James, T M, Jansen, A, Kaboth, A, Karl, C, Kazachenko, O, Kellerer, J, Kernert, N, Kippenbrock, L, Kleesiek, M, Klein, M, Köhler, C, Köllenberger, L, Kopmann, A, Korzeczek, M, Kosmider, A, Kovalík, A, Krasch, B, Kraus, M, Krause, H

Volltext

Designing and Implementing International RSIC Engineering Curriculum von Rysavy, O., Sveda, M., Kornecki, A.J., Hilburn, T.B., Grega, W., Pilat, A., Thiriet, J.-M.

Volltext bestellen

Bound on 3+1 Active-Sterile Neutrino Mixing from the First Four-Week Science Run of KATRIN von Aker, M, Altenmüller, K, Beglarian, A, Behrens, J, Berlev, A, Besserer, U, Bieringer, B, Blaum, K, Block, F, Bornschein, B, Bornschein, L, Böttcher, M, Brunst, T, Caldwell, T S, La Cascio, L, Chilingaryan, S, Choi, W, Díaz Barrero, D, Debowski, K, Deffert, M, Descher, M, Doe, P J, Dragoun, O, Drexlin, G, Dyba, S, Edzards, F, Eitel, K, Ellinger, E, Engel, R, Enomoto, S, Fedkevych, M, Felden, A, Formaggio, J A, Fränkle, F M, Franklin, G B, Friedel, F, Fulst, A, Gauda, K, Gil, W, Glück, F, Grössle, R, Gumbsheimer, R, Höhn, T, Hannen, V, Haußmann, N, Helbing, K, Hickford, S, Hiller, R, Hillesheimer, D, Hinz, D, Houdy, T, Huber, A, Jansen, A, Köllenberger, L, Karl, C, Kellerer, J, Kippenbrock, L, Klein, M, Kopmann, A, Korzeczek, M, Kovalík, A, Krasch, B, Krause, H, Lasserre, T, Le, T L, Lebeda, O, Le Guennic, N, Lehnert, B, Lokhov, A, Lopez Poyato, J M, Müller, K, Machatschek, M, Malcherek, E, Mark, M, Marsteller, A, Martin, E L, Melzer, C, Mertens, S, Niemes, S, Oelpmann, P, Osipowicz, A, Parno, D S, Poon, A W P, Priester, F, Röllig, M, Röttele, C, Rest, O, Robertson, R G H, Rodenbeck, C, Ryšavý, M, Sack, R, Saenz, A, Schaller, A, Schäfer, P, Schimpf, L, Schlösser, M, Schlösser, K, Schlüter, L, Schrank, M, Schulz, B

Volltext

The design, construction, and commissioning of the KATRIN experiment von Aker, M., Altenmüller, K., Arenz, M., Behrens, J., Berendes, R., Bieringer, B., Bobien, S., Böttcher, M., Bohn, J., Bokeloh, K., Bolz, H., Bornschein, B., Bouquet, H., Boyd, N.M., Brunst, T., Burritt, T.H., Caldwell, T.S., Chaoui, Z., Debowski, K., Descher, M., Drexlin, G., Dunmore, J.A., Edzards, F., Enomoto, S., Fedkevych, M., Formaggio, J.A., Gauda, K., Gehring, R., Gil, W., Grohmann, S., Gumbsheimer, R., Hackenjos, M., Hannen, V., Heizmann, F., Hilk, D., Hiller, R., Hinz, D., Höhn, T., Hötzel, M., Huber, A., James, T., Kaiser, M., Kazachenko, O., Kippenbrock, L., Kleesiek, M., Kosmider, A., Krasch, B., Krause, H., Kraus, M., Leber, M.L., Lehnert, B., Malcherek, E., Mark, M., Meloni, M., Monreal, B., Oelpmann, P., Off, A., Ortjohann, H.-W., Ostrick, B., Parno, D.S., Peterson, D.A., Poon, A.W.P., Prall, M., Ranitzsch, P.C.-O., Reich, J., Rinderspacher, R., Rodejohann, W., Röllig, M., Röttele, C., Rohr, P., Rupp, S., Ryšavý, M., Saenz, A., Sagawe, M., Schäfer, P., Schaller (née Pollithy), A., Schimpf, L., Schlüter, L., Schneidewind, S., Schön, H., Schrank, M., Schulz, B., Schwarz, J., Seitz-Moskaliuk, H., Steidl, M., Sun, M., Tcherniakhovski, D., Telle, H.H., Thorne, L.A., Tkachev, I., Trost, N., VanDevender, B.A., Wall, B.L., Wandkowsky, N., Weiss, C., Wendel, J., Wilkerson, J.F., Xu, W., Zacher, M., Zadoroghny, S.

Volltext

Search for keV-scale sterile neutrinos with the first KATRIN data von Aker, M., Batzler, D., Beglarian, A., Behrens, J., Berlev, A., Besserer, U., Bieringer, B., Block, F., Bobien, S., Bornschein, B., Böttcher, M., Caldwell, T. S., Chilingaryan, S., Choi, W., Debowski, K., Barrero, D. Díaz, Doe, P. J., Drexlin, G., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Felden, A., Formaggio, J. A., Fränkle, F. M., Franklin, G. B., Friedel, F., Fulst, A., Gauda, K., Gavin, A. S., Gil, W., Glück, F., Gumbsheimer, R., Haußmann, N., Helbing, K., Hickford, S., Hiller, R., Hinz, D., Höhn, T., Houdy, T., Huber, A., Karl, C., Kellerer, J., Kleifges, M., Klein, M., Köhler, C., Köllenberger, L., Kopmann, A., Korzeczek, M., Kovalík, A., Krasch, B., Krause, H., La Cascio, L., Le, T. L., Lehnert, B., Lokhov, A., Machatschek, M., Malcherek, E., Marsteller, A., Martin, E. L., Melzer, C., Mertens, S., Mostafa, J., Niemes, S., Parno, D. S., Poyato, J. M. L., Priester, F., Ramachandran, S., Rodejohann, W., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Salomon, R., Schäfer, P., Schimpf, L., Schlösser, M., Schlösser, K., Schlüter, L., Schneidewind, S., Schrank, M., Šefǧík, M., Slezák, M., Spanier, F., Steidl, M., Sturm, M., Thorne, L. A., Thümmler, T., Tkachev, I., Valerius, K., Vénos, D., Weinheimer, C., Welte, S., Wendel, J., Wetter, M., Wiesinger, C., Wolf, J., Wydra, J., Xu, W., Zeller, G.

Volltext

Precision measurement of the electron energy-loss function in tritium and deuterium gas for the KATRIN experiment von Beglarian, A., Behrens, J., Berlev, A., Besserer, U., Bieringer, B., Bornschein, B., Bornschein, L., Böttcher, M., Caldwell, T. S., Carney, R. M. D., Chilingaryan, S., Choi, W., Debowski, K., Deffert, M., Descher, M., Barrero, D. Díaz, Doe, P. J., Dragoun, O., Drexlin, G., Eitel, K., Ellinger, E., Engel, R., Felden, A., Formaggio, J. A., Franklin, G. B., Friedel, F., Fulst, A., Gil, W., Groh, S., Grössle, R., Gumbsheimer, R., Haußmann, N., Heizmann, F., Helbing, K., Hickford, S., Hiller, R., Hillesheimer, D., Hinz, D., Höhn, T., Houdy, T., Jansen, A., Karl, C., Kellerer, J., Kleesiek, M., Köllenberger, L., Korzeczek, M., Kovalík, A., Krasch, B., Le, T. L., Lokhov, A., Machatschek, M., Malcherek, E., Mark, M., Marsteller, A., Melzer, C., Menshikov, A., Mertens, S., Mostafa, J., Müller, K., Oelpmann, P., Parno, D. S., Poon, A. W. P., Poyato, J. M. L., Priester, F., Ranitzsch, P. C.-O., Robertson, R. G. H., Rodejohann, W., Rodenbeck, C., Röllig, M., Ryšavý, M., Sack, R., Schäfer, P., Schaller (née Pollithy), A., Schimpf, L., Schlösser, K., Schneidewind, S., Schrank, M., Schulz, B., Schwachtgen, C., Šefčík, M., Seitz-Moskaliuk, H., Sibille, V., Siegmann, D., Slezák, M., Sturm, M., Sun, M., Tcherniakhovski, D., Titov, N., Tkachev, I., Urban, K., Valerius, K., Hernández, A. P. Vizcaya, Welte, S., Wendel, J., Wilkerson, J. F., Wolf, J., Wüstling, S., Xu, W., Zadoroghny, S., Zeller, G.

Volltext

Suppression of Penning discharges between the KATRIN spectrometers von Aker, M., Altenmüller, K., Beglarian, A., Berlev, A., Besserer, U., Blaum, K., Block, F., Bornschein, B., Bornschein, L., Brunst, T., Caldwell, T. S., Chilingaryan, S., Debowski, K., Dragoun, O., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Fedkevych, M., Felden, A., Friedel, F., Gauda, K., Gil, W., Glück, F., Grössle, R., Gumbsheimer, R., Hackenjos, M., Hannen, V., Heizmann, F., Helbing, K., Hickford, S., Hillesheimer, D., Hinz, D., Höhn, T., Holzmann, S., Houdy, T., Jansen, A., Karl, C., Kellerer, J., Kernert, N., Kippenbrock, L., Klein, M., Köhler, C., Kopmann, A., Kovalík, A., Krasch, B., Krause, H., Kuffner, B., La Cascio, L., Lebeda, O., Lehnert, B., Letnev, J., Leven, F., Le, T. L., Lichter, S., Lokhov, A., Machatschek, M., Malcherek, E., Marsteller, A., Martin, E. L., Menshikov, A., Mertens, S., Müller, K., Naumann, U., Niemes, S., Noe, M., Osipowicz, A., Otten, E., Parno, D. S., Pollithy, A., Poon, A. W. P., Poyato, J. M. L., Priester, F., Ranitzsch, P. C.-O., Rinderspacher, R., Rodenbeck, C., Röllig, M., Ryšavý, M., Sack, R., Schimpf, L., Schlösser, K., Schlösser, M., Schlüter, L., Sibille, V., Siegmann, D., Spanier, F., Steidl, M., Suesser, M., Tcherniakhovski, D., Telle, H. H., Thorne, L. A., Thümmler, T., Titov, N., Tkachev, I., Vénos, D., Weinheimer, C., Weiss, C., Welte, S., Wolf, J., Xu, W.

Volltext

First transmission of electrons and ions through the KATRIN beamline von Arenz, M., Baek, W.-J., Beck, M., Beglarian, A., Behrens, J., Bergmann, T., Berlev, A., Besserer, U., Blaum, K., Bode, T., Bornschein, B., Bornschein, L., Brunst, T., Buzinsky, N., Chilingaryan, S., Choi, W.Q., Deffert, M., Doe, P.J., Dragoun, O., Drexlin, G., Dyba, S., Edzards, F., Eitel, K., Ellinger, E., Engel, R., Enomoto, S., Erhard, M., Eversheim, D., Fedkevych, M., Fischer, S., Formaggio, J.A., Fränkle, F.M., Franklin, G.B., Friedel, F., Fulst, A., Gil, W., Glück, F., Ureña, A. Gonzalez, Grohmann, S., Grössle, R., Gumbsheimer, R., Hackenjos, M., Hannen, V., Harms, F., Haußmann, N., Heizmann, F., Helbing, K., Herz, W., Hickford, S., Hilk, D., Hillesheimer, D., Howe, M.A., Huber, A., Jansen, A., Kellerer, J., Kernert, N., Kippenbrock, L., Kleesiek, M., Klein, M., Kopmann, A., Korzeczek, M., Kovalík, A., Krasch, B., Kraus, M., Kuckert, L., Lasserre, T., Lebeda, O., Letnev, J., Lokhov, A., Machatschek, M., Marsteller, A., Martin, E.L., Mertens, S., Mirz, S., Monreal, B., Naumann, U., Neumann, H., Niemes, S., Off, A., Ortjohann, H.-W., Osipowicz, A., Otten, E., Parno, D.S., Pollithy, A., Poon, A.W.P., Priester, F., Ranitzsch, P.C.-O., Rest, O., Robertson, R.G.H., Roccati, F., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Sack, R., Saenz, A., Schimpf, L., Schlösser, K., Schlösser, M., Schönung, K.

Volltext

Gaseous 83m Kr generator for KATRIN von Sentkerestiová, J., Dragoun, O., Lebeda, O., Ryšavý, M., Sturm, M., Vénos, D.

Volltext

Gamma-induced background in the KATRIN main spectrometer von Altenmüller, K., Arenz, M., Baek, W.-J., Beck, M., Behrens, J., Besserer, U., Blaum, K., Block, F., Bobien, S., Bornschein, L., Bouquet, H., Buzinsky, N., Chilingaryan, S., Choi, W. Q., Deffert, M., Doe, P. J., Dragoun, O., Drexlin, G., Dyba, S., Eitel, K., Ellinger, E., Engel, R., Erhard, M., Eversheim, D., Formaggio, J. A., Fränkle, F. M., Friedel, F., Gil, W., Glück, F., Ureña, A. Gonzalez, Grössle, R., Gumbsheimer, R., Hackenjos, M., Hannen, V., Harms, F., Haußmann, N., Helbing, K., Herz, W., Hickford, S., Hilk, D., Hillesheimer, D., Howe, M. A., Huber, A., Jansen, A., Karl, C., Kellerer, J., Kernert, N., Kopmann, A., Korzeczek, M., Krasch, B., Kraus, A., Kraus, M., Lasserre, T., Lebeda, O., Letnev, J., Lokhov, A., Marsteller, A., Martin, E. L., Mertens, S., Monreal, B., Neumann, H., Niemes, S., Otten, E., Parno, D. S., Pollithy, A., Poon, A. W. P., Priester, F., Ranitzsch, P. C.-O., Rodenbeck, C., Röllig, M., Röttele, C., Ryšavý, M., Sack, R., Schimpf, L., Schlösser, K., Schlüter, L., Sibille, V., Slezák, M., Steidl, M., Steinbrink, N., Sturm, M., Suchopar, M., Tcherniakhovski, D., Telle, H. H., Thorne, L. A., Thümmler, T., Titov, N., Tkachev, I., Trost, N., Valerius, K., Vianden, R., Weber, M., Weinheimer, C., Weiss, C., Welte, S., Wilkerson, J. F., Wolf, J., Wüstling, S., Zadoroghny, S., Zeller, G.

Volltext

High-resolution spectroscopy of gaseous 83mKr conversion electrons with the KATRIN experiment von Altenmüller, K, Arenz, M, Baek, W-J, Beck, M, Beglarian, A, Behrens, J, Bergmann, T, Berlev, A, Besserer, U, Block, F, Bobien, S, Bode, T, Bornschein, B, Bornschein, L, Brunst, T, Buzinsky, N, Deffert, M, Doe, P J, Dragoun, O, Drexlin, G, Dyba, S, Edzards, F, Ellinger, E, Enomoto, S, Fedkevych, M, Formaggio, J A, Fränkle, F M, Franklin, G B, Friedel, F, Fulst, A, Gil, W, Ureña, A Gonzalez, Grohmann, S, Grössle, R, Hackenjos, M, Hannen, V, Harms, F, Haußmann, N, Helbing, K, Hickford, S, Hillesheimer, D, Hinz, D, Howe, M A, Huber, A, Jansen, A, Kellerer, J, Kernert, N, Kippenbrock, L, Klein, M, Kopmann, A, Krasch, B, Kraus, M, Lasserre, T, Lokhov, A, Mertens, S, Mirz, S, Neumann, H, Off, A, Osipowicz, A, Otten, E, Parno, D S, Pollithy, A, Priester, F, C-O Ranitzsch, P, Rest, O, Robertson, R G H, Roccati, F, Rodenbeck, C, Röllig, M, Röttele, C, Ryšavý, M, Sack, R, Schimpf, L, Schlösser, K, Schlösser, M, Schrank, M, Seitz-Moskaliuk, H, Sibille, V, Slezák, M, Steidl, M, Steinbrink, N, Sturm, M, Suchopar, M, Suesser, M, Telle, H H, Thorne, L A, Tkachev, I, Trost, N, Valerius, K, Vénos, D, Vianden, R, Hernández, A P Vizcaya, Weber, M, Weinheimer, C, Welte, S, Wendel, J, Wilkerson, J F, Wüstling, S, Zadoroghny, S, Zeller, G

Volltext