Wolfram Kahl - RankMe

64 papers B 7C 11Misc 1Journal 15Unranked 27

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Calculational relation-algebraic proofs in the teaching tool CalcCheck. J. Log. Algebraic Methods Program. Wolfram Kahl
2020	—	`conf`	Designing and evaluating new instructions that accelerate sigmoid-based machine learning. CASCON Lucas M. Dutton, Curtis D'Alves, Wolfram Kahl, Robert F. Enenkel, Christopher Kumar Anand
2019	B	`conf`	A language feature to unbundle data at will (short paper). GPCE Musa Al-hassy, Jacques Carette, Wolfram Kahl
2018	—	`conf`	A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. WADT Wolfram Kahl, Yuhang Zhao
2018	B	`conf`	CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math". ITP Wolfram Kahl
2018	C	`conf`	Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck. RAMiCS Wolfram Kahl
2018	—	`conf`	Finite Limits and Anti-unification in Substitution Categories. WADT Wolfram Kahl
2018	—	`conf`	Hardware/software codesign for mathematical function acceleration. CASCON Christopher Kumar Anand, Lucas Dutton, Adele Olejarz, Robert F. Enenkel, Wolfram Kahl
2018	—	`conf`	Semantics-Preserving DPO-Based Term Graph Rewriting. TERMGRAPH@FSCD Wolfram Kahl, Yuhang Zhao
2017	—	`conf`	A Graph Transformation Approach to Introducing Aspects into Software Architectures. MoDELS (Satellite Events) Md Nour Hossain, Wolfram Kahl, Tom Maibaum
2017	C	`conf`	Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. RAMiCS Wolfram Kahl
2016	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2015	C	`conf`	Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. RAMiCS Musa Al-hassy, Wolfram Kahl
2015	C	`ed.`	Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings RAMiCS Wolfram Kahl, Michael Winter, José Nuno Oliveira
2015	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Wolfram Kahl, Timothy G. Griffin, Peter Höfner
2014	C	`conf`	A Mechanised Abstract Formalisation of Concept Lattices. RAMiCS Wolfram Kahl
2014	—	`conf`	A Simple Parallel Implementation of Interaction Nets in Haskell. DCM Wolfram Kahl
2014	—	`conf`	Categories of Coalgebras with Monadic Homomorphisms. CMCS Wolfram Kahl
2014	J	`jnl`	Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Wolfram Kahl
2014	C	`ed.`	Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2014	J	`jnl`	Towards "mouldable code" via nested code graph transformation. J. Log. Algebraic Methods Program. Wolfram Kahl
2012	C	`conf`	Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. FMICS Victor Bandur, Wolfram Kahl, Alan Wassyng
2012	C	`ed.`	Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings RAMiCS Wolfram Kahl, Timothy G. Griffin
2012	C	`conf`	Towards Certifiable Implementation of Graph Transformation via Relation Categories. RAMiCS Wolfram Kahl
2011	J	`jnl`	Collagories: Relation-algebraic reasoning for gluing constructions. J. Log. Algebraic Methods Program. Wolfram Kahl
2011	C	`conf`	Dependently-Typed Formalisation of Relation-Algebraic Abstractions. RAMiCS Wolfram Kahl
2011	—	`conf`	Dependently-Typed Formalisation of Typed Term Graphs TERMGRAPH Wolfram Kahl
2011	B	`conf`	The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". CPP Wolfram Kahl
2010	B	`conf`	Amalgamating Pushout and Pullback Graph Transformation in Collagories. ICGT Wolfram Kahl
2010	J	`jnl`	Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Wolfram Kahl
2010	J	`jnl`	Determinisation of relational substitutions in ordered categories with domain. J. Log. Algebraic Methods Program. Wolfram Kahl
2009	J	`jnl`	A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Scott West, Wolfram Kahl
2009	J	`jnl`	An Optimized Cell BE Special Function Library Generated by Coconut. IEEE Trans. Computers Christopher Kumar Anand, Wolfram Kahl
2009	—	`conf`	Collagories for Relational Adhesive Rewriting. RelMiCS Wolfram Kahl
2009	—	`conf`	Haskell Module Tools for Liberating Type Class Design. Trends in Functional Programming Wolfram Kahl
2008	—	`conf`	Determinisation of Relational Substitutions in Ordered Categories with Domain. RelMiCS Wolfram Kahl
2008	J	`jnl`	Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. J. Log. Algebraic Methods Program. Wolfram Kahl
2007	—	`conf`	Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code. AGTIVE Christopher Kumar Anand, Wolfram Kahl
2007	—	`conf`	MultiLoop: efficient software pipelining for modern hardware. CASCON Christopher Kumar Anand, Wolfram Kahl
2006	B	`conf`	Bimonadic Semantics for Basic Pattern Matching Calculi. MPC Wolfram Kahl, Jacques Carette, Xiaoheng Ji
2006	—	`conf`	Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell. RelMiCS Wolfram Kahl
2005	—	`conf`	Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
2004	Misc	`conf`	Basic Pattern Matching Calculi: a Fresh View on Matching Failure. FLOPS Wolfram Kahl
2003	—	`conf`	Calculational Relation-Algebraic Proofs in Isabelle/Isar. RelMiCS Wolfram Kahl
2002	—	`conf`	Inequational Deduction as Term Graph Rewriting. TERMGRAPH Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König
2001	—	`conf`	A Relation-Algebraic Approach to Graph Structure Transformation. RelMiCS Wolfram Kahl
2001	J	`jnl`	Declarative Term Graph Attribution for Program Generation. J. Univers. Comput. Sci. Wolfram Kahl, Frank Derichsweiler
2001	—	`ed.`	First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001 RelMiS Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2001	J	`jnl`	Parallel composition and decomposition of specifications. Inf. Sci. Wolfram Kahl
2001	—	`conf`	Refinement and Development of Programs from Relational Specifications. RelMiS Wolfram Kahl
2001	—	`conf`	RelMiS 2001 - Preface. RelMiS Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2001	—	`conf`	Software Evolution via Hierarchical Hypergraphs with Flexible Coverage. FFSE@CSMR Wolfram Kahl
2000	—	`conf`	Unsharp Demonic Products and Stratified Term Graphs. RelMiCS Wolfram Kahl
1999	C	`conf`	Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. PADL Wolfram Kahl
1999	J	`jnl`	Relational Matching for Graphical Calculi of Relations. Inf. Sci. Wolfram Kahl
1998	—	`conf`	Demonic diagrams - towards a graphical refinement calculus. RelMiCS Wolfram Kahl
1998	B	`conf`	Interally Typed Second-Order Term Graphs. WG Wolfram Kahl
1998	J	`jnl`	Relational Treatment of Term Graphs With Bound Variables. Log. J. IGPL Wolfram Kahl
1998	—	`conf`	The Term Graph Programming System HOPS. Tool Support for System Specification, Development and Verification Wolfram Kahl
1997	—	`conf`	Relational Matching for Graphical Calculi of Relations. RelMiCS Wolfram Kahl
1997	—	`book`	Relational Methods in Computer Science. Chris Brink, Wolfram Kahl, Gunther Schmidt
1996	B	`conf`	Algebraic Graph Derivations for Graphical Calculi. WG Wolfram Kahl
1996	—	`book`	Algebraische Termgraphersetzung mit gebundenen Variablen. Wolfram Kahl
1994	—	`conf`	Can Functional Programming Be Liberated from the Applicative Style? IFIP Congress (1) Wolfram Kahl