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 ScienceTheoretical Computer Science
2009English

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Related publications

Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices
Computer Science
2015English

Prime Producing Polynomials: Proof of a Conjecture by Mollin and Williams

Acta Arithmetica
Number TheoryAlgebra
1999English

Compilation

Bulletin d'histoire politique
2006English

Compilation

Bulletin d'histoire politique
2007English

Extensible Markov Model

English

Compilation

Bulletin d'histoire politique
2005English

Extensible Pre-Authentication Kerberos

2007English

Extensible Authentication Protocol (EAP)

2004English

A Proof of Concept Study to Detect Urease Producing Bacteria in Lungs Using Aerosolized13C-Urea

Pediatric, Allergy, Immunology, and Pulmonology
ImmunologyPediatricsAllergyPerinatologyChild HealthPulmonaryRespiratory Medicine
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy