スポンサーリンク
Department of Hydrocarbon Chemistry, Kyoto University | 論文
- Time-Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation
- Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
- The carbonylation of .ALPHA.-haloacetophenones and benzyl halides by disodium tetracarbonylferrate.
- Liquid-phase Oxidation Catalyzed by Cu(II)–Cl System, I. Oxidation of Cyclohexene
- The synthesis of 2,5-dialkylcyclopentanones from aliphatic aldehydes and formaldehyde.
- Semi-empirical Localized MO Calculations of Saturated Carbocyclic and Heterocyclic Compounds
- On the Long-range Interactions between Two Hydrogen Atoms and Two Helium Atoms
- The transition metal-catalyzed N-alkylation and N-heterocyclization. A reductive transformation of nitroarenes into (dialkylamino)arenes and 2,3-dialkyl-substituted quinolines using aliphatic aldehydes under carbon monoxide.