A program synthesis algorithm exemplified. - Steffen Lange (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

A Decidability Problem of Church-Rosser Specifications for Program Synthesis. - Steffen Lange (AII, 1986)

On the construction of unifying terms modulo a set of substitutions. - Steffen Lange (Bull. EATCS, 1987)

Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation. - Steffen Lange (1987)

Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion. - Steffen Lange (AII, 1989)

Inductive Completion for Transformation of Equational Specifications. - Steffen Lange; Klaus P. Jantke (ADT, 1990)

Polynomial-Time Inference of Pattern Languages. - Steffen Lange; Rolf Wiehagen (ALT, 1990)

A Note on Polynominal-Time Inference of k-Variable Pattern Languages. - Steffen Lange (Nonmonotonic and Inductive Logic, 1990)

Monotonic Versus Nonmonotonic Language Learning. - Steffen Lange; Thomas Zeugmann (Nonmonotonic and Inductive Logic, 1991)

Polynomial-time Inference of Arbitrary Pattern Languages. - Steffen Lange; Rolf Wiehagen (New Gener. Comput., 1991)

A Unifying Approach to Monotonic Language Learning on Informant. - Steffen Lange; Thomas Zeugmann (AII, 1992)

Types of Monotonic Language Learning and Their Characterization. - Steffen Lange; Thomas Zeugmann (COLT, 1992)

Language Learning in Dependence on the Space of Hypotheses. - Steffen Lange; Thomas Zeugmann (COLT, 1993)

Language Learning with a Bounded Number of Mind Changes. - Steffen Lange; Thomas Zeugmann (STACS, 1993)

Learning Recursive Languages with Bounded Mind Changes. - Steffen Lange; Thomas Zeugmann (Int. J. Found. Comput. Sci., 1993)

On Case-Based Representability and Learnability of Languages. - Christoph Globig; Steffen Lange (AII/ALT, 1994)

Language Learning from Good Examples. - Steffen Lange; Jochen Nessel; Rolf Wiehagen (AII/ALT, 1994)

Machine Discovery in the Presence of Incomplete or Ambiguous Data. - Steffen Lange; Phil Watson (AII/ALT, 1994)

Learning Languages by Collecting Cases and Tuning Parameters. - Yasubumi Sakakibara; Klaus P. Jantke; Steffen Lange (AII/ALT, 1994)

The Representation of Recursive Languages and Its Impact on the Efficiency of Learning. - Steffen Lange (COLT, 1994)

Characterization of language learning front informant under various monotonicity constraints. - Steffen Lange; Thomas Zeugmann (J. Exp. Theor. Artif. Intell., 1994)

Trading monotonicity demands versus mind changes. - Steffen Lange; Thomas Zeugmann (EuroCOLT, 1995)

A Guided Tour Across the Boundaries of Learning Recursive Languages. - Thomas Zeugmann; Steffen Lange (GOSLER Final Report, 1995)

Case-Based Representation and Learning of Pattern Languages. - Klaus P. Jantke; Steffen Lange (Theor. Comput. Sci., 1995)

Characterizations of Monotonic and Dual Monotonic Language Learning - Thomas Zeugmann; Steffen Lange; Shyam Kapur (Inf. Comput., 1995)

Learning by Erasing. - Steffen Lange; Rolf Wiehagen; Thomas Zeugmann (ALT, 1996)

Case-Based Representability of Classes of Boolean Functions. - Christoph Globig; Steffen Lange (ECAI, 1996)

Incremental Learning from Positive Data. - Steffen Lange; Thomas Zeugmann (J. Comput. Syst. Sci., 1996)

Set-Driven and Rearrangement-Independent Learning of Recursive Languages. - Steffen Lange; Thomas Zeugmann (Math. Syst. Theory, 1996)

Monotonic and Dual Monotonic Language Learning. - Steffen Lange; Thomas Zeugmann; Shyam Kapur (Theor. Comput. Sci., 1996)

Learning of R.E. Languages from Good Examples. - Sanjay Jain 001; Steffen Lange; Jochen Nessel (ALT, 1997)

On Case Based Learnability of Language. - Christoph Globig; Klaus P. Jantke; Steffen Lange; Yasubumi Sakakibara (New Gener. Comput., 1997)

Towards the Validation of Inductive Learning Systems. - Gunter Grieser; Klaus P. Jantke; Steffen Lange (ALT, 1998)

Characterizing Sufficient Expertise for Learning Systems Validation. - Gunter Grieser; Klaus P. Jantke; Steffen Lange (FLAIRS, 1998)

Related Areas. - Gerd Kamp; Steffen Lange; Christoph Globig (Case-Based Reasoning Technology, 1998)

Learning Recursive Languages from Good Examples. - Steffen Lange; Jochen Nessel; Rolf Wiehagen (Ann. Math. Artif. Intell., 1998)

On the Strength of Incremental Learning. - Steffen Lange; Gunter Grieser (ALT, 1999)

Incremental Concept Learning for Bounded Data Mining. - John Case; Sanjay Jain 001; Steffen Lange; Thomas Zeugmann (Inf. Comput., 1999)

Learning Recursive Concepts with Anomalies. - Gunter Grieser; Steffen Lange; Thomas Zeugmann (ALT, 2000)

A Unifying Approach to HTML Wrapper Representation and Learning. - Gunter Grieser; Klaus P. Jantke; Steffen Lange; Bernd Thomas (Discovery Science, 2000)

Formal Concepts of Learning Systems Validation in Use. - Volker Dötsch; Gunter Grieser; Klaus P. Jantke; Steffen Lange (FLAIRS, 2000)

Applying formal concepts to learning systems validation. - Volker Dötsch; Gunter Grieser; Steffen Lange (J. Exp. Theor. Artif. Intell., 2000)

Learning languages and functions by erasing. - Sanjay Jain 001; Efim B. Kinber; Steffen Lange; Rolf Wiehagen; Thomas Zeugmann (Theor. Comput. Sci., 2000)

Extending Elementary Formal Systems. - Steffen Lange; Gunter Grieser; Klaus P. Jantke (ALT, 2001)

Learning Approaches to Wrapper Induction. - Gunter Grieser; Steffen Lange (FLAIRS, 2001)

On the learnability of recursively enumerable languages from good examples. - Sanjay Jain 001; Steffen Lange; Jochen Nessel (Theor. Comput. Sci., 2001)

Consistency Queries in Information Extraction. - Gunter Grieser; Klaus P. Jantke; Steffen Lange (ALT, 2002)

On the power of incremental learning. - Steffen Lange; Gunter Grieser (Theor. Comput. Sci., 2002)

On the Learnability of Erasing Pattern Languages in the Query Model. - Steffen Lange; Sandra Zilles (ALT, 2003)

Formal models of incremental learning and their analysis. - Steffen Lange; Sandra Zilles (IJCNN, 2003)

Variants of iterative learning. - Steffen Lange; Gunter Grieser (Theor. Comput. Sci., 2003)

Advanced elementary formal systems. - Steffen Lange; Gunter Grieser; Klaus P. Jantke (Theor. Comput. Sci., 2003)

Decision lists over regular patterns. - Steffen Lange; Jochen Nessel (Theor. Comput. Sci., 2003)

Comparison of Query Learning and Gold-Style Learning in Dependence of the Hypothesis Space. - Steffen Lange; Sandra Zilles (ALT, 2004)

Replacing Limit Learners with Equally Powerful One-Shot Query Learners. - Steffen Lange; Sandra Zilles (COLT, 2004)

Learning by Doing and Learning when Doing: Dovetailing E-Learning and Decision Support with a Data Mining Tutor. - Klaus P. Jantke; Steffen Lange; Gunter Grieser; Peter A. Grigoriev; Bernhard Thalheim; Bernd Tschiedel (ICEIS (5), 2004)

DaMiT: Data Mining lernen und lehren. - Klaus P. Jantke; Gunter Grieser; Steffen Lange; Martin Memmel (LWA, 2004)

Incremental learning of approximations from positive data. - Gunter Grieser; Steffen Lange (Inf. Process. Lett., 2004)

Formal language identification: query learning vs. Gold-style learning. - Steffen Lange; Sandra Zilles (Inf. Process. Lett., 2004)

Gold-Style and Query Learning Under Various Constraints on the Target Class. - Sanjay Jain 001; Steffen Lange; Sandra Zilles (ALT, 2005)

Algorithmic Learning: Formal Models and Prototypical Applications. - Steffen Lange; Sandra Zilles (Leipziger Informatik-Tage, 2005)

Relations between Gold-style learning and query learning. - Steffen Lange; Sandra Zilles (Inf. Comput., 2005)

Inductive inference of approximations for recursive concepts. - Steffen Lange; Gunter Grieser; Thomas Zeugmann (Theor. Comput. Sci., 2005)

Learning erasing pattern languages with queries. - Jochen Nessel; Steffen Lange (Theor. Comput. Sci., 2005)

Towards a Better Understanding of Incremental Learning. - Sanjay Jain 001; Steffen Lange; Sandra Zilles (ALT, 2006)

Some natural conditions on incremental learning. - Sanjay Jain 001; Steffen Lange; Sandra Zilles (Inf. Comput., 2007)

A general comparison of language learning from examples and from queries. - Sanjay Jain 001; Steffen Lange; Sandra Zilles (Theor. Comput. Sci., 2007)

Learning with Temporary Memory. - Steffen Lange; Samuel E. Moelius; Sandra Zilles (ALT, 2008)

Teaching Dimensions based on Cooperative Learning. - Sandra Zilles; Steffen Lange; Robert Holte; Martin Zinkevich (COLT, 2008)

Learning indexed families of recursive languages from positive data: A survey. - Steffen Lange; Thomas Zeugmann; Sandra Zilles (Theor. Comput. Sci., 2008)

Incremental learning with temporary memory. - Sanjay Jain 001; Steffen Lange; Samuel E. Moelius; Sandra Zilles (Theor. Comput. Sci., 2010)

An AC-powered optical receiver consuming 270μW for transcutaneous 2Mb/s data transfer. - Steffen Lange; Hongcheng Xu; Christian Lang; Holger Pless; Joachim Becker; Hans-Jürgen Tiedkte; Eckhard Hennig; Maurits Ortmanns (ISSCC, 2011)

Models of Cooperative Teaching and Learning. - Sandra Zilles; Steffen Lange; Robert Holte; Martin Zinkevich (J. Mach. Learn. Res., 2011)

Similarity Hashing Based on Levenshtein Distances. - Frank Breitinger; Georg Ziroff; Steffen Lange; Harald Baier (IFIP Int. Conf. Digital Forensics, 2014)

On Valid and Optimal Deployments for Mixed-Tenancy Problems in SaaS-Applications. - Steffen Lange; Marian Margraf; Stefan T. Ruehl; Stephan A. W. Verclas (SERVICES, 2014)

Workshop: Nutzerzentrierte Sicherheit - NzS 2016. - Andreas Heinemann; Steffen Lange; Marian Margraf; Jörg Willomitzer (GI-Jahrestagung, 2016)

Security Evaluation of Apple Pay at Point-of-Sale Terminals. - Marian Margraf; Steffen Lange; Florian Otterbein (NGMAST, 2016)

Decision making improves sperm chemotaxis in the presence of noise. - Justus A. Kromer; Steffen Märcker; Steffen Lange; Christel Baier; Benjamin M. Friedrich (PLoS Comput. Biol., 2018)

The Climate Effect of Digitalization in Production and Consumption in OECD Countries. - Steffen Lange; Tom Kopp (ICT4S, 2019)

Model-Based Prediction of an Effective Adhesion Parameter Guiding Multi-Type Cell Segregation. - Philipp Rossbach; Hans-Joachim Böhme; Steffen Lange; Anja Voss-Böhme (Entropy, 2021)

Sperm chemotaxis in marine species is optimal at physiological flow rates according theory of filament surfing. - Steffen Lange; Benjamin M. Friedrich (PLoS Comput. Biol., 2021)

Modeling age-specific incidence of colon cancer via niche competition. - Steffen Lange; Richard Mogwitz; Denis Hünniger; Anja Voss-Böhme (PLoS Comput. Biol., 2022)

Is cell segregation like oil and water: Asymptotic versus transitory regime. - Florian Franke; Sebastian Aland; Hans-Joachim Böhme; Anja Voss-Böhme; Steffen Lange (PLoS Comput. Biol., 2022)

Digital sufficiency: conceptual considerations for ICTs on a finite planet. - Tilman Santarius; Jan C. T. Bieser; Vivian Frick; Mattias Höjer; Maike Gossen; Lorenz M. Hilty; Eva Kern; Johanna Pohl; Friederike Rohde; Steffen Lange (Ann. des Télécommunications, 2023)

Lazy Luna: Extendible software for multilevel reader comparison in cardiovascular magnetic resonance imaging. - Thomas Hadler; Clemens Ammann; Jens Wetzl; Darian Viezzer; Jan Gröschel; Maximilian Fenski; Endri Abazi; Steffen Lange; Anja Hennemuth; Jeanette Schulz-Menger (Comput. Methods Programs Biomed., 2023)

Image segmentation of treated and untreated tumor spheroids by Fully Convolutional Networks. - Matthias Streller; Sona Michlíková; Willy Ciecior; Katharina Lönnecke; Leoni A. Kunz-Schughart; Steffen Lange; Anja Voss-Böhme (CoRR, 2024)