Visual detection of pulselessness by carotid artery sonography - A prospective observational study among medical students von Vojnar, B, Holl, A, Dinges, H C, Keller, T, Wulf, H, Gaik, C

Volltext

Comparison of different prediction models for the occurrence of nausea and vomiting in the postoperative phase : A systematic qualitative comparison based on prospectively defined... von Backmund, T, Bohlender, T, Gaik, C, Koch, T, Kranke, P, Nardi-Hiebl, S, Vojnar, B, Eberhart, L H J

Volltext

Vergleich verschiedener Vorhersagemodelle für das Auftreten von Übelkeit und Erbrechen in der postoperativen Phase: Ein systematischer qualitativer Vergleich anhand prospektiv defi... von Backmund, T., Bohlender, T., Gaik, C., Koch, T., Kranke, P., Nardi-Hiebl, S., Vojnar, B., Eberhart, L. H. J.

Volltext

Nanomechanical detection to empower robust monitoring of sepsis and microbial adaptive immune system-mediated proinflammatory disease von Thanapirom, Kessarin, Al-Akkad, Walid, Pelut, Aylin, Sadouki, Zahra, Finkel, Jemima B., Nardi-Hiebl, Stefan, Vogt, Wieland, Vojnar, Benjamin, Wulf, Hinnerk, Eberhart, Leopold, McHugh, Timothy D, Rombouts, Krista, Pinzani, Massimo, Tsochatzis, Emmanouil, Ndieyira, Joseph W.

Volltext

Microtubule-associated proteins and motors required for ectopic microtubule array formation in Saccharomyces cerevisiae von King, Brianna R, Meehl, Janet B, Vojnar, Tamira, Winey, Mark, Muller, Eric G, Davis, Trisha N

Volltext

Programs with Lists Are Counter Automata von Bouajjani, Ahmed, Bozga, Marius, Habermehl, Peter, Iosif, Radu, Moro, Pierre, Vojnar, Tomáš

Volltext

Boosted decision trees for behaviour mining of concurrent programmes von Avros, R., Dudka, V., Křena, B., Letko, Z., Pluháčková, H., Ur, S., Vojnar, T., Volkovich, Z.

Volltext

Higher-order oligomerization of Spc110p drives γ-tubulin ring complex assembly von Lyon, Andrew S, Morin, Geneviève, Moritz, Michelle, Yabut, King Clyde B, Vojnar, Tamira, Zelter, Alex, Muller, Eric, Davis, Trisha N, Agard, David A

Volltext

Advances in noise-based testing of concurrent software von Fiedor, J., Hrubá, V., Křena, B., Letko, Z., Ur, S., Vojnar, T.

Volltext

Advanced Ramsey-Based Büchi Automata Inclusion Testing von Abdulla, Parosh Aziz, Chen, Yu-Fang, Clemente, Lorenzo, Holík, Lukáš, Hong, Chih-Duo, Mayr, Richard, Vojnar, Tomáš

Volltext

From Low-Level Pointers to High-Level Containers von Dudka, Kamil, Holík, Lukáš, Peringer, Petr, Trtík, Marek, Vojnar, Tomáš

Volltext

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata von Bouajjani, Ahmed, Habermehl, Peter, Holík, Lukáš, Touili, Tayssir, Vojnar, Tomáš

Volltext

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing von Abdulla, Parosh Aziz, Chen, Yu-Fang, Clemente, Lorenzo, Holík, Lukáš, Hong, Chih-Duo, Mayr, Richard, Vojnar, Tomáš

Volltext

Supplementary Movie 1.mov von King, Brianna, Meehl, Janet B., Tamira Vojnar, Winey, Mark, Muller, Eric G., Davis, Trisha N.

Volltext bestellen

Supplemental Material for King et al., 2021 von King, Brianna R., Meehl, Janet B., Tamira Vojnar, Winey, Mark, Muller, Eric G., Davis, Trisha N.

Volltext bestellen

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata von Lengál, Ondřej, Šimáček, Jiří, Vojnar, Tomáš

Volltext

Parallel State Space Generation and Exploration on Shared-Memory Architectures von Češka, Milan, Křena, Bohuslav, Vojnar, Tomáš

Volltext

Analysis and verification queries over object-oriented Petri nets von CESKA, Milan, JANOUSEK, Vladimir, VOJNAR, Tomas

Volltext

Composed Bisimulation for Tree Automata von Abdulla, Parosh A., Bouajjani, Ahmed, Holík, Lukáš, Kaati, Lisa, Vojnar, Tomáš

Volltext

Supplemental Material King et al Feb 2020 von King, Brianna, Meehl, Janet B., Tamira Vojnar, Winey, Mark, Muller, Eric G., Davis, Trisha N.

Volltext bestellen