473 citations · 482 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 9 cited
Milner's Lambda-Calculus with Partial Substitutions
Delia Kesner, Shane Ó Conchúir
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisa…
q-bio.QM2013★ 473 cited
Serverification of Molecular Modeling Applications: the Rosetta Online Server that Includes Everyone (ROSIE)
Sergey Lyskov, Fang-Chieh Chou, Shane Ó Conchúir +14
The Rosetta molecular modeling software package provides experimentally tested and rapidly evolving tools for the 3D structure prediction and high-resolution design of proteins, nu…