Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Freek Wiedijk
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Arrow's Impossibility Theorem
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Related publications
Formal Semantics and Verification for Feature Modeling
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Formal Semantics: Origins, Issues, Early Impact
Baltic International Yearbook of Cognition, Logic and Communication
Catalyst-Dependent Chemoselective Formal Insertion of Diazo Compounds Into C−C or C−H Bonds of 1,3-Dicarbonyl Compounds
Angewandte Chemie - International Edition
Catalysis
Chemistry
Catalyst-Dependent Chemoselective Formal Insertion of Diazo Compounds Into C−C or C−H Bonds of 1,3-Dicarbonyl Compounds
Angewandte Chemie
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
Formal Synthesis of Premisakinolide a and C(19)–C(32) of Swinholide a via Site-Selective C–H Allylation and Crotylation of Unprotected Diols
Organic Letters
Biochemistry
Organic Chemistry
Theoretical Chemistry
Physical
Formal Verification of kLIBC With the WP Frama-C Plug-In
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hepatitis C Virus Standard of Care: A Rapid Evolution and Considerations for Acute Hepatitis C Virus
Clinical Liver Disease
Hepatology
