Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Kauffman, Raymond"'
Autor:
Chichester, Dalton, Du, Wei, Kauffman, Raymond, Lin, Hai, Lynch, Christopher, Marshall, Andrew M., Meadows, Catherine A., Narendran, Paliath, Ravishankar, Veena, Rovira, Luis, Rozek, Brandon
Publikováno v:
EPTCS 370, 2022, pp. 147-161
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure
Externí odkaz:
http://arxiv.org/abs/2209.10321
Autor:
Kauffman, Raymond F.
Thesis--University of Wisconsin--Madison.
Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/5783666.html
Autor:
Bjarnason, Nina Hannover *, Haarbo, Jens, Byrjalsen, Inger, Alexandersen, Peter, Kauffman, Raymond F., Christiansen, Claus
Publikováno v:
In Atherosclerosis 2001 154(1):97-102
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wang, Minmin *, Winneroski, Leonard L. *, Ardecky, Robert J., Babine, Robert E., Brooks, Dawn A., Etgen, Garret J., Hutchison, Darrell R., Kauffman, Raymond F., Kunkel, Aaron, Mais, Dale E., Montrose-Rafizadeh, Chahrzad, Ogilvie, Kathleen M., Oldham, Brian A., Peters, Mary K., Rito, Christopher J., Rungta, Deepa K., Tripp, Allie E., Wilson, Sarah B., Xu, Yanping, Zink, Richard W., McCarthy, James R. *
Publikováno v:
In Bioorganic & Medicinal Chemistry Letters 2004 14(24):6113-6116
Publikováno v:
Lipids; May2002, Vol. 37 Issue 5, p487-494, 8p
Autor:
Kauffman, Raymond F., Bean, James S., Fahey, Kennan J., Cullinan, George J., Cox, David A., Bensch, William R.
Publikováno v:
Journal of Cardiovascular Pharmacology; Oct2000, Vol. 36 Issue 4, p459-465, 7p
Autor:
Bjarnason, Nina Hannover, Haarbo, Jens, Byrjalsen, Inger, Kauffman, Raymond F., Knadler, Mary Pat, Christiansen, Claus, Hannover Bjarnason, Nina
Publikováno v:
Clinical Endocrinology; Feb2000, Vol. 52 Issue 2, p225-233, 09p
Publikováno v:
Circulation Research; Jul1989, Vol. 65 Issue 1, p154-163, 10p
Publikováno v:
Circulation Research; May1989, Vol. 64 Issue 5, p1037-1040, 4p