Wolfram Kahl - McMaster Experts

Affiliations

Faculty of Engineering, McMaster University
Leadership in Teaching and Learning Fellow, Paul R. MacPherson Institute for Leadership, Innovation and Excellence in Teaching, McMaster University
Professor, Computing and Software, Faculty of Engineering

Scholarly Activity in McMaster Experts

Co-author Network

Scholarly Activity
Research
Teaching
Contact
View All

selected scholarly activity

books
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 8428 LNCS. 2014
- Algebraische Termgraphersetzung mit gebundenen Variablen. 1996
chapters
- Providing On-Demand Feedback for Improved Learning of Logical Reasoning in Computer Science and Software Engineering. Advances in Soft Computing. 315-326. 2021
- Verified Multicore Parallelism Using Atomic Verifiable Operations. 133-178. 2018
- Haskell module tools for liberating type class design. 129-144. 2013
- Verified Multicore Parallelism Using Atomic Verifiable Operations. 107-151. 2013
- Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs. 25-68. 2008
- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. Lecture Notes in Computer Science. 217-232. 2008
conferences
- A language feature to unbundle data at will (short paper). Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. 14-19. 2019
- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. Lecture Notes in Computer Science. 103-118. 2019
- Finite Limits and Anti-unification in Substitution Categories. Lecture Notes in Computer Science. 87-102. 2019
- CalcCheck: A Proof Checker for Teaching the “Logical Approach to Discrete Math”. Lecture Notes in Computer Science. 324-341. 2018
- Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. Lecture Notes in Computer Science. 366-384. 2018
- A graph transformation approach to introducing aspects into software architectures. CEUR Workshop Proceedings. 54-63. 2017
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. Lecture Notes in Computer Science. 193-208. 2017
- A Quest for Kleene Algebra in 2 Dimensions.. RAMiCS. 3-26. 2015
- Closure, Properties and Closure Properties of Multirelations.. RAMiCS. 67-83. 2015
- Completeness and Incompleteness in Nominal Kleene Algebra.. RAMiCS. 51-66. 2015
- Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective.. RAMiCS. 119-135. 2015
- Connections between Relation Algebras and Cylindric Algebras.. RAMiCS. 27-42. 2015
- Decomposition of Database Preferences on the Power Set of the Domain.. RAMiCS. 362-379. 2015
- Encoding and Decoding in Refinement Algebra.. RAMiCS. 209-224. 2015
- Generalised N-ary Relations and Allegories.. RAMiCS. 136-150. 2015
- Investigating and Computing Bipartitions with Algebraic Means.. RAMiCS. 257-274. 2015
- L-Fuzzy Databases in Arrow Categories.. RAMiCS. 295-311. 2015
- Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. Lecture Notes in Computer Science. 151-168. 2015
- Metaphorisms in Programming.. RAMiCS. 171-190. 2015
- Relational Formalisations of Compositions and Liftings of Multirelations.. RAMiCS. 84-100. 2015
- Relational Mathematics for Relative Correctness.. RAMiCS. 191-208. 2015
- Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings. Lecture Notes in Computer Science. V-VI. 2015
- Relations among Matrices over a Semiring.. RAMiCS. 101-118. 2015
- Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations.. RAMiCS. 380-394. 2015
- Solving a Tropical Optimization Problem via Matrix Sparsification.. RAMiCS. 326-343. 2015
- Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification.. RAMiCS. 312-325. 2015
- Tool-Based Verification of a Relational Vertex Coloring Program.. RAMiCS. 275-292. 2015
- Towards Antichain Algebra.. RAMiCS. 344-361. 2015
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV.. RAMiCS. 241-256. 2015
- Towards a Probabilistic Interpretation of Game Logic.. RAMiCS. 43-47. 2015
- Type Checking by Domain Analysis in Ampersand.. RAMiCS. 225-240. 2015
- A Mechanised Abstract Formalisation of Concept Lattices. Lecture Notes in Computer Science. 242-260. 2014
- A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.. RAMiCS. 83-100. 2014
- A Point-Free Relation-Algebraic Approach to General Topology.. RAMiCS. 226-241. 2014
- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories.. RAMiCS. 261-276. 2014
- Abstract Dynamic Frames.. RAMiCS. 157-172. 2014
- Algebras for Program Correctness in Isabelle/HOL.. RAMiCS. 49-64. 2014
- Automated Verification of Relational While-Programs.. RAMiCS. 173-190. 2014
- Categories of Coalgebras with Monadic Homomorphisms. Lecture Notes in Computer Science. 151-167. 2014
- Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis.. RAMiCS. 362-378. 2014
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages.. RAMiCS. 65-82. 2014
- Concurrent Kleene Algebra with Tests.. RAMiCS. 37-48. 2014
- Developments in Concurrent Kleene Algebra.. RAMiCS. 1-18. 2014
- Endowing Concurrent Kleene Algebra with Communication Actions. Lecture Notes in Computer Science. 19-36. 2014
- Extended Conscriptions Algebraically.. RAMiCS. 139-156. 2014
- Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$.. RAMiCS. 446-462. 2014
- Fuzzifying Modal Algebra.. RAMiCS. 395-411. 2014
- Higher-Order Arrow Categories.. RAMiCS. 277-292. 2014
- Kleene Algebra with Converse.. RAMiCS. 101-118. 2014
- Nominal Sets over Algebraic Atoms.. RAMiCS. 429-445. 2014
- On Faults and Faulty Programs.. RAMiCS. 191-207. 2014
- Parameterised Bisimulations: Some Applications.. RAMiCS. 208-225. 2014
- Preparing Relational Algebra for "Just Good Enough" Hardware.. RAMiCS. 119-138. 2014
- Refinements of the RCC25 Composition Table.. RAMiCS. 379-394. 2014
- Relation Algebra and RelView Applied to Approval Voting.. RAMiCS. 309-326. 2014
- Relational Lattices.. RAMiCS. 327-343. 2014
- Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings 2014
- Tableau Development for a Bi-intuitionistic Tense Logic.. RAMiCS. 412-428. 2014
- Towards Finding Maximal Subrelations with Desired Properties.. RAMiCS. 344-361. 2014
- Type-2 Fuzzy Controllers in Arrow Categories.. RAMiCS. 293-308. 2014
- An Algebra of Layered Complex Preferences.. RAMiCS. 294-309. 2012
- Automated Reasoning in Higher-Order Regular Algebra.. RAMiCS. 66-81. 2012
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings.. RAMiCS. 195-206. 2012
- Continuous Relations and Richardson's Theorem.. RAMiCS. 310-325. 2012
- Deciding Regular Expressions (In-)Equivalence in Coq.. RAMiCS. 98-113. 2012
- Extension Properties of Boolean Contact Algebras.. RAMiCS. 342-356. 2012
- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming.. RAMiCS. 33-49. 2012
- Incremental Pseudo Rectangular Organization of Information Relative to a Domain.. RAMiCS. 264-277. 2012
- Left-Handed Completeness.. RAMiCS. 162-178. 2012
- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. Lecture Notes in Computer Science. 63-77. 2012
- On Completeness of Omega-Regular Algebras.. RAMiCS. 179-194. 2012
- Point Axioms in Dedekind Categories.. RAMiCS. 219-234. 2012
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams.. RAMiCS. 248-263. 2012
- Relational Concepts in Social Choice.. RAMiCS. 278-293. 2012
- Relational Representation Theorem for Powerset Quantales.. RAMiCS. 207-218. 2012
- Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. RAMiCS. 2012
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.. RAMiCS. 146-161. 2012
- Relations on Hypergraphs.. RAMiCS. 326-341. 2012
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.. RAMiCS. 114-129. 2012
- Towards Certifiable Implementation of Graph Transformation via Relation Categories. Lecture Notes in Computer Science. 82-97. 2012
- Towards an Algebra for Real-Time Programs.. RAMiCS. 50-65. 2012
- Transitive Separation Logic.. RAMiCS. 1-16. 2012
- Two Observations in Dioid Based Model Refinement.. RAMiCS. 235-247. 2012
- Unifying Lazy and Strict Computations.. RAMiCS. 17-32. 2012
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings.. RAMiCS. 130-145. 2012
- Dependently-Typed Formalisation of Relation-Algebraic Abstractions. Lecture Notes in Computer Science. 230-247. 2011
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”. Lecture Notes in Computer Science. 216-230. 2011
- Amalgamating Pushout and Pullback Graph Transformation in Collagories. Lecture Notes in Computer Science. 362-378. 2010
- Haskell module tools for liberating type class design. Trends in Functional Programming. 129-144. 2010
- Collagories for Relational Adhesive Rewriting. Lecture Notes in Computer Science. 211-226. 2009
- Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. Journal of Logic Programming. 60-89. 2008
- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. Lecture Notes in Computer Science. 217-232. 2008
- Determinisation of Relational Substitutions in Ordered Categories with Domain. Lecture Notes in Computer Science. 243-258. 2008
- FDA: Between Process and Product Evaluation. 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007). 181-186. 2007
- MultiLoop. Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07. 260-260. 2007
- Bimonadic Semantics for Basic Pattern Matching Calculi. Lecture Notes in Computer Science. 253-273. 2006
- Control-Flow Semantics for Assembly-Level Data-Flow Graphs. Lecture Notes in Computer Science. 147-160. 2006
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. Lecture Notes in Computer Science. 235-250. 2006
- Basic Pattern Matching Calculi: a Fresh View on Matching Failure. Lecture Notes in Computer Science. 276-290. 2004
- Calculational Relation-Algebraic Proofs in Isabelle/Isar. Lecture Notes in Computer Science. 178-190. 2004
- A Relation-Algebraic Approach to Graph Structure Transformation. Lecture Notes in Computer Science. 1-14. 2002
- Parallel composition and decomposition of specifications. Information Sciences. 197-220. 2001
- Declarative term graph attribution for program generation. Journal of Universal Computer Science. 54-70. 2001
- Unsharp Demonic Products and Stratified Term Graphs.. RelMiCS. 165-174. 2000
- Relational matching for graphical calculi of relations. Information Sciences. 253-273. 1999
- Beyond pretty-printing: Galley concepts in document formatting combinators. Lecture Notes in Computer Science. 76-90. 1999
- Explicit graphs and computer-aided notation. Semiotica. 143-154. 1999
- Internally Typed Second-Order Term Graphs. Lecture Notes in Computer Science. 149-163. 1998
- Algebraic graph derivations for graphical calculi. Lecture Notes in Computer Science. 224-238. 1997
- Relational Matching for Graphical Calculi of Relations.. RelMiCS. 91-100. 1997
- CAN FUNCTIONAL PROGRAMMING BE LIBERATED FROM THE APPLICATIVE STYLE. INFORMATION PROCESSING '94, VOL I. 330-335. 1994
journal articles
- Calculational relation-algebraic proofs in the teaching tool. Journal of Logical and Algebraic Methods in Programming. 117:100581-100581. 2020
- Semantics-Preserving DPO-Based Term Graph Rewriting. Electronic Proceedings in Theoretical Computer Science. 288:26-37. 2019
- Relational and algebraic methods in computer science. Journal of Logical and Algebraic Methods in Programming. 85:447-448. 2016
- Relational and algebraic methods in computer science. Journal of Logical and Algebraic Methods in Programming. 84:283-284. 2015
- A Simple Parallel Implementation of Interaction Nets in Haskell. Electronic Proceedings in Theoretical Computer Science. 179:33-47. 2015
- Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. Electronic Communications of the EASST. 71. 2015
- Towards “mouldable code” via nested code graph transformation. Journal of Logical and Algebraic Methods in Programming. 83:225-234. 2014
- IN MEMORIAM: SKIPPER POEHLMAN. Critical Reviews in Biomedical Engineering. 42:349-350. 2014
- Modeling the Weaning of Intensive Care Unit Patients from Mechanical Ventilation: A Review. Critical Reviews in Biomedical Engineering. 42:25-61. 2014
- Preface. Journal of Environmental Radioactivity. 127:149-149. 2014
- Collagories: Relation-algebraic reasoning for gluing constructions. Journal of Logic Programming. 80:297-338. 2011
- Dependently-Typed Formalisation of Typed Term Graphs. Electronic Proceedings in Theoretical Computer Science. 48:38-53. 2011
- Determinisation of relational substitutions in ordered categories with domain. Journal of Logic Programming. 79:812-829. 2010
- Co-tabulations, bicolimits and Van-Kampen squares in collagories. Electronic Communications of the EASST. 29. 2010
- An Optimized Cell BE Special Function Library Generated by Coconut. IEEE transactions on computers. 58:1126-1138. 2009
- A generic graph transformation, visualisation, and editing framework in Haskell. Electronic Communications of the EASST. 18. 2009
- Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs. PROCESS ALGEBRA FOR PARALLEL AND DISTRIBUTED PROCESSING. 2:3-45. 2008
- Inequational Deduction as Term Graph Rewriting. Electronic Notes in Theoretical Computer Science. 72:31-44. 2007
- Explicitly Staged Software Pipelining 2006
- Preface. Electronic Notes in Theoretical Computer Science. 44:221-223. 2003
- Refinement and Development of Programs from Relational Specifications. Electronic Notes in Theoretical Computer Science. 44:51-93. 2003
- Relational treatment of term graphs with bound variables. Logic Journal of the IGPL. 6:259-303. 1998
- Preface. Vaccine. 13:S5-S5. 1995
preprints