Rapid and Efficient Microwave-Assisted Synthesis of Aryl Aminobenzophenones Using Pd-Catalyzed Amination von Jensen, Thomas A, Liang, Xifu, Tanner, David, Skjaerbaek, Niels

Volltext

Smart Card Programming and Security: International Conference on Research in Smart Cards, e-Smart 2001, Cannes, France, September 19-21, 2001. Proceedings von Attali, Isabelle, Jensen, Thomas

Volltext

Java on Smart Cards:Programming and Security von Attali, Isabelle, Jensen, Thomas

Volltext

Increased transmissibility of SARS-CoV-2 lineage B.1.1.7 by age and viral load von Lyngse, Frederik Plesner, Mølbak, Kåre, Skov, Robert Leo, Christiansen, Lasse Engbo, Mortensen, Laust Hvas, Albertsen, Mads, Møller, Camilla Holten, Krause, Tyra Grove, Rasmussen, Morten, Michaelsen, Thomas Yssing, Voldstedlund, Marianne, Fonager, Jannik, Steenhard, Nina, Kirkeby, Carsten Thure

Volltext

Nanotoxicity and the importance of being earnest von Vorup-Jensen, Thomas, Peer, Dan

Volltext

Genetic regulation of RNA splicing in human pancreatic islets von Atla, Goutham, Bonàs-Guarch, Silvia, Cuenca-Ardura, Mirabai, Beucher, Anthony, Crouch, Daniel J M, Garcia-Hurtado, Javier, Moran, Ignasi, Irimia, Manuel, Prasad, Rashmi B, Gloyn, Anna L, Marselli, Lorella, Suleiman, Mara, Berney, Thierry, de Koning, Eelco J P, Kerr-Conte, Julie, Pattou, Francois, Todd, John A, Piemonti, Lorenzo, Ferrer, Jorge

Volltext

High-resolution epidemiological landscape from  ~290,000 SARS-CoV-2 genomes from Denmark von Khurana, Mark P., Curran-Sebastian, Jacob, Scheidwasser, Neil, Morgenstern, Christian, Rasmussen, Morten, Fonager, Jannik, Stegger, Marc, Tang, Man-Hung Eric, Juul, Jonas L., Escobar-Herrera, Leandro Andrés, Møller, Frederik Trier, Albertsen, Mads, Kraemer, Moritz U. G., du Plessis, Louis, Jokelainen, Pikka, Lehmann, Sune, Krause, Tyra G., Ullum, Henrik, Duchêne, David A., Mortensen, Laust H., Bhatt, Samir

Volltext

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings von Blazy, Sandrine, Jensen, Thomas

Volltext

Is arthropla S ty b E tter than inter N al fixation for undi S placed femoral n E ck fracture? A national pragmatic RCT: the SENSE trial von Viberg, Bjarke, Kold, Søren, Brink, Ole, Larsen, Morten Schultz, Hare, Kristoffer Borbjerg, Palm, Henrik

Volltext

Somatic Genome Manipulation: Advances, Methods, and Applications von Li, Xiu-Qing, Donnelly, Danielle J, Jensen, Thomas G

Volltext

Safety Verification and Refutation by k-Invariants and k-Induction von Brain, Martin, Joshi, Saurabh, Kroening, Daniel, Schrammel, Peter

Volltext

Effective Soundness-Guided Reflection Analysis von Li, Yue, Tan, Tian, Xue, Jingling

Volltext

SJS: A Type System for JavaScript with Fixed Object Layout von Choi, Wontae, Chandra, Satish, Necula, George, Sen, Koushik

Volltext

A Binary Decision Tree Abstract Domain Functor von Chen, Junjie, Cousot, Patrick

Volltext

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration von Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel

Volltext

Refinement Type Inference via Horn Constraint Optimization von Hashimoto, Kodai, Unno, Hiroshi

Volltext

A Simple Abstraction of Arrays and Maps by Program Translation von Monniaux, David, Alberti, Francesco

Volltext

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization von Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor

Volltext

Parallel Cost Analysis of Distributed Systems von Albert, Elvira, Correas, Jesús, Johnsen, Einar Broch, Román-Díez, Guillermo

Volltext