Skip to content
cs-conference-ranking.org

Wolfram Kahl

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

9

Active years

1996–2019

Best venue rank

B

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2019GPCEA language feature to unbundle data at will (short paper).Musa Al-hassy, Jacques Carette, Wolfram Kahl
2018ITPCalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math".Wolfram Kahl
2017MODELSA Graph Transformation Approach to Introducing Aspects into Software Architectures.Md Nour Hossain, Wolfram Kahl, Tom Maibaum
2012FMICSMicrocontroller Assembly Synthesis from Timed Automaton Task Specifications.Victor Bandur, Wolfram Kahl, Alan Wassyng
2011CPPThe Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".Wolfram Kahl
2006MPCBimonadic Semantics for Basic Pattern Matching Calculi.Wolfram Kahl, Jacques Carette, Xiaoheng Ji
2004FLOPSBasic Pattern Matching Calculi: a Fresh View on Matching Failure.Wolfram Kahl
1999PADLBeyond Pretty-Printing: Galley Concepts in Document Formatting Combinators.Wolfram Kahl
1998WGInterally Typed Second-Order Term Graphs.Wolfram Kahl
1996WGAlgebraic Graph Derivations for Graphical Calculi.Wolfram Kahl