[Lecture Notes in Computer Science] Secure IT Systems Volume 7617 || Coinductive Unwinding of Security-Relevant Hyperproperties
- 作者Jøsang, Audun; Carlsson, Bengt
- 文件大小251.63KB
- 发表时间2012
- DOI10.1007/978-3-642-34210-3_9
- 页码121-136
“Chemzyme” for Carbonyl-Ene ReactionsMIKAMI, Koichi; TERADA, Masahiro; NAKAI, Takeshi · Journal of Japan Oil Chemists' Society · 1990
Asymmetric Catalysis for Carbonyl-Ene ReactionMikami, Koichi; Terada, Masahiro; Narisawa, Satoshi; Nakai, Takeshi · Synlett · 1992
Aminoaldehyde-ene reaction: Stereoselective route to β-amino alcoholsMikami Koichi; Kaneko Masami; Loh Teck-Peng; Terada Masahiro; Nakai Takeshi · 1990
Asymmetric catalysis by chiral titanium perchlorate for carbonyl-ene cyclizationKoichi Mikami; Masahiro Terada; Eiji Sawa; Takeshi Nakai · 1991
Carbonyl-ene reaction: An emerging tool for acyclic stereocontrol.MIKAMI, Koichi; TERADA, Masahiro; SHIMIZU, Masaki; NAKAI, Takeshi · Journal of Synthetic Organic Chemistry, Japan · 1990
Control of chelation/nonchelation stereoselections in lanthanide-catalysed aldol reactionsMikami, Koichi; Terada, Masahiro; Nakai, Takeshi · Journal of the Chemical Society, Chemical Communications · 1993
Efficient Use of Early Transition Metal, Titanium:Highly Selective Titanium Reagents.MIKAMI, Koichi; TERADA, Masahiro; NAKAI, Takeshi · Journal of Synthetic Organic Chemistry, Japan · 1991
Unique catalysis by Eu(dppm)3: catalytic molecular recognition in aldol and Michael reactionsMikami, Koichi; Terada, Masahiro; Nakai, Takeshi · The Journal of Organic Chemistry · 1991
Total synthesis of (.+-.)-isocomenePirrung, Michael C. · Journal of the American Chemical Society · 1979
Decomposition of Malonic AnhydridesPerrin, Charles L.; Flach, Agnes; Manalo, Marlon N. · Journal of the American Chemical Society · 2012
Emissive RNA AlphabetShin, Dongwon; Sinkeldam, Renatus W.; Tor, Yitzhak · Journal of the American Chemical Society · 2011
Total Synthesis of (−)-IsoschizogamineMiura, Yusuke; Hayashi, Noriyuki; Yokoshima, Satoshi; Fukuyama, Tohru · Journal of the American Chemical Society · 2012
A Concise Synthesis of (+)-ArtemisininZhu, Chunyin; Cook, Silas P. · Journal of the American Chemical Society · 2012
Janus Colloidal MatchsticksChaudhary, Kundan; Chen, Qian; Juárez, Jaime J.; Granick, Steve; Lewis, Jennifer A. · Journal of the American Chemical Society · 2012
Trifluoromethylation of α-HaloketonesNovák, Petr; Lishchynskyi, Anton; Grushin, Vladimir V. · Journal of the American Chemical Society · 2012
Spotlights on Recent <i>JACS</i> PublicationsHayashi, Shinji; Okamoto, Takayuki · Journal of the American Chemical Society · 2012