Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ali Sezgin
Aspect-Oriented Linearizability Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
ACM SIGPLAN Notices
Computer Science
The Effect of Effort Test on the Levels of Ischemia Modified Albumin, 7-Ketocholesterol and Cholestan-3β, 5α, 6β-Triol and Their Role in the Diagnosis of Coronary Artery Disease
Journal of Medical Biochemistry
Biochemistry
Clinical Biochemistry
Simplifying Linearizability Proofs With Reduction and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Nanobody-Based System Using Fluorescent Proteins as Scaffolds for Cell-Specific Gene Manipulation
Cell
Biochemistry
Genetics
Molecular Biology
CTCF-Mediated Human 3D Genome Architecture Reveals Chromatin Topology for Transcription
Cell
Biochemistry
Genetics
Molecular Biology
Tony Pawson (1952–2013)
Cell
Biochemistry
Genetics
Molecular Biology
Retraction Notice To: Elevated tRNAiMet Synthesis Can Drive Cell Proliferation and Oncogenic Transformation
Cell
Biochemistry
Genetics
Molecular Biology
TNF Induces Pathogenic Programmed Macrophage Necrosis in Tuberculosis Through a Mitochondrial-Lysosomal-Endoplasmic Reticulum Circuit
Cell
Biochemistry
Genetics
Molecular Biology
Michael Stoker 1918–2013
Cell
Biochemistry
Genetics
Molecular Biology
Neuronal Computations Made Visible With Subcellular Resolution
Cell
Biochemistry
Genetics
Molecular Biology
Soluble FLT1 Binds Lipid Microdomains in Podocytes to Control Cell Morphology and Glomerular Barrier Function
Cell
Biochemistry
Genetics
Molecular Biology
Lineage Tracing
Cell
Biochemistry
Genetics
Molecular Biology
Stochastic State Transitions Give Rise to Phenotypic Equilibrium in Populations of Cancer Cells
Cell
Biochemistry
Genetics
Molecular Biology
