Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frank Koob
Verification Support Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Deduction in the Verification Support Environment (VSE)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BProVe: Tool Support for Business Process Verification
SVMSVM: Support Vector Machine Speaker Verification Methodology
Speaker Verification Using Sequence Discriminant Support Vector Machines
IEEE Transactions on Speech and Audio Processing
An Automata Based Verification Environment for Mobile Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Speaker Verification in Noisy Environment Using Missing Feature Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Visual Verification of Cancer Staging for Therapy Decision Support
Computer Graphics Forum
Computer Networks
Computer Graphics
Computer-Aided Design
Communications
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OCL Support in an Industrial Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
