Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthew Parkinson
The Relationship Between Separation Logic and Implicit Dynamic Frames
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modular Reasoning About Separation of Concurrent Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controlled Synthesis, Characterization, and Flow Properties of Ethylene-Diene Copolymers
Macromolecular Reaction Engineering
Polymers
Chemistry
Chemical Engineering
Plastics
Related publications
Issue Editorial Masthead
Chemical Reviews
Chemistry
Issue Editorial Masthead
Chemical Reviews
Chemistry
Nano-Bioelectronics
Chemical Reviews
Chemistry
Introduction: Expanded, Contracted, and Isomeric Porphyrins
Chemical Reviews
Chemistry
Atmospheric Processes and Their Controlling Influence on Cloud Condensation Nuclei Activity
Chemical Reviews
Chemistry
Carbon-Supported Pt-Based Alloy Electrocatalysts for the Oxygen Reduction Reaction in Polymer Electrolyte Membrane Fuel Cells: Particle Size, Shape, and Composition Manipulation and Their Impact to Activity
Chemical Reviews
Chemistry
Interactions of Water With Mineral Dust Aerosol: Water Adsorption, Hygroscopicity, Cloud Condensation, and Ice Nucleation
Chemical Reviews
Chemistry
Mass Spectrometric Imaging for Biomedical Tissue Analysis
Chemical Reviews
Chemistry
Regulatory Mechanisms and Novel Therapeutic Targeting Strategies for Protein Tyrosine Phosphatases
Chemical Reviews
Chemistry
Coordinating Radiometals of Copper, Gallium, Indium, Yttrium, and Zirconium for PET and SPECT Imaging of Disease
Chemical Reviews
Chemistry
