default search action
Wolfram Kahl
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j15]Wolfram Kahl
:
Calculational relation-algebraic proofs in the teaching tool CalcCheck. J. Log. Algebraic Methods Program. 117: 100581 (2020) - [c43]Lucas M. Dutton, Curtis D'Alves, Wolfram Kahl, Robert F. Enenkel, Christopher Kumar Anand:
Designing and evaluating new instructions that accelerate sigmoid-based machine learning. CASCON 2020: 189-197
2010 – 2019
- 2019
- [c42]Musa Al-hassy, Jacques Carette, Wolfram Kahl:
A language feature to unbundle data at will (short paper). GPCE 2019: 14-19 - 2018
- [c41]Wolfram Kahl
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. RAMiCS 2018: 366-384 - [c40]Christopher Kumar Anand, Lucas Dutton, Adele Olejarz, Robert F. Enenkel, Wolfram Kahl:
Hardware/software codesign for mathematical function acceleration. CASCON 2018: 168-177 - [c39]Wolfram Kahl:
CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math". ITP 2018: 324-341 - [c38]Wolfram Kahl
Finite Limits and Anti-unification in Substitution Categories. WADT 2018: 87-102 - [c37]Wolfram Kahl
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. WADT 2018: 103-118 - [c36]Wolfram Kahl, Yuhang Zhao:
Semantics-Preserving DPO-Based Term Graph Rewriting. TERMGRAPH@FSCD 2018: 26-37 - 2017
- [c35]Wolfram Kahl:
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. RAMiCS 2017: 193-208 - [c34]Md Nour Hossain, Wolfram Kahl, Tom Maibaum:
A Graph Transformation Approach to Introducing Aspects into Software Architectures. MoDELS (Satellite Events) 2017: 54-63 - 2016
- [j14]Peter Höfner, Peter Jipsen
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 85(4): 447-448 (2016) - 2015
- [j13]Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84(3): 283-284 (2015) - [c33]Musa Al-hassy, Wolfram Kahl:
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. RAMiCS 2015: 151-168 - [e5]Wolfram Kahl, Michael Winter
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 9348, Springer 2015, ISBN 978-3-319-24703-8 [contents] - 2014
- [j12]Wolfram Kahl:
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014) - [j11]Wolfram Kahl:
Towards "mouldable code" via nested code graph transformation. J. Log. Algebraic Methods Program. 83(2): 225-234 (2014) - [c32]Wolfram Kahl:
A Mechanised Abstract Formalisation of Concept Lattices. RAMiCS 2014: 242-260 - [c31]Wolfram Kahl:
Categories of Coalgebras with Monadic Homomorphisms. CMCS 2014: 151-167 - [c30]Wolfram Kahl:
A Simple Parallel Implementation of Interaction Nets in Haskell. DCM 2014: 33-47 - [e4]Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Lecture Notes in Computer Science 8428, Springer 2014, ISBN 978-3-319-06250-1 [contents] - 2012
- [c29]Wolfram Kahl:
Towards Certifiable Implementation of Graph Transformation via Relation Categories. RAMiCS 2012: 82-97 - [c28]Victor Bandur, Wolfram Kahl, Alan Wassyng:
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS 2012: 63-77 - [e3]Wolfram Kahl, Timothy G. Griffin:
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 [contents] - 2011
- [j10]Wolfram Kahl:
Collagories: Relation-algebraic reasoning for gluing constructions. J. Log. Algebraic Methods Program. 80(6): 297-338 (2011) - [c27]Wolfram Kahl:
Dependently-Typed Formalisation of Relation-Algebraic Abstractions. RAMiCS 2011: 230-247 - [c26]Wolfram Kahl:
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". CPP 2011: 216-230 - [c25]Wolfram Kahl:
Dependently-Typed Formalisation of Typed Term Graphs. TERMGRAPH 2011: 38-53 - 2010
- [j9]Wolfram Kahl:
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j8]Wolfram Kahl:
Determinisation of relational substitutions in ordered categories with domain. J. Log. Algebraic Methods Program. 79(8): 812-829 (2010) - [c24]Wolfram Kahl:
Amalgamating Pushout and Pullback Graph Transformation in Collagories. ICGT 2010: 362-378
2000 – 2009
- 2009
- [j7]Scott West, Wolfram Kahl:
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j6]Christopher Kumar Anand
An Optimized Cell BE Special Function Library Generated by Coconut. IEEE Trans. Computers 58(8): 1126-1138 (2009) - [c23]Wolfram Kahl:
Collagories for Relational Adhesive Rewriting. RelMiCS 2009: 211-226 - [c22]Wolfram Kahl:
Haskell Module Tools for Liberating Type Class Design. Trends in Functional Programming 2009: 129-144 - 2008
- [j5]Wolfram Kahl:
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. J. Log. Algebraic Methods Program. 76(1): 60-89 (2008) - [c21]Wolfram Kahl:
Determinisation of Relational Substitutions in Ordered Categories with Domain. RelMiCS 2008: 243-258 - 2007
- [c20]Christopher Kumar Anand, Wolfram Kahl:
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE 2007: 217-232 - [c19]Christopher Kumar Anand
MultiLoop: efficient software pipelining for modern hardware. CASCON 2007: 260-263 - 2006
- [c18]Wolfram Kahl:
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. RelMiCS 2006: 235-250 - [c17]Wolfram Kahl, Jacques Carette
Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273 - 2005
- [c16]Wolfram Kahl, Christopher Kumar Anand
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160 - 2004
- [c15]Wolfram Kahl:
Basic Pattern Matching Calculi: a Fresh View on Matching Failure. FLOPS 2004: 276-290 - 2003
- [c14]Wolfram Kahl:
Calculational Relation-Algebraic Proofs in Isabelle/Isar. RelMiCS 2003: 178-190 - 2002
- [c13]Andrea Corradini
Inequational Deduction as Term Graph Rewriting. TERMGRAPH 2002: 31-44 - 2001
- [j4]Wolfram Kahl:
Parallel composition and decomposition of specifications. Inf. Sci. 139(3-4): 197-220 (2001) - [j3]Wolfram Kahl, Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation. J. Univers. Comput. Sci. 7(1): 54-70 (2001) - [c12]Wolfram Kahl:
A Relation-Algebraic Approach to Graph Structure Transformation. RelMiCS 2001: 1-14 - [c11]Wolfram Kahl:
Software Evolution via Hierarchical Hypergraphs with Flexible Coverage. FFSE@CSMR 2001: 1-4 - [c10]Wolfram Kahl:
Refinement and Development of Programs from Relational Specifications. RelMiS 2001: 51-93 - [c9]Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
RelMiS 2001 - Preface. RelMiS 2001: 221-223 - [e2]Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 [contents] - 2000
- [c8]Wolfram Kahl:
Unsharp Demonic Products and Stratified Term Graphs. RelMiCS 2000: 165-174
1990 – 1999
- 1999
- [j2]Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations. Inf. Sci. 119(3-4): 253-273 (1999) - [c7]Wolfram Kahl:
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. PADL 1999: 76-90 - 1998
- [j1]Wolfram Kahl:
Relational Treatment of Term Graphs With Bound Variables. Log. J. IGPL 6(2): 259-303 (1998) - [c6]Wolfram Kahl:
Demonic diagrams - towards a graphical refinement calculus. RelMiCS 1998: 117-121 - [c5]Wolfram Kahl:
The Term Graph Programming System HOPS. Tool Support for System Specification, Development and Verification 1998: 136-149 - [c4]Wolfram Kahl:
Interally Typed Second-Order Term Graphs. WG 1998: 149-163 - 1997
- [c3]Wolfram Kahl:
Relational Matching for Graphical Calculi of Relations. RelMiCS 1997: 91-100 - [e1]Chris Brink, Wolfram Kahl, Gunther Schmidt:
Relational Methods in Computer Science. Advances in computing science, Springer 1997, ISBN 978-3-211-82971-4 [contents] - 1996
- [b1]Wolfram Kahl:
Algebraische Termgraphersetzung mit gebundenen Variablen. Bundeswehr University Munich, Neubiberg (Munich), Germany, Informatik, Utz 1996, ISBN 978-3-931327-60-6, pp. I-VIII, 1-152 - [c2]Wolfram Kahl:
Algebraic Graph Derivations for Graphical Calculi. WG 1996: 224-238 - 1994
- [c1]Wolfram Kahl:
Can Functional Programming Be Liberated from the Applicative Style? IFIP Congress (1) 1994: 330-335
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: