Correctness of Smart Contracts for Consistency Enforcement. - Thomas Osterland; Thomas Rose 001 (ERCIM News, 2017)

Context-based User Activity Prediction for Mobility Planning. - Karl-Heinz Krempels; Fabian Ohler; Thomas Osterland; Christoph Terwelp (ICAART (2), 2019)

On the Implementation of Business Process Logic in DLT Nodes. - Thomas Osterland; Thomas Rose 001; Clemens Putschli (ASSE, 2020)

Model checking smart contracts for Ethereum. - Thomas Osterland; Thomas Rose 001 (Pervasive Mob. Comput., 2020)

Oracle-based process automation in DLT dominated ecosystems with an application to German waterway transportation. - Thomas Osterland; Thomas Rose 001 (ASSE, 2021)

Discrepancy Detection in Merkle Tree-Based Hash Aggregation. - Thomas Osterland; Gordon Lemme; Thomas Rose 001 (IEEE ICBC, 2021)

Maintain the Persistence of a Distributed Ledger for Future Generations. - Thomas Osterland; Thomas Rose 001 (ASSE, 2022)

Scoring-based DOM Content Selection with Discrete Periodicity Analysis. - Thomas Osterland; Thomas Rose 001 (ICEIS (2), 2022)

Analyzing the sustainability of distributed ledger applications. - Thomas Osterland (2022)