Can Functional Programming Be Liberated from the Applicative Style? - Wolfram Kahl (IFIP Congress (1), 1994)

Algebraische Termgraphersetzung mit gebundenen Variablen. - Wolfram Kahl (Utz, 1996)

Algebraic Graph Derivations for Graphical Calculi. - Wolfram Kahl (WG, 1996)

Demonic diagrams - towards a graphical refinement calculus. - Wolfram Kahl (RelMiCS, 1998)

The Term Graph Programming System HOPS. - Wolfram Kahl (Tool Support for System Specification, Development and Verification, 1998)

Interally Typed Second-Order Term Graphs. - Wolfram Kahl (WG, 1998)

Relational Treatment of Term Graphs With Bound Variables. - Wolfram Kahl (Log. J. IGPL, 1998)

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. - Wolfram Kahl (PADL, 1999)

Relational Matching for Graphical Calculi of Relations. - Wolfram Kahl (Inf. Sci., 1999)

Unsharp Demonic Products and Stratified Term Graphs. - Wolfram Kahl (RelMiCS, 2000)

A Relation-Algebraic Approach to Graph Structure Transformation. - Wolfram Kahl (RelMiCS, 2001)

Software Evolution via Hierarchical Hypergraphs with Flexible Coverage. - Wolfram Kahl (FFSE@CSMR, 2001)

Refinement and Development of Programs from Relational Specifications. - Wolfram Kahl (RelMiS, 2001)

RelMiS 2001 - Preface. - Wolfram Kahl; David Lorge Parnas; Gunther Schmidt 001 (RelMiS, 2001)

Parallel composition and decomposition of specifications. - Wolfram Kahl (Inf. Sci., 2001)

Declarative Term Graph Attribution for Program Generation. - Wolfram Kahl; Frank Derichsweiler (J. Univers. Comput. Sci., 2001)

Inequational Deduction as Term Graph Rewriting. - Andrea Corradini 001; Fabio Gadducci; Wolfram Kahl; Barbara König 001 (TERMGRAPH, 2002)

Calculational Relation-Algebraic Proofs in Isabelle/Isar. - Wolfram Kahl (RelMiCS, 2003)

Basic Pattern Matching Calculi: a Fresh View on Matching Failure. - Wolfram Kahl (FLOPS, 2004)

Control-Flow Semantics for Assembly-Level Data-Flow Graphs. - Wolfram Kahl; Christopher Kumar Anand; Jacques Carette (RelMiCS, 2005)

Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. - Wolfram Kahl (RelMiCS, 2006)

Bimonadic Semantics for Basic Pattern Matching Calculi. - Wolfram Kahl; Jacques Carette; Xiaoheng Ji (MPC, 2006)

Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. - Christopher Kumar Anand; Wolfram Kahl (AGTIVE, 2007)

MultiLoop: efficient software pipelining for modern hardware. - Christopher Kumar Anand; Wolfram Kahl (CASCON, 2007)

Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. - Wolfram Kahl (J. Log. Algebraic Methods Program., 2008)

Collagories for Relational Adhesive Rewriting. - Wolfram Kahl (RelMiCS, 2009)

Haskell Module Tools for Liberating Type Class Design. - Wolfram Kahl (Trends in Functional Programming, 2009)

A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. - Scott West; Wolfram Kahl (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

An Optimized Cell BE Special Function Library Generated by Coconut. - Christopher Kumar Anand; Wolfram Kahl (IEEE Trans. Computers, 2009)

Amalgamating Pushout and Pullback Graph Transformation in Collagories. - Wolfram Kahl (ICGT, 2010)

Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories. - Wolfram Kahl (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Determinisation of relational substitutions in ordered categories with domain. - Wolfram Kahl (J. Log. Algebraic Methods Program., 2010)

Dependently-Typed Formalisation of Relation-Algebraic Abstractions. - Wolfram Kahl (RAMiCS, 2011)

The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". - Wolfram Kahl (CPP, 2011)

Dependently-Typed Formalisation of Typed Term Graphs - Wolfram Kahl (TERMGRAPH, 2011)

Collagories: Relation-algebraic reasoning for gluing constructions. - Wolfram Kahl (J. Log. Algebraic Methods Program., 2011)

Towards Certifiable Implementation of Graph Transformation via Relation Categories. - Wolfram Kahl (RAMiCS, 2012)

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. - Victor Bandur; Wolfram Kahl; Alan Wassyng (FMICS, 2012)

A Mechanised Abstract Formalisation of Concept Lattices. - Wolfram Kahl (RAMiCS, 2014)

Categories of Coalgebras with Monadic Homomorphisms. - Wolfram Kahl (CMCS, 2014)

A Simple Parallel Implementation of Interaction Nets in Haskell. - Wolfram Kahl (DCM, 2014)

Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. - Wolfram Kahl (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Towards "mouldable code" via nested code graph transformation. - Wolfram Kahl (J. Log. Algebraic Methods Program., 2014)

Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. - Musa Al-hassy; Wolfram Kahl (RAMiCS, 2015)

Relational and algebraic methods in computer science. - Wolfram Kahl; Timothy G. Griffin; Peter Höfner (J. Log. Algebraic Methods Program., 2015)

Relational and algebraic methods in computer science. - Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller (J. Log. Algebraic Methods Program., 2016)

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. - Wolfram Kahl (RAMiCS, 2017)

A Graph Transformation Approach to Introducing Aspects into Software Architectures. - Md Nour Hossain; Wolfram Kahl; Tom Maibaum (MoDELS (Satellite Events), 2017)

Hardware/software codesign for mathematical function acceleration. - Christopher Kumar Anand; Lucas Dutton; Adele Olejarz; Robert F. Enenkel; Wolfram Kahl (CASCON, 2018)

CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math". - Wolfram Kahl (ITP, 2018)

Finite Limits and Anti-unification in Substitution Categories. - Wolfram Kahl (WADT, 2018)

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. - Wolfram Kahl; Yuhang Zhao (WADT, 2018)

Semantics-Preserving DPO-Based Term Graph Rewriting. - Wolfram Kahl; Yuhang Zhao (TERMGRAPH@FSCD, 2018)

A language feature to unbundle data at will (short paper). - Musa Al-hassy; Jacques Carette; Wolfram Kahl (GPCE, 2019)

Designing and evaluating new instructions that accelerate sigmoid-based machine learning. - Lucas M. Dutton; Curtis D'Alves; Wolfram Kahl; Robert F. Enenkel; Christopher Kumar Anand (CASCON, 2020)

Calculational relation-algebraic proofs in the teaching tool CalcCheck. - Wolfram Kahl (J. Log. Algebraic Methods Program., 2020)