Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcel Bohme
Partition-Based Regression Verification
Related publications
Partition-Based Trapdoor Ciphers
Regression Verification: Proving the Equivalence of Similar Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Local Linear Functional Regression Based on Weighted Distance-Based Regression
Functional and Operatorial Statistics
Color-Based Iris Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamically Adaptive Partition-Based Data Distribution Management
Histogram Density Estimators Based Upon a Fuzzy Partition
Statistics and Probability Letters
Uncertainty
Statistics
Probability
Controlling Polyvariance for Specialization-Based Verification
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Scene Consistency Verification Based on PatchNet
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Alumnichain: Blockchain Based Records Verification Service
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
