HOST AGNOSTIC INTEGRATION AND INTEROPERATION SYSTEM von Marc Christopher Ramsey MC, Alexei Vladimirovich Vopilov AV, Sugandha S. Kapoor SS, Christopher Von Hansen CV, Corey D. Shaw CD, Yanlin Peng Y, Matthew James Ruhlen MJ, Martin Abadi M, Christopher Broussard C, Dong Ming D, Tara Kraft T, Kenneth John Yuhas Jr. KJ, Mark T. Fields MT, Nicholas Michael Simons NM, Richard Alan Mareno RA

Volltext bestellen

Reconciling two views of cryptography (The computational soundness of formal encryption) von ABADI, Martin, ROGAWAY, Phillip

Volltext

Analyzing security protocols with secrecy types and logic programs von ABADI, Martin, BLANCHET, Bruno

Volltext

Secrecy by typing in security protocols von ABADI, MARTIN

Volltext

EUS-guided FNA of solid pancreatic masses: high yield of 2 passes with combined histologic-cytologic analysis von Möller, Kathleen, MD, Papanikolaou, Ioannis S., MD, Toermer, Thomas, MD, Delicha, Eumorphia M., MSc, Sarbia, Mario, MD, Schenck, Ulrich, MD, Koch, Martin, MD, Al-Abadi, Hussain, MD, Meining, Alexander, MD, Schmidt, Harald, MD, Schulz, Hans-Joachim, MD, Wiedenmann, Bertram, MD, Rösch, Thomas, MD

Volltext

Private authentication von Abadi, Martı́n, Fournet, Cédric

Volltext

Global, regional, and national burden of meningitis, 1990–2016: a systematic analysis for the Global Burden of Disease Study 2016 von Kassebaum, Nicholas J, Blake, Natacha, Wright, Claire, Nichols, Emma, Abd-Allah, Foad, Abdelalim, Ahmed, Adamu, Abdu A, Adib, Mina G., Ahmadi, Alireza, Ahmed, Muktar Beshir, Aichour, Ibtihel, Aichour, Miloud Taki Eddine, Al-Raddadi, Rajaa M, Alahdab, Fares, AlMazroa, Mohammad A, Altirkawi, Khalid, Anjomshoa, Mina, Avokpaho, Euripide F G A, Awasthi, Ashish, Badali, Hamid, Barac, Aleksandra, Bärnighausen, Till Winfried, Bedi, Neeraj, Bhattacharyya, Krittika, Bhutta, Zulfiqar A, Bijani, Ali, Butt, Zahid A, Christopher, Devasahayam J, Djalalinia, Shirin, Dubey, Manisha, Duken, Eyasu Ejeta, El Sayed Zaki, Maysaa, Fernandes, Eduarda, Ganji, Morsaleh, Gebremeskel, Afewerki, Gessner, Bradford D, Gopalani, Sameer Vali, Gupta, Rahul, Hailu, Gessessew Bugssa, Hamidi, Samer, Hay, Simon I., Henok, Andualem, Jha, Ravi Prakash, JÜRISSON, Mikk, Karch, André, Kasaeian, Amir, Kassa, Getachew Mullu, Kassa, Tesfaye Dessale Dessale, Khan, Ejaz Ahmad, Khang, Young-Ho, Kimokoti, Ruth W, Kisa, Adnan, Lami, Faris Hasan, Li, Shanshan, Majdan, Marek, Majeed, Azeem, Mantovani, Lorenzo Giovanni, Mcalinden, Colm, Melese, Addisu, Memish, Ziad A, Mengistu, Desalegn Tadese, Mokdad, Ali H., Mousavi, Seyyed Meysam, Naghavi, Mohsen, Naik, Gurudatta, Newton, Charles Richard James, Nirayo, Yirga Legesse, Nixon, Molly R, Ofori-Asenso, Richard, Olusanya, Bolajoko Olubukunola, Ortiz, Justin R, Owolabi, Mayowa Ojo, Postma, Maarten J, Qorbani, Mostafa, Rafiei, Alireza, Reiner, Robert C, Rezai, Mohammad Sadegh, Ronfani, Luca, Rostami, Ali, Safari, Hosein, Safiri, Saeid, Samy, Abdallah M., Santric Milicevic, Milena M, Sartorius, Benn, Sarvi, Shahabeddin, Saxena, Sonia, Shafieesabet, Azadeh, Shaikh, Masood Ali, Sharif, Mehdi, Somayaji, Ranjani, Tortajada-Girbés, Miguel, Tran, Khanh Bao, Ukwaja, Kingsley Nnanna, Ullah, Irfan, Vujcic, Isidora S, Waheed, Yasir, Weldegwergs, Kidu Gidey, Wyper, Grant M.A., Zenebe, Zerihun Menlkalew, Murray, Christopher J L

Volltext

Global, regional, and national burden of tuberculosis, 1990–2016: results from the Global Burden of Diseases, Injuries, and Risk Factors 2016 Study von Kyu, Hmwe Hmwe, Maddison, Emilie R, Ledesma, Jorge R, Shields, Chloe, Osgood-Zimmerman, Aaron, Ross, Jennifer M, Carter, Austin, Frank, Tahvi D, Wang, Haidong, Alahdab, Fares, Alvis-Guzman, Nelson, Andrews, Jason R, Antonio, Carl Abelardo T, Atique, Suleman, Atre, Sachin R, Badali, Hamid, Badawi, Alaa, Behzadifar, Meysam, Bekele, Bayu Begashaw, Belay, Saba Abraham, Bensenor, Isabela M, Butt, Zahid A, Carvalho, Félix, Cercy, Kelly, Daba, Alemneh Kabeta, Dandona, Rakhi, Daryani, Ahmad, Deribe, Kebede, Edessa, Dumessa, Enany, Shymaa, Fernandes, Eduarda, Fischer, Florian, Garcia-Basteiro, Alberto L, Gebre, Abadi Kahsu, Gebregergs, Gebremedhin Berhe, Gebremichael, Teklu Gebrehiwo, Gona, Philimon N, Goodridge, Amador, Gupta, Rahul, Haghparast Bidgoli, Hassan, Hassen, Hamid Yimam, Hedayati, Mohammad T. Tadesse, Hostiuc, Sorin, Hussen, Mamusha Aman, Ilesanmi, Olayinka Stephen, Irvani, Seyed Sina Naghibi, Jonas, Jost B., Kahsay, Amaha, Kant, Surya, Kasaeian, Amir, Khader, Yousef Saleh, Khafaie, Morteza Abdullatif, Khalil, Ibrahim, Khan, Ejaz Ahmad, Kochhar, Sonali, Kumar, G Anil, Leshargie, Cheru Tesema, Lodha, Rakesh, Macarayan, Erlyn Rachelle King, Mendoza, Walter, Mestrovic, Tomislav, Moazen, Babak, Mohammad, Karzan Abdulmuhsin, Mohammed, Shafiu, Mokdad, Ali H, Moosazadeh, Mahmood, Mousavi, Seyyed Meysam, Nachega, Jean B, Nguyen, Son Hoang, Nguyen, Trang Huyen, Ningrum, Dina Nur Anggraini, Nirayo, Yirga Legesse, Nong, Vuong Minh, Ofori-Asenso, Richard, Ogbo, Felix Akpojene, Oh, In-Hwan, Oladimeji, Olanrewaju, Olagunju, Andrew T, Oren, Eyal, Rafay, Anwar, Rai, Rajesh Kumar, Rubino, Salvatore, Safiri, Saeid, Samy, Abdallah M., Sartorius, Benn, Silva, João Pedro, Silveira, Dayane Gabriele Alves, Sreeramareddy, Chandrashekhar T, Tsadik, Afewerki Gebremeskel, Ukwaja, Kingsley Nnanna, Ullah, Irfan, Uthman, Olalekan A, Vlassov, Vasily, Vollset, Stein Emil, Weldegebreal, Fitsum, Werdecker, Andrea, Yonemoto, Naohiro, Naghavi, Mohsen, Hay, Simon I, Murray, Christopher J L

Volltext

Wide variation in glucocorticoid dosing in paediatric ANCA-associated vasculitis with renal disease: a paediatric vasculitis initiative study von Chen, Audrea, Mammen, Cherry, Guzman, Jaime, Al-Abadi, Eslam, Benseler, Susanne M, Berard, Roberta A, Gerstbacher, Dana, Heshin-Bekenstein, Merav, Kim, Susan, Klein-Gitelman, Marisa, Chavan, Pallavi Pimpale, James, Karen E, Martin, Neil, McErlane, Flora, Myrup, Charlotte, Noone, Damien G, Raghuram, Jyothi, Shenoi, Susan, Sivaraman, Vidya, Tanner, Tamara, Yeung, Rae S M, Cabral, David A, Morishita, Kimberly A

Volltext

Types for safe locking : Static race detection for java von ABADI, Martin, FLANAGAN, Cormac, FREUND, Stephen N

Volltext

A Calculus for Cryptographic Protocols: The Spi Calculus von Abadi, Martı́n, Gordon, Andrew D.

Volltext

Efficient On-the-Fly Algorithms for the Analysis of Timed Games von Cassez, Franck, David, Alexandre, Fleury, Emmanuel, Larsen, Kim G., Lime, Didier

Volltext

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems von Bouajjani, Ahmed, Müller-Olm, Markus, Touili, Tayssir

Volltext

Transactions in RCCS von Danos, Vincent, Krivine, Jean

Volltext

Secrecy types for asymmetric communication von Abadi, Martín, Blanchet, Bruno

Volltext

Evaluating renal disease in pediatric-onset anti-neutrophil cytoplasmic antibody-associated vasculitis: disease course, outcomes, and predictors of outcome von Toor, Kirandeep K, Chen, Audrea, Cabral, David A, Mammen, Cherry, Bosman, Else S, Shen, Ye, Bone, Jeffrey N, Noone, Damien, Al-Abadi, Eslam, Benseler, Susanne, Berard, Roberta, Bohm, Marek, Charuvanij, Sirirat, Cook, Kathryn, Dancey, Paul, Deepak, Samundeeswari, Duffy, Ciaran, Eberhard, Barbara, Elder, Melissa, Foell, Dirk, Gerstbacher, Dana, Heshin-Bekenstein, Merav, Huber, Adam, James, Karen E, Kim, Susan, Klein-Gitelman, Marisa, Martin, Neil, McErlane, Flora, Moorthy, L Nandini, Myrup, Charlotte, Riley, Phil, Shenoi, Susan, Sivaraman, Vidya, Tanner, Tamara, Tarvin, Stacey, Wagner-Weiner, Linda, Yeung, Rae S M, Brown, Kelly L, Morishita, Kimberly A

Volltext

Timely Dataflow: A Model von Abadi, Martín, Isard, Michael

Volltext

Increased T-Helper 2 Cytokines in Bile From Patients With IgG4-Related Cholangitis Disrupt the Tight Junction–Associated Biliary Epithelial Cell Barrier von Müller, Tobias, Beutler, Claudia, Picó, Almudena Hurtado, Otten, Morgane, Dürr, Angelika, Al–Abadi, Hussain, Guckelberger, Olaf, Meyer Zum Büschenfelde, Dirk, Jöhrens, Korinna, Volkmann, Martin, Lankisch, Tim, Voigtländer, Torsten, Anders, Mario, Shibolet, Oren, Jefferson, Douglas M, Podolsky, Daniel K, Fischer, Andreas, Veltzke–Schlieker, Wilfried, Adler, Andreas, Baumgart, Daniel C, Sturm, Andreas, Wiedenmann, Bertram, Schott, Eckart, Berg, Thomas

Volltext

Probabilistic Anonymity von Bhargava, Mohit, Palamidessi, Catuscia

Volltext

Password-Based Encryption Analyzed von Abadi, Martín, Warinschi, Bogdan

Volltext