Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Stefan Edelkamp

Agent-Based Dispatching Enables Autonomous Groupage Traffic

Journal of Artificial Intelligence and Soft Computing Research
Information SystemsPattern RecognitionSimulationHardwareComputer VisionArchitectureModelingArtificial Intelligence
2013English

The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-Linear Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Case Study of Planning for Smart Factories

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2018English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy