Edit Profile (opens in new tab) Kahl, Wolfram Compute Distance To: Compute Author ID: kahl.wolfram Published as: Kahl, Wolfram Homepage: http://www.cas.mcmaster.ca/~kahl/ External Links: MGP Documents Indexed: 37 Publications since 1997 6 Contributions as Editor Co-Authors: 15 Co-Authors with 15 Joint Publications 206 Co-Co-Authors all top 5 Co-Authors 28 single-authored 3 Höfner, Peter 2 Anand, Christopher Kumar 2 Carette, Jacques 2 Griffin, Timothy G. 2 Jipsen, Peter 2 Müller, Martin Eric 2 Zhao, Yuhang 1 Al-hassy, Musa 1 Anand, Kumar Christopher 1 Brink, Chris 1 Derichsweiler, Frank 1 Ji, Xiaoheng 1 Schmidt, Gunther 1 Ströhlein, Thomas 1 Winter, Michael all top 5 Serials 4 Journal of Logical and Algebraic Methods in Programming 3 The Journal of Logic and Algebraic Programming 3 Lecture Notes in Computer Science 2 Information Sciences 1 IEEE Transactions on Computers 1 Logic Journal of the IGPL 1 Journal of Universal Computer Science all top 5 Fields 41 Computer science (68-XX) 10 Category theory; homological algebra (18-XX) 9 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 3 Mathematics education (97-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 1 Combinatorics (05-XX) 1 Special functions (33-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 27 Publications have been cited 82 times in 56 Documents Cited by ▼ Year ▼ Relational methods in computer science. Zbl 0871.00027 19 1997 Dependently-typed formalisation of relation-algebraic abstractions. Zbl 1329.68063Kahl, Wolfram 6 2011 Calculational relation-algebraic proofs in Isabelle/Isar. Zbl 1088.68772Kahl, Wolfram 5 2004 Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005Kahl, Wolfram 5 2008 Basic pattern matching calculi: a fresh view on matching failure. Zbl 1122.68395Kahl, Wolfram 5 2004 Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137Kahl, Wolfram 4 2011 Relational matching for graphical calculi of relations. Zbl 0943.68092Kahl, Wolfram 4 1999 Categories of coalgebras with monadic homomorphisms. Zbl 1445.68119Kahl, Wolfram 3 2014 Amalgamating pushout and pullback graph transformation in collagories. Zbl 1306.68077Kahl, Wolfram 3 2010 Semigroupoid interfaces for relation-algebraic programming in Haskell. Zbl 1134.68339Kahl, Wolfram 3 2006 The term graph programming system HOPS. Zbl 0979.68510Kahl, Wolfram 3 1999 An optimized cell BE special function library generated by Coconut. Zbl 1367.65203Anand, Christopher Kumar; Kahl, Wolfram 3 2009 The teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “Logical approach to discrete math”. Zbl 1350.68238Kahl, Wolfram 2 2011 Synthesizing and verifying multicore parallelism in categories of nested code graphs. Zbl 1172.68403Anand, Kumar Christopher; Kahl, Wolfram 2 2009 Relational treatment of term graphs with bound variables. Zbl 0892.68051Kahl, Wolfram 2 1998 Parallel composition and decomposition of specifications. Zbl 1004.68097Kahl, Wolfram 2 2001 Declarative term graph attribution for program generation. Zbl 0973.68021Kahl, Wolfram; Derichsweiler, Frank 1 2001 Determinisation of relational substitutions in ordered categories with domain. Zbl 1139.18006Kahl, Wolfram 1 2008 Collagories for relational adhesive rewriting. Zbl 1267.68129Kahl, Wolfram 1 2009 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 CalcCheck: a proof checker for teaching the “Logical approach to discrete math”. Zbl 1462.68215Kahl, Wolfram 1 2018 Calculational relation-algebraic proofs in the teaching tool CalcCheck. Zbl 1462.68216Kahl, Wolfram 1 2018 Towards “mouldable code” via nested code graph transformation. Zbl 1371.68051Kahl, Wolfram 1 2014 Dependently-typed formalisation of typed term graphs. Zbl 1457.68051Kahl, Wolfram 1 2011 A relation-algebraic approach to graph structure transformation. Zbl 1027.68612Kahl, Wolfram 1 2002 Internally typed second-order term graphs. Zbl 0918.68086Kahl, Wolfram 1 1998 Towards certifiable implementation of graph transformation via relation categories. Zbl 1364.68309Kahl, Wolfram 1 2012 CalcCheck: a proof checker for teaching the “Logical approach to discrete math”. Zbl 1462.68215Kahl, Wolfram 1 2018 Calculational relation-algebraic proofs in the teaching tool CalcCheck. Zbl 1462.68216Kahl, Wolfram 1 2018 Categories of coalgebras with monadic homomorphisms. Zbl 1445.68119Kahl, Wolfram 3 2014 Towards “mouldable code” via nested code graph transformation. Zbl 1371.68051Kahl, Wolfram 1 2014 Towards certifiable implementation of graph transformation via relation categories. Zbl 1364.68309Kahl, Wolfram 1 2012 Dependently-typed formalisation of relation-algebraic abstractions. Zbl 1329.68063Kahl, Wolfram 6 2011 Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137Kahl, Wolfram 4 2011 The teaching tool CalcCheck: a proof-checker for Gries and Schneider’s “Logical approach to discrete math”. Zbl 1350.68238Kahl, Wolfram 2 2011 Dependently-typed formalisation of typed term graphs. Zbl 1457.68051Kahl, Wolfram 1 2011 Amalgamating pushout and pullback graph transformation in collagories. Zbl 1306.68077Kahl, Wolfram 3 2010 An optimized cell BE special function library generated by Coconut. Zbl 1367.65203Anand, Christopher Kumar; Kahl, Wolfram 3 2009 Synthesizing and verifying multicore parallelism in categories of nested code graphs. Zbl 1172.68403Anand, Kumar Christopher; Kahl, Wolfram 2 2009 Collagories for relational adhesive rewriting. Zbl 1267.68129Kahl, Wolfram 1 2009 Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005Kahl, Wolfram 5 2008 Determinisation of relational substitutions in ordered categories with domain. Zbl 1139.18006Kahl, Wolfram 1 2008 Semigroupoid interfaces for relation-algebraic programming in Haskell. Zbl 1134.68339Kahl, Wolfram 3 2006 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 Calculational relation-algebraic proofs in Isabelle/Isar. Zbl 1088.68772Kahl, Wolfram 5 2004 Basic pattern matching calculi: a fresh view on matching failure. Zbl 1122.68395Kahl, Wolfram 5 2004 A relation-algebraic approach to graph structure transformation. Zbl 1027.68612Kahl, Wolfram 1 2002 Parallel composition and decomposition of specifications. Zbl 1004.68097Kahl, Wolfram 2 2001 Declarative term graph attribution for program generation. Zbl 0973.68021Kahl, Wolfram; Derichsweiler, Frank 1 2001 Relational matching for graphical calculi of relations. Zbl 0943.68092Kahl, Wolfram 4 1999 The term graph programming system HOPS. Zbl 0979.68510Kahl, Wolfram 3 1999 Relational treatment of term graphs with bound variables. Zbl 0892.68051Kahl, Wolfram 2 1998 Internally typed second-order term graphs. Zbl 0918.68086Kahl, Wolfram 1 1998 Relational methods in computer science. Zbl 0871.00027 19 1997 all cited Publications top 5 cited Publications all top 5 Cited by 78 Authors 10 Kahl, Wolfram 8 Berghammer, Rudolf 4 Winter, Michael 3 Fischer, Sebastian 2 Desharnais, Jules 2 Formisano, Andrea 2 Gadducci, Fabio 2 Givant, Steven R. 2 Mili, Ali 2 Montanari, Ugo G. 2 Omodeo, Eugenio Giovanni 2 Pfaltz, John L. 2 Struth, Georg 2 Stucke, Insa 2 Tchier, Fairouz 1 Anand, Christopher Kumar 1 Andréka, Hajnal 1 Armstrong, Alasdair 1 Ayala-Rincón, Mauricio 1 Bonelli, Eduardo 1 Brunet, Paul 1 Bucciarelli, Antonio 1 Cantone, Domenico 1 Carter, Nathan C. 1 Cauderlier, Raphaël 1 Coccia, Matteo 1 Cristiá, Maximiliano 1 Danilenko, Nikita 1 de Freitas, Renata P. 1 de Vrijer, Roel 1 Dershowitz, Nachum 1 Diallo, Nafi 1 Doberkat, Ernst-Erich 1 Dougherty, Daniel J. 1 Dubois, Catherine 1 Edi, Juan 1 Endrullis, Jörg 1 Gadea, Alejandro 1 Ghardallou, Wided 1 Gritzner, Thomas F. 1 Gunther, Emmanuel 1 Gutiérrez, Claudio 1 Guttmann, Walter 1 Hirsch, Robin 1 Höfner, Peter 1 Jamison, Robert E. 1 Joosten, Sebastiaan J. C. 1 Jouannaud, Jean-Pierre 1 Kesner, Delia 1 Klop, Jan Willem 1 König, Harald 1 Maddux, Roger D. 1 Miraldo, Victor Cacciari 1 Moggi, Eugenio 1 Monks, Kenneth G. 1 Németi, István 1 Nicolosi Asmundo, Marianna 1 Oliveira, José Nuno 1 Overbeek, Roy 1 Pagano, Miguel 1 Pous, Damien 1 Ronchi Della Rocca, Simona 1 Rosset, Aloïs 1 Rossi, Gianfranco 1 Schmidt, Gunther 1 Šemrl, Jaš 1 Sharma, Anuroop 1 Simeoni, Marta 1 Tangian, Andranik S. 1 van Oostrom, Vincent 1 Veloso, Paulo Augusto S. 1 Veloso, Sheila R. M. 1 Viana, Petrucio 1 Viso, Andrés 1 von Oheimb, David 1 Weber, Tjark 1 Wolter, Uwe E. 1 Zhao, Yuhang all top 5 Cited in 16 Serials 10 Journal of Logical and Algebraic Methods in Programming 5 Theoretical Computer Science 4 Information Sciences 4 The Journal of Logic and Algebraic Programming 2 Journal of Automated Reasoning 2 Logical Methods in Computer Science 1 Acta Informatica 1 Discrete Mathematics 1 Information Processing Letters 1 Algebra Universalis 1 International Journal of Mathematics and Mathematical Sciences 1 Social Choice and Welfare 1 Journal of Applied Mathematics 1 Discrete and Continuous Dynamical Systems. Series S 1 The Review of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 12 Fields 49 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General topology (54-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year