A compiler for variational forms RC Kirby, A Logg ACM Transactions on Mathematical Software (TOMS) 32 (3), 417-444, 2006 | 209 | 2006 |

Algorithm 839: FIAT, a new paradigm for computing finite element basis functions RC Kirby ACM Transactions on Mathematical Software (TOMS) 30 (4), 502-516, 2004 | 161 | 2004 |

Efficient Assembly of and Conforming Finite Elements ME Rognes, RC Kirby, A Logg SIAM Journal on Scientific Computing 31 (6), 4130-4151, 2010 | 116 | 2010 |

High resolution schemes for conservation laws with locally varying time steps C Dawson, R Kirby SIAM Journal on Scientific Computing 22 (6), 2256-2281, 2001 | 114 | 2001 |

The fenics project T Dupont, J Hoffman, C Johnson, RC Kirby, MG Larson, A Logg, LR Scott Chalmers Finite Element Centre, Chalmers University of Technology, 2003 | 72 | 2003 |

Optimizing the evaluation of finite element matrices RC Kirby, M Knepley, A Logg, LR Scott SIAM Journal on Scientific Computing 27 (3), 741-758, 2005 | 70 | 2005 |

Unified embedded parallel finite element computations via software-based Fréchet differentiation K Long, R Kirby, B van Bloemen Waanders SIAM Journal on Scientific Computing 32 (6), 3323-3351, 2010 | 66 | 2010 |

Efficient compilation of a class of variational forms RC Kirby, A Logg ACM Transactions on Mathematical Software (TOMS) 33 (3), 17-es, 2007 | 64 | 2007 |

From functional analysis to iterative methods RC Kirby SIAM review 52 (2), 269-293, 2010 | 53 | 2010 |

FIAT: numerical construction of finite element basis functions RC Kirby Automated solution of differential equations by the finite element method …, 2012 | 47 | 2012 |

Topological optimization of the evaluation of finite element matrices RC Kirby, A Logg, LR Scott, AR Terrel SIAM Journal on Scientific Computing 28 (1), 224-240, 2006 | 39 | 2006 |

Solver composition across the PDE/linear algebra barrier RC Kirby, L Mitchell SIAM Journal on Scientific Computing 40 (1), C76-C98, 2018 | 35 | 2018 |

Fast simplicial finite element algorithms using Bernstein polynomials RC Kirby Numerische Mathematik 117 (4), 631-652, 2011 | 35 | 2011 |

On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws R Kirby Mathematics of computation 72 (243), 1239-1250, 2003 | 35 | 2003 |

Solving pdes with intrepid P Bochev, HC Edwards, RC Kirby, K Peterson, D Ridzal Scientific Programming 20 (2), 151-180, 2012 | 26 | 2012 |

Geometric optimization of the evaluation of finite element matrices RC Kirby, L Ridgway Scott SIAM Journal on Scientific Computing 29 (2), 827-841, 2007 | 24 | 2007 |

Optimizing FIAT with level 3 BLAS RC Kirby ACM Transactions on Mathematical Software (TOMS) 32 (2), 223-235, 2006 | 24 | 2006 |

Fast simplicial quadrature-based finite element operators using Bernstein polynomials RC Kirby, KT Thinh Numerische Mathematik 121 (2), 261-279, 2012 | 23 | 2012 |

Benchmarking domain-specific compiler optimizations for variational forms RC Kirby, A Logg ACM Transactions on Mathematical Software (TOMS) 35 (2), 1-18, 2008 | 23 | 2008 |

Exposing and exploiting structure: optimal code generation for high-order finite element methods M Homolya, RC Kirby, DA Ham arXiv preprint arXiv:1711.02473, 2017 | 22 | 2017 |