Automatic verification of pointer programs using monadic second-order logic von Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils

Volltext

Monadic Second-order Logic for Parameterized Verification von Jensen, Jakob L., Jørgensen, Michael E., Klarlund, Nils

Volltext

Restriction of Intravenous Fluid in ICU Patients with Septic Shock von Meyhoff, Tine S., Hjortrup, Peter B., Wetterslev, Jørn, Sivapalan, Praleene, Laake, Jon H., Cronhjort, Maria, Jakob, Stephan M., Cecconi, Maurizio, Nalos, Marek, Ostermann, Marlies, Malbrain, Manu, Pettilä, Ville, Møller, Morten H., Kjær, Maj-Brit N., Lange, Theis, Overgaard-Steensen, Christian, Brand, Björn A., Winther-Olesen, Marie, White, Jonathan O., Quist, Lars, Westergaard, Bo, Jonsson, Andreas B., Hjortsø, Carl J.S., Meier, Nick, Jensen, Thomas S., Engstrøm, Janus, Nebrich, Lars, Andersen-Ranberg, Nina C., Jensen, Jacob V., Joseph, Neeliya A., Poulsen, Lone M., Herløv, Louise S., Sølling, Christoffer G., Pedersen, Susan K., Knudsen, Kurt K., Straarup, Therese S., Vang, Marianne L., Bundgaard, Helle, Rasmussen, Bodil S., Aagaard, Søren R., Hildebrandt, Thomas, Russell, Lene, Bestle, Morten H., Schønemann-Lund, Martin, Brøchner, Anne C., Elvander, Claes F., Hoffmann, Søren K.L., Rasmussen, Michael L., Martin, Yvonne K., Friberg, Fredrik F., Seter, Herman, Aslam, Tayyba N., Ådnøy, Sigrid, Seidel, Philipp, Strand, Kristian, Johnstad, Bror, Joelsson-Alm, Eva, Christensen, Jens, Ahlstedt, Christian, Pfortmueller, Carmen A., Siegemund, Martin, Greco, Massimiliano, Raděj, Jaroslav, Kříž, Miroslav, Gould, Doug W., Rowan, Kathy M., Mouncey, Paul R., Perner, Anders

Volltext

Blood-Pressure Targets in Comatose Survivors of Cardiac Arrest von Kjaergaard, Jesper, Møller, Jacob E., Schmidt, Henrik, Grand, Johannes, Mølstrøm, Simon, Borregaard, Britt, Venø, Søren, Sarkisian, Laura, Mamaev, Dmitry, Jensen, Lisette O., Nyholm, Benjamin, Høfsten, Dan E., Josiassen, Jakob, Thomsen, Jakob H., Thune, Jens J., Obling, Laust E.R., Lindholm, Matias G., Frydland, Martin, Meyer, Martin A.S., Winther-Jensen, Matilde, Beske, Rasmus P., Frikke-Schmidt, Ruth, Wiberg, Sebastian, Boesgaard, Søren, Madsen, Søren A., Jørgensen, Vibeke L., Hassager, Christian

Volltext

Oxygen Targets in Comatose Survivors of Cardiac Arrest von Schmidt, Henrik, Kjaergaard, Jesper, Hassager, Christian, Mølstrøm, Simon, Grand, Johannes, Borregaard, Britt, Roelsgaard Obling, Laust E., Venø, Søren, Sarkisian, Laura, Mamaev, Dmitry, Jensen, Lisette O., Nyholm, Benjamin, Høfsten, Dan E., Josiassen, Jakob, Thomsen, Jakob H., Thune, Jens J., Lindholm, Matias G., Stengaard Meyer, Martin A., Winther-Jensen, Matilde, Sørensen, Marc, Frydland, Martin, Beske, Rasmus P., Frikke-Schmidt, Ruth, Wiberg, Sebastian, Boesgaard, Søren, Lind Jørgensen, Vibeke, Møller, Jacob E.

Volltext

Aging affects the transcriptional regulation of human skeletal muscle disuse atrophy von Suetta, Charlotte, Frandsen, Ulrik, Jensen, Line, Jensen, Mette Munk, Jespersen, Jakob G, Hvid, Lars G, Bayer, Monika, Petersson, Stine J, Schrøder, Henrik D, Andersen, Jesper L, Heinemeier, Katja M, Aagaard, Per, Schjerling, Peter, Kjaer, Michael

Volltext

The capillary dysfunction hypothesis of Alzheimer's disease von Østergaard, Leif, Aamand, Rasmus, Gutiérrez-Jiménez, Eugenio, Ho, Yi-Ching L, Blicher, Jakob U, Madsen, Søren M, Nagenthiraja, Kartheeban, Dalby, Rikke B, Drasbek, Kim R, Møller, Arne, Brændgaard, Hans, Mouridsen, Kim, Jespersen, Sune N, Jensen, Morten S, West, Mark J

Volltext

Effects of blood‐flow restricted resistance training on mechanical muscle function and thigh lean mass in sIBM patients von Jørgensen, Anders, Jensen, Kasper, Nielsen, Jakob, Frandsen, Ulrik, Hvid, Lars, Bjørnshauge, Mette, Diederichsen, Louise, Aagaard, Per

Volltext

Pembrolizumab in Microsatellite-Instability–High Advanced Colorectal Cancer von André, Thierry, Shiu, Kai-Keen, Kim, Tae Won, Jensen, Benny Vittrup, Jensen, Lars Henrik, Punt, Cornelis, Smith, Denis, Garcia-Carbonero, Rocio, Benavides, Manuel, Gibbs, Peter, de la Fouchardiere, Christelle, Rivera, Fernando, Elez, Elena, Bendell, Johanna, Le, Dung T, Yoshino, Takayuki, Van Cutsem, Eric, Yang, Ping, Farooqui, Mohammed Z.H, Marinello, Patricia, Diaz, Luis A

Volltext

Pantoprazole in Patients at Risk for Gastrointestinal Bleeding in the ICU von Krag, Mette, Marker, Søren, Perner, Anders, Wetterslev, Jørn, Wise, Matt P, Schefold, Joerg C, Keus, Frederik, Guttormsen, Anne B, Bendel, Stepani, Borthwick, Mark, Lange, Theis, Rasmussen, Bodil S, Siegemund, Martin, Bundgaard, Helle, Elkmann, Thomas, Jensen, Jacob V, Nielsen, Rune D, Liboriussen, Lisbeth, Bestle, Morten H, Elkjær, Jeanie M, Palmqvist, Dorte F, Bäcklund, Minna, Laake, Jon H, Bådstøløkken, Per M, Grönlund, Juha, Breum, Olena, Walli, Akil, Winding, Robert, Iversen, Susanne, Jarnvig, Inge-Lise, White, Jonathan O, Brand, Björn, Madsen, Martin B, Quist, Lars, Thornberg, Klaus J, Møller, Anders, Wiis, Jørgen, Granholm, Anders, Anthon, Carl T, Meyhoff, Tine S, Hjortrup, Peter B, Aagaard, Søren R, Andreasen, Jo B, Sørensen, Christina A, Haure, Pernille, Hauge, Jacob, Hollinger, Alexa, Scheuzger, Jonas, Tuchscherer, Daniel, Vuilliomenet, Thierry, Takala, Jukka, Jakob, Stephan M, Vang, Marianne L, Pælestik, Kim B, Andersen, Karen L.D, van der Horst, Iwan C.C, Dieperink, Willem, Fjølner, Jesper, Kjer, Cilia K.W, Sølling, Christine, Sølling, Christoffer G, Karttunen, Johanna, Morgan, Matt P.G, Sjøbø, Brit, Engstrøm, Janus, Agerholm-Larsen, Birgit, Møller, Morten H

Volltext

Clinical Use of Coronary CTA–Derived FFR for Decision-Making in Stable CAD von Nørgaard, Bjarne L., MD, PhD, Hjort, Jakob, MPH, Gaur, Sara, MD, Hansson, Nicolaj, MD, Bøtker, Hans Erik, MD, DMSci, Leipsic, Jonathon, MD, PhD, Mathiassen, Ole N., MD, PhD, Grove, Erik L., MD, PhD, Pedersen, Kamilla, BSc, Christiansen, Evald H., MD, PhD, Kaltoft, Anne, MD, PhD, Gormsen, Lars C., MD, PhD, Mæng, Michael, MD, PhD, Terkelsen, Christian J., MD, DmSci, Kristensen, Steen D., MD, DmSci, Krusell, Lars R., MD, Jensen, Jesper M., MD, PhD

Volltext

miR-345 in metastatic colorectal cancer: a non-invasive biomarker for clinical outcome in non-KRAS mutant patients treated with 3rd line cetuximab and irinotecan von Schou, Jakob V, Rossi, Simona, Jensen, Benny V, Nielsen, Dorte L, Pfeiffer, Per, Høgdall, Estrid, Yilmaz, Mette, Tejpar, Sabine, Delorenzi, Mauro, Kruhøffer, Mogens, Johansen, Julia S

Volltext

Dysfunctional MreB inhibits chromosome segregation in Escherichia coli von Gerdes, Kenn, Kruse, Thomas, Møller-Jensen, Jakob, Løbner-Olesen, Anders

Volltext

Phenotyping Cardiogenic Shock von Zweck, Elric, Thayer, Katherine L., Helgestad, Ole K. L., Kanwar, Manreet, Ayouty, Mohyee, Garan, A. Reshad, Hernandez‐Montfort, Jaime, Mahr, Claudius, Wencker, Detlef, Sinha, Shashank S., Vorovich, Esther, Abraham, Jacob, O’Neill, William, Li, Song, Hickey, Gavin W., Josiassen, Jakob, Hassager, Christian, Jensen, Lisette O., Holmvang, Lene, Schmidt, Henrik, Ravn, Hanne B., Møller, Jacob E., Burkhoff, Daniel, Kapur, Navin K.

Volltext

OCT or Angiography Guidance for PCI in Complex Bifurcation Lesions von Holm, Niels R., Andreasen, Lene N., Neghabat, Omeed, Laanmets, Peep, Kumsars, Indulis, Bennett, Johan, Olsen, Niels T., Odenstedt, Jacob, Hoffmann, Pavel, Dens, Jo, Chowdhary, Saqib, O’Kane, Peter, Bülow Rasmussen, Søren-Haldur, Heigert, Matthias, Havndrup, Ole, Van Kuijk, Jan P., Biscaglia, Simone, Mogensen, Lone J.H., Henareh, Loghman, Burzotta, Francesco, H. Eek, Christian, Mylotte, Darren, Llinas, Miquel S., Koltowski, Lukasz, Knaapen, Paul, Calic, Slobodan, Witt, Nils, Santos-Pardo, Irene, Watkins, Stuart, Lønborg, Jacob, Kristensen, Andreas T., Jensen, Lisette O., Calais, Fredrik, Cockburn, James, McNeice, Andrew, Kajander, Olli A., Heestermans, Ton, Kische, Stephan, Eftekhari, Ashkan, Spratt, James C., Christiansen, Evald H.

Volltext

Kinetic Modeling Enables Understanding of Off-Cycle Processes in Pd-Catalyzed Amination of Five-Membered Heteroaryl Halides von Raguram, Elaine Reichert, Dahl, Jakob C., Jensen, Klavs F., Buchwald, Stephen L.

Volltext

Influenza A virus targets a cGAS-independent STING pathway that controls enveloped RNA viruses von Holm, Christian K., Rahbek, Stine H., Gad, Hans Henrik, Bak, Rasmus O., Jakobsen, Martin R., Jiang, Zhaozaho, Hansen, Anne Louise, Jensen, Simon K., Sun, Chenglong, Thomsen, Martin K., Laustsen, Anders, Nielsen, Camilla G., Severinsen, Kasper, Xiong, Yingluo, Burdette, Dara L., Hornung, Veit, Lebbink, Robert Jan, Duch, Mogens, Fitzgerald, Katherine A., Bahrami, Shervin, Mikkelsen, Jakob Giehm, Hartmann, Rune, Paludan, Søren R.

Volltext

Catalytic Conversion of Syngas into Higher Alcohols over Carbide Catalysts von Christensen, Jakob M, Duchstein, Linus D. L, Wagner, Jakob B, Jensen, Peter A, Temel, Burcin, Jensen, Anker D

Volltext

The Impact of Communicating Uncertainty on Public Responses to Precision Medicine Research von Ratcliff, Chelsea L, Wong, Bob, Jensen, Jakob D, Kaphingst, Kimberly A

Volltext

Skeletal Muscle Microvascular Changes in Response to Short-Term Blood Flow Restricted Training—Exercise-Induced Adaptations and Signs of Perivascular Stress von Nielsen, Jakob L., Frandsen, Ulrik, Jensen, Kasper Y., Prokhorova, Tatyana A., Dalgaard, Line B., Bech, Rune D., Nygaard, Tobias, Suetta, Charlotte, Aagaard, Per

Volltext