The following pages link to Bernhard Steffen (Q478387):
Displaying 50 items.
- A succinct canonical register automaton model (Q478388) (← links)
- Learning register automata: from languages to program structures (Q479461) (← links)
- (Q696586) (redirect page) (← links)
- Correction of finite size effects in molecular dynamics applied to the friction coefficient of a Brownian particle (Q696587) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- Finite constants: Characterizations of a new decidable set of constants (Q1176239) (← links)
- A numerical method for the evaluation of an equilibrium configuration of a toroidal pinch (Q1247090) (← links)
- Characteristic formulae for processes with divergence (Q1322469) (← links)
- Generating data flow analysis algorithms from modal specifications (Q1330457) (← links)
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus (Q1801498) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- The electronic tool integration platform: Concepts and design (Q1856185) (← links)
- Reactive, generative, and stratified models of probabilistic processes (Q1898113) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q1960527) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Generative program analysis and beyond: the power of domain-specific languages (invited paper) (Q2234057) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- High-order compact solvers for the three-dimensional Poisson equation (Q2576206) (← links)
- (Q2712587) (← links)
- (Q2743709) (← links)
- (Q2760246) (← links)
- (Q2764125) (← links)
- Playing with Abstraction and Representation (Q2796224) (← links)
- Grundlagen der höheren Informatik (Q2862569) (← links)
- Inferring Canonical Register Automata (Q2891417) (← links)
- Demonstrating Learning of Register Automata (Q2894291) (← links)
- Quality Engineering: Leveraging Heterogeneous Information (Q3075468) (← links)
- Automata Learning with Automated Alphabet Abstraction Refinement (Q3075487) (← links)
- A Succinct Canonical Register Automaton Model (Q3172926) (← links)
- Quantitative comparison of estimations for the density within pedestrian streams (Q3302307) (← links)
- An elementary bisimulation decision procedure for arbitrary context-free processes (Q3569030) (← links)
- ViDoC - Visual Design of Optimizing Compilers (Q3593072) (← links)
- (Q3601112) (← links)
- (Q3713531) (← links)
- (Q3793667) (← links)
- (Q3975169) (← links)
- (Q3975170) (← links)
- (Q3996243) (← links)
- (Q4036558) (← links)
- (Q4037089) (← links)
- (Q4037383) (← links)
- (Q4038674) (← links)
- (Q4414375) (← links)
- (Q4463175) (← links)
- (Q4494381) (← links)
- (Q4518888) (← links)
- (Q4531767) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q4571973) (← links)
- Local model checking for context-free processes (Q4630295) (← links)
