Lino Gerlach

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Database Engine

Sufficient Conditions

Data Abstraction

Top Venues

Publications

Ruslan Mashinistov, Lino Gerlach, Paul Laycock, Andrea Formica, Giacomo Govi, Chris Pinkenburg
The HSF Conditions Database Reference Implementation. CoRR (2024)