Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sebastian Modersheim
Verifying SeVeCom Using Set-Based Abstraction
Set-Pi: Set Membership P-Calculus
Related publications
Verifying Spatial Queries Using Voronoi Neighbors
Graph-Based Procedural Abstraction
Contextual Object Detection Using Set-Based Classification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Timed BPMN Processes Using Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Quantitative Properties Using Bound Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Feature Based Text Classification Using Application Term Set
International Journal of Computer Applications
Verifying Networked Programs Using a Model Checker Extension
Distribution Function Estimation Using Concomitant-Based Ranked Set Sampling
Hacettepe Journal of Mathematics and Statistics
Statistics
Probability
Algebra
Geometry
Analysis
Number Theory
Topology
