output
20022010
most citedCritical Casimir force in He films: confirmation of finite-size scaling

132 citations

researchers with a paper here
collaborating institutions
Showing cs.DBShow all

1 paper · 1 filter

cs.DB2010★ 2 cited

An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

Daniel J. Dougherty

Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler, Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that co…