Relational methods in computer science C Brink, W Kahl, G Schmidt Springer Science & Business Media, 2012 | 237 | 2012 |
Named instances for Haskell type classes W Kahl, J Scheffczyk Proceedings of the 2001 Haskell Workshop, number UU-CS-2001-23 in Tech. Rep …, 2001 | 50 | 2001 |
Exploring (finite) relation algebras using tools written in Haskell W Kahl, G Schmidt Univ. der Bundeswehr München, Fak. für Informatik, 2000 | 34 | 2000 |
A relation-algebraic approach to graph structure transformation W Kahl International Conference on Relational Methods in Computer Science, 1-14, 2001 | 29 | 2001 |
Calculational relation-algebraic proofs in Isabelle/Isar W Kahl International Conference on Relational Methods in Computer Science, 178-190, 2003 | 27 | 2003 |
Control-flow semantics for assembly-level data-flow graphs W Kahl, CK Anand, J Carette International Conference on Relational Methods in Computer Science, 147-160, 2005 | 23 | 2005 |
Refactoring heterogeneous relation algebras around ordered categories and converse W Kahl J. Relational Methods in Comp. Sci 1, 277-313, 2004 | 23 | 2004 |
A study on symmetric quotients H Furusawa, W Kahl Univ. der Bundeswehr, Fak. für Informatik, 1998 | 23 | 1998 |
Dependently-typed formalisation of relation-algebraic abstractions W Kahl International Conference on Relational and Algebraic Methods in Computer …, 2011 | 21 | 2011 |
Compositional syntax and semantics of tables W Kahl SQRL Report 15, 2003 | 21 | 2003 |
A relation-algebraic approach to graph structure transformation, 2001. Habil W Kahl Thesis, Fakultät für Informatik, Univ. der Bundeswehr München, Techn. Report …, 2001 | 21 | 2001 |
Algebraische Termgraphensetzung mit gebundenen Variablen W Kahl Herbert Utz Verlag, 1996 | 20 | 1996 |
Basic pattern matching calculi: A fresh view on matching failure W Kahl International Symposium on Functional and Logic Programming, 276-290, 2004 | 19 | 2004 |
Refinement and development of programs from relational specifications W Kahl Electronic Notes in Theoretical Computer Science 44 (3), 51-93, 2003 | 18 | 2003 |
Relational treatment of term graphs with bound variables W Kahl Logic Journal of IGPL 6 (2), 259-303, 1998 | 18 | 1998 |
An optimized Cell BE special function library generated by Coconut CK Anand, W Kahl IEEE Transactions on Computers 58 (8), 1126-1138, 2008 | 17 | 2008 |
The term graph programming system HOPS W Kahl Tool Support for System Specification, Development and Verification, 136-149, 1999 | 17 | 1999 |
Synthesizing and verifying multicore parallelism in categories of nested code graphs CK Anand, W Kahl Process Algebra for Parallel and Distributed Processing 2, 3-45, 2009 | 14 | 2009 |
FDA: Between process and product evaluation MM Abdeen, W Kahl, T Maibaum 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007 | 13 | 2007 |
Beyond pretty-printing: Galley concepts in document formatting combinators W Kahl International Symposium on Practical Aspects of Declarative Languages, 76-90, 1999 | 12 | 1999 |