Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Wolfram Kahl

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl12
- ask others
Wolfram Kahl: Towards Certifiable Implementation of Graph Transformation via Relation Categories. RAMICS 2012: 82-97
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmics/BandurKW12
- ask others
Victor Bandur, Wolfram Kahl, Alan Wassyng: Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS 2012: 63-77
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/2012
- ask others
Wolfram Kahl, Timothy G. Griffin (Eds.): Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7560, Springer 2012, ISBN 978-3-642-33313-2
2011
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Kahl11
- ask others
Wolfram Kahl: Collagories: Relation-algebraic reasoning for gluing constructions. J. Log. Algebr. Program. 80(6): 297-338 (2011)
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl11
- ask others
Wolfram Kahl: Dependently-Typed Formalisation of Relation-Algebraic Abstractions. RAMICS 2011: 230-247
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpp/Kahl11
- ask others
Wolfram Kahl: The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". CPP 2011: 216-230
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1102-2653
- ask others
Wolfram Kahl: Dependently-Typed Formalisation of Typed Term Graphs. TERMGRAPH 2011: 38-53
2010
[j12]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Kahl10
- ask others
Wolfram Kahl: Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories. ECEASST 29 (2010)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Kahl10
- ask others
Wolfram Kahl: Determinisation of relational substitutions in ordered categories with domain. J. Log. Algebr. Program. 79(8): 812-829 (2010)
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/Kahl10
- ask others
Wolfram Kahl: Amalgamating Pushout and Pullback Graph Transformation in Collagories. ICGT 2010: 362-378

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j10]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/WestK09
- ask others
Scott West, Wolfram Kahl: A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. ECEASST 18 (2009)
[j9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/AnandK09
- ask others
Christopher Kumar Anand, Wolfram Kahl: An Optimized Cell BE Special Function Library Generated by Coconut. IEEE Trans. Computers 58(8): 1126-1138 (2009)
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl09
- ask others
Wolfram Kahl: Collagories for Relational Adhesive Rewriting. RelMiCS 2009: 211-226
[c17]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sfp/Kahl09
- ask others
Wolfram Kahl: Haskell Module Tools for Liberating Type Class Design. Trends in Functional Programming 2009: 129-144
2008
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Kahl08
- ask others
Wolfram Kahl: Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. J. Log. Algebr. Program. 76(1): 60-89 (2008)
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl08
- ask others
Wolfram Kahl: Determinisation of Relational Substitutions in Ordered Categories with Domain. RelMiCS 2008: 243-258
2007
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CorradiniGKK07
- ask others
Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/agtive/AnandK07
- ask others
Christopher Kumar Anand, Wolfram Kahl: Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE 2007: 217-232
[c14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cascon/AnandK07
- ask others
Christopher Kumar Anand, Wolfram Kahl: MultiLoop: efficient software pipelining for modern hardware. CASCON 2007: 260-263
2006
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl06
- ask others
Wolfram Kahl: Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. RelMiCS 2006: 235-250
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/KahlCJ06
- ask others
Wolfram Kahl, Jacques Carette, Xiaoheng Ji: Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273
2005
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/KahlAC05
- ask others
Wolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160
2004
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Kahl04
- ask others
Wolfram Kahl: Basic Pattern Matching Calculi: a Fresh View on Matching Failure. FLOPS 2004: 276-290
2003
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl03
- ask others
Wolfram Kahl: Calculational Relation-Algebraic Proofs in Isabelle/Isar. RelMiCS 2003: 178-190
2001
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Kahl01
- ask others
Wolfram Kahl: Refinement and Development of Programs from Relational Specifications. Electr. Notes Theor. Comput. Sci. 44(3): 51-93 (2001)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KahlPS01
- ask others
Wolfram Kahl, David Lorge Parnas, Gunther Schmidt: RelMiS 2001 - Preface. Electr. Notes Theor. Comput. Sci. 44(3): 221-223 (2001)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isci/Kahl01
- ask others
Wolfram Kahl: Parallel composition and decomposition of specifications. Inf. Sci. 139(3-4): 197-220 (2001)
[j3]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/KahlD01
- ask others
Wolfram Kahl, Frank Derichsweiler: Declarative Term Graph Attribution for Program Generation. J. UCS 7(1): 54-70 (2001)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl01
- ask others
Wolfram Kahl: A Relation-Algebraic Approach to Graph Structure Transformation. RelMiCS 2001: 1-14
2000
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl00
- ask others
Wolfram Kahl: Unsharp Demonic Products and Stratified Term Graphs. RelMiCS 2000: 165-174

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/isci/Kahl99
- ask others
Wolfram Kahl: Relational Matching for Graphical Calculi of Relations. Inf. Sci. 119(3-4): 253-273 (1999)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/padl/Kahl99
- ask others
Wolfram Kahl: Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. PADL 1999: 76-90
1998
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/igpl/Kahl98
- ask others
Wolfram Kahl: Relational Treatment of Term Graphs With Bound Variables. Logic Journal of the IGPL 6(2): 259-303 (1998)
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl98
- ask others
Wolfram Kahl: Demonic diagrams - towards a graphical refinement calculus. RelMiCS 1998: 117-121
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wg/Kahl98
- ask others
Wolfram Kahl: Interally Typed Second-Order Term Graphs. WG 1998: 149-163
1997
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/RelMiCS/Kahl97
- ask others
Wolfram Kahl: Relational Matching for Graphical Calculi of Relations. RelMiCS 1997: 91-100
1996
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0084405
- ask others
Wolfram Kahl: Algebraische Termgraphersetzung mit gebundenen Variablen. Informatik, Utz 1996, ISBN 978-3-931327-60-6, pp. I-VIII, 1-152
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wg/Kahl96
- ask others
Wolfram Kahl: Algebraic Graph Derivations for Graphical Calculi. WG 1996: 224-238
1994
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/Kahl94
- ask others
Wolfram Kahl: Can Functional Programming Be Liberated from the Applicative Style? IFIP Congress (1) 1994: 330-335