Differential-algebraic Dynamic Logic for Differential-algebraic Programs von Platzer, André

Volltext

Verification of Cyberphysical Transportation Systems von Platzer, A.

Volltext

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Volltext

Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Volltext

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Volltext

Twee: An Equational Theorem Prover von Smallbone, Nicholas

Volltext

Evolocumab in Pediatric Heterozygous Familial Hypercholesterolemia von Santos, Raul D, Ruzza, Andrea, Hovingh, G. Kees, Wiegman, Albert, Mach, François, Kurtz, Christopher E, Hamer, Andrew, Bridges, Ian, Bartuli, Andrea, Bergeron, Jean, Szamosi, Tamás, Santra, Saikat, Stefanutti, Claudia, Descamps, Olivier S, Greber-Platzer, Susanne, Luirink, Ilse, Kastelein, John J.P, Gaudet, Daniel

Volltext

Global perspective of familial hypercholesterolaemia: a cross-sectional study from the EAS Familial Hypercholesterolaemia Studies Collaboration (FHSC) von Dharmayat, Kanika I., Watts, Gerald F., Aguilar-Salinas, Carlos A., Al-Sayed, Nasreen, Corral, Pablo, Gaita, Dan, Harada-Shiba, Mariko, Kayikcioglu, Meral, Reiner, Željko, Stoll, Mario, Tilney, Myra, Tomlinson, Brian, Wang, Luya, Kleemann, Lucas, Mayer, Florian J., Pereira, Alexandre C., Petrov, Ivo, Goudev, Assen, Bergeron, Jean, McCrindle, Brian W., Paquette, Martine, Asenjo, Sylvia, Li, Yuntao, Cepova, Jana, Dusejovska, Magdalena, Pavlickova, Lenka, Malina, Pavel, Jordanova, Marta, Cubova, Eva, Emil, Sameh, Sanad, Osama, Ducluzeau, Pierre H., Gallo, Antonio, Lemale, Julie, Pradignac, Alain, Dressel, Alexander, Otte, Britta, Böll, Gereon, Baumgartner, Peter, Kopf, Stefan, Jäkel, Alexander, Parhofer, Klaus, Bäßler, Andrea, Katzmann, Julius, Steinhagen-Thiessen, Elisabeth, Paulsen, Gerret, Homberger, Jürgen, Pantchechnikova, Elina, Athyros, Vasileios, Kolovou, Genovefa, Garoufi, Anastasia, Agapakis, Dimitrios, Kiouri, Estela, Bajnok, László, Márk, László, Nagy, Gergely, Reddy, Lakshmi L., Al-Jumaily, Khalid, Rubinstein, Ardon, Sarzani, Riccardo, Muntoni, Sandro, Iannuzzi, Arcangelo, Calabrò, Paolo, Maroni, Lorenzo, Ogura, Masatsune, Bektasheva, Erkayim, Upena-RozeMicena, Arta, Khoury, Petra E., Elbitar, Sandy, Ghaleb, Youmna, Ramli, Anis S., Muid, Suhaila A., Ghani, Rohana A., Hafidz, Muhammad I.A., Hamzan, Nur S., Zazueta, Alejandro R., Aguilar, Humberto Garcia, Dominguez, Guadalupe J., Cazares, Hector E.A., Vargas, Gonzalo C., Andrade, Mario H.F., Guzman, Berenice G., Vazquez, Daniel I.P., Al-Waili, Khalid, Chmara, Magdalena, Wasąg, Bartosz, Stróżyk, Aneta, Palma, Isabel, Salgado, Jose M., Yu, Kuznetsova T., Gurevich, Victor, Ragino, Yulia, Al-Allaf, Faisal, Kinsara, Abdulhalim, Fuentes, Francisco, Coskun, Fatma Y., Kutlu, Merih, Sabuncu, Tevfik, Sahin, Tayfun, Hay, Dana A.

Volltext

1,135 Genomes Reveal the Global Pattern of Polymorphism in Arabidopsis thaliana von Alonso-Blanco, Carlos, Andrade, Jorge, Becker, Claude, Bemm, Felix, Bergelson, Joy, Borgwardt, Karsten M., Cao, Jun, Chae, Eunyoung, Dezwaan, Todd M., Ding, Wei, Ecker, Joseph R., Exposito-Alonso, Moises, Farlow, Ashley, Fitz, Joffrey, Gan, Xiangchao, Grimm, Dominik G., Hancock, Angela M., Henz, Stefan R., Holm, Svante, Horton, Matthew, Jarsulic, Mike, Kerstetter, Randall A., Korte, Arthur, Korte, Pamela, Lanz, Christa, Lee, Cheng-Ruei, Meng, Dazhe, Michael, Todd P., Mott, Richard, Muliyati, Ni Wayan, Nägele, Thomas, Nagler, Matthias, Nizhynska, Viktoria, Nordborg, Magnus, Novikova, Polina Yu, Picó, F. Xavier, Platzer, Alexander, Rabanal, Fernando A., Rodriguez, Alex, Rowan, Beth A., Salomé, Patrice A., Schmid, Karl J., Schmitz, Robert J., Seren, Ümit, Sperone, Felice Gianluca, Sudkamp, Mitchell, Svardal, Hannes, Tanzer, Matt M., Todd, Donald, Volchenboum, Samuel L., Wang, Congmao, Wang, George, Wang, Xi, Weckwerth, Wolfram, Weigel, Detlef, Zhou, Xuefeng

Volltext

Logics of Dynamical Systems von Platzer, A.

Volltext

Epigenomic Diversity in a Global Collection of Arabidopsis thaliana Accessions von Kawakatsu, Taiji, Huang, Shao-shan Carol, Jupe, Florian, Sasaki, Eriko, Schmitz, Robert J., Urich, Mark A., Castanon, Rosa, Nery, Joseph R., Barragan, Cesar, He, Yupeng, Chen, Huaming, Dubin, Manu, Lee, Cheng-Ruei, Wang, Congmao, Bemm, Felix, Becker, Claude, O’Neil, Ryan, O’Malley, Ronan C., Quarless, Danjuma X., Alonso-Blanco, Carlos, Andrade, Jorge, Becker, Claude, Bemm, Felix, Bergelson, Joy, Borgwardt, Karsten, Chae, Eunyoung, Dezwaan, Todd, Ding, Wei, Ecker, Joseph R., Expósito-Alonso, Moisés, Farlow, Ashley, Fitz, Joffrey, Gan, Xiangchao, Grimm, Dominik G., Hancock, Angela, Henz, Stefan R., Holm, Svante, Horton, Matthew, Jarsulic, Mike, Kerstetter, Randall A., Korte, Arthur, Korte, Pamela, Lanz, Christa, Lee, Chen-Ruei, Meng, Dazhe, Michael, Todd P., Mott, Richard, Muliyati, Ni Wayan, Nägele, Thomas, Nagler, Matthias, Nizhynska, Viktoria, Nordborg, Magnus, Novikova, Polina, Picó, F. Xavier, Platzer, Alexander, Rabanal, Fernando A., Rodriguez, Alex, Rowan, Beth A., Salomé, Patrice A., Schmid, Karl, Schmitz, Robert J., Seren, Ümit, Sperone, Felice Gianluca, Sudkamp, Mitchell, Svardal, Hannes, Tanzer, Matt M., Todd, Donald, Volchenboum, Samuel L., Wang, Congmao, Wang, George, Wang, Xi, Weckwerth, Wolfram, Weigel, Detlef, Zhou, Xuefeng, Schork, Nicholas J., Weigel, Detlef, Nordborg, Magnus, Ecker, Joseph R.

Volltext

Worldwide experience of homozygous familial hypercholesterolaemia: retrospective cohort study von Tromp, Tycho R, Hartgers, Merel L, Hovingh, G Kees, Soran, Handrean, Freiberger, Tomas, Bertolini, Stefano, Harada-Shiba, Mariko, Cuchel, Marina, Tromp, Tycho R., Hartgers, Merel L., Vallejo-Vaz, Antonio J., Soran, Handrean, Bertolini, Stefano A., Pang, Jing, Watts, Gerald F., Stulnig, Thomas M., Descamps, Olivier S., Rymen, Daisy, Witters, Peter, Brunham, Liam R., Genest, Jacques, Ruel, Isabelle, Wang, Luya, Reiner, Željko, Ceska, Richard, Dvorakova, Jana, Dlouhy, Lubomir, Horak, Pavel, Soska, Vladimir, Tichy, Lukas, Urbanek, Robin, Vaverkova, Helena, Vrablik, Michal, Zemek, Stanislav, Reda, Ashraf, Béliard, Sophie, Bruckert, Eric, Elisaf, Moses S., Cohen, Hofit, Elis, Avishay, Hussein, Osama, Setia, Nitika, Verma, Ishwar C., Alareedh, Mohammed D., Rhadi, Sabah H., Shaghee, Foaad K., Arca, Marcello, Averna, Maurizio, Bucci, Marco, Buonuomo, Paola S., Calabrò, Paolo, Casula, Manuela, Cefalù, Angelo B., D'Addato, Sergio, Di Costanzo, Alessia, Fasano, Tommaso, Gazzotti, Marta, Rabacchi, Claudio, Ripoli, Carlo, Sbrana, Francesco, Tarugi, Patrizia, Trenti, Chiara, Hori, Mika, Ayesh, Mahmoud H., Azar, Sami T., Bitar, Fadi F., Madriz, Ramón, Cupido, Arjen J., Reijman, M. Doortje, Roeters-van Lennep, Jeanine E., Wiegman, Albert, Zuurbier, Linda, Sadiq, Fouzia, Chlebus, Krzysztof, Susekov, Andrey V., Charng, Min-Ji, Aktan, Melih, Altunkeser, Bulent B., Demircioglu, Sinan, Kose, Melis, Ilhan, Osman, Kayikcioglu, Meral, Kuku, Irfan, Kurtoglu, Erdal, Okutan, Harika, Ozcebe, Osman I., Pekkolay, Zafer, Yenercag, Mustafa, Yilmaz Yasar, Hamiyet, Lyons, Alexander R.M., Nguyen, Christina, Alieva, Rano, Shek, Aleksandr, Do, Doan-Loi, Kim, Ngoc-Thanh, Le, Hong-An, Truong, Thanh-Huong, Blom, Dirk J., Raal, Frederick J., Cuchel, Marina

Volltext

Incidence of severe critical events in paediatric anaesthesia (APRICOT): a prospective multicentre observational study in 261 hospitals in Europe von Habre, Walid, Prof, Disma, Nicola, MD, Virag, Katalin, MSc, Becke, Karin, MD, Hansen, Tom G, MD, Jöhr, Martin, MD, Leva, Brigitte, MT, Morton, Neil S, MD, Vermeulen, Petronella M, PhD, Zielinska, Marzena, MD, Boda, Krisztina, Prof, Veyckemans, Francis, MD

Volltext

A physical, genetic and functional sequence assembly of the barley genome von Mayer, Klaus F X, Waugh, Robbie, Brown, John W S, Schulman, Alan, Langridge, Peter, Platzer, Matthias, Fincher, Geoffrey B, Muehlbauer, Gary J, Sato, Kazuhiro, Close, Timothy J, Wise, Roger P, Stein, Nils

Volltext

The Complete Proof Theory of Hybrid Systems von Platzer, A.

Volltext

Morbidity and mortality after anaesthesia in early life: results of the European prospective multicentre observational study, neonate and children audit of anaesthesia practice in... von Platzer, Manuela, Messerer, Brigitte, Parashchanka, Aliaksandra, Lauweryns, Julie, Markić, Ana, Urbanec, Rene, Mixa, Vladimir, Hansen, Tom, Kikas, Reet, Kallio, Kariantti, Reponen, Elisa, Suominen, Pertti, Suvanto, Sami, Kokki, Hannu, Vieri, Jenni, Manner, Tuula, Bordes, Maryline, Gaulain, Karine Nouette, Hamonic, Yann, Zang, Aurelien, Scordo, Lucia, Bellon, Myriam, Oppenrieder, Karin, Koller, Bernhard, Richter, Sebastian, Schorer, Clemens, Wilbs, Markus, Zacharowski, Kai, Eggemann, Isabel, Menzel, Christoph, Jelting, Yvonne, Ellerkmann, Richard, Iordanidou, Despoina, Csillag, Judit, Gobl, Gergely, Hauser, Balazs, Tovishazi, Gyula, Gallagher, Sarah, Scalisi, Rita, De Lorenzo, Brita, Caramelli, Fabio, Colantonio, Laura B., Guddo, Anna, Garra, Rossella, Sammartino, Maria, Moscarelli, Alessandra, Vezzoli, Cesare, Straume, Zane, Maraulaite, Irena, Schmitz, Bernd, Mifsud, Stephanie, Stevens, Markus, Machotta, Andreas, Schreiber, Jan, Hendriks, Mark, Pieters, Barbe, Absalom, Anthony R., Isern, Erik R., Grzeskowiak, Malgorzata, Baranowski, Artur, Przemyslaw, Pomianek, Leal, Teresa, Pina, Pedro, Pinho, Silvia, Esteves, Catarina C., Santos, Maria J., Badeti, Rodica, Oana, Loredana, Ilie, Luminita, Tabacaru, Radu, Trante, Irina, Drašković, Biljana, Suica, Maja, Vasiljevic, Sladjana, Knezevic, Mirjana, Hanula, Miloslav, Lindestam, Ulf, Bengt, Sporre, Ponten, Emma, Pichon, Isabelle, Vutskits, Laszlo, Casutt, Mattias, Holzle, Martin, Erb, Thomas, Senayli, Yesim, Erdost, Hale Aksu, Brooks, Peter, Hare, Alison, Ahmad, Nargis, Casey, Michelle, Krishnan, Prakash, Giombini, Mariangela, Adil, Sadia, Bodlani, Carol, Malarkkan, Nalini, Abbott, Joy, Crate, Lindsay, King, Hannah, Smith, Paul, Cassar, Carmel

Volltext

Mediator Synthesis in a Component Algebra with Data von Holík, Lukáš, Isberner, Malte, Jonsson, Bengt

Volltext

Cytokine Hemoadsorption During Cardiac Surgery Versus Standard Surgical Care for Infective Endocarditis (REMOVE): Results From a Multicenter Randomized Controlled Trial von Diab, Mahmoud, Lehmann, Thomas, Bothe, Wolfgang, Akhyari, Payam, Platzer, Stephanie, Wendt, Daniel, Deppe, Antje-Christin, Strauch, Justus, Hagel, Stefan, Günther, Albrecht, Faerber, Gloria, Sponholz, Christoph, Franz, Marcus, Scherag, André, Velichkov, Ilia, Silaschi, Miriam, Fassl, Jens, Hofmann, Britt, Lehmann, Sven, Schramm, Rene, Fritz, Georg, Szabo, Gabor, Wahlers, Thorsten, Matschke, Klaus, Lichtenberg, Artur, Pletz, Mathias W., Gummert, Jan F., Beyersdorf, Friedhelm, Hagl, Christian, Borger, Michael A., Bauer, Michael, Brunkhorst, Frank M., Doenst, Torsten

Volltext

Bounded Synthesis for Petri Games von Finkbeiner, Bernd

Volltext

Esketamine Nasal Spray versus Quetiapine for Treatment-Resistant Depression von Reif, Andreas, Bitter, Istvan, Buyze, Jozefien, Cebulla, Kerstin, Frey, Richard, Fu, Dong-Jing, Ito, Tetsuro, Kambarov, Yerkebulan, Llorca, Pierre-Michel, Oliveira-Maia, Albino J., Messer, Thomas, Mulhern-Haughey, Siobhán, Rive, Benoît, von Holt, Christian, Young, Allan H., Godinov, Yordan

Volltext