Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Konrad Slind
Extensible Proof-Producing Compilation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Foundational Extensible Corecursion: A Proof Assistant Perspective
ACM SIGPLAN Notices
Computer Science
Prime Producing Polynomials: Proof of a Conjecture by Mollin and Williams
Acta Arithmetica
Number Theory
Algebra
Compilation
Bulletin d'histoire politique
Compilation
Bulletin d'histoire politique
Extensible Markov Model
Compilation
Bulletin d'histoire politique
Extensible Pre-Authentication Kerberos
Extensible Authentication Protocol (EAP)
A Proof of Concept Study to Detect Urease Producing Bacteria in Lungs Using Aerosolized13C-Urea
Pediatric, Allergy, Immunology, and Pulmonology
Immunology
Pediatrics
Allergy
Perinatology
Child Health
Pulmonary
Respiratory Medicine