Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bernhard Steffen

Dissolved Organic Matter Characteristics of Deciduous and Coniferous Forests With Variable Management: Different at the Source, Aligned in the Soil

Biogeosciences
Earth-Surface ProcessesEcologySystematicsEvolutionBehavior
2019English

Semantics-Based Composition of EMBOSS Services

Journal of Biomedical Semantics
Computer NetworksComputer Science ApplicationsHealth InformaticsInformation SystemsCommunications
2011English

LearnLib Tutorial: From Finite Automata to Register Interface Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Automated Learning Setups in Automata Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Loose Programming With PROPHETS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

High-Level Frameworks for the Specification and Verification of Scheduling Problems

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

GeneFisher-P: Variations of GeneFisher as Processes in Bio-jETI

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2008English

Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1999English

Data-Flow Analysis as Model Checking Within the jABC

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

jETI: A Tool for Remote Tool Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy