Jana Schubert

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Order Statistics

Context Sensitive

Binary Classification

Top Venues

Publications

Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
Ratio and Weight Quantiles. MFCS (1) (2015)
Benedikt Bollig, Paul Gastin, Jana Schubert
Parameterized Verification of Communicating Automata under Context Bounds. RP (2014)