Luca Cardelli
University of Oxford(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Gene Regulatory Network Analysis, Formal Methods in Verification, Logic, Reasoning, and Knowledge, DNA and Biological Computing
Most-Cited Works
- → On understanding types, data abstraction, and polymorphism(1985)1,672 cited
- → Mobile ambients(2000)1,049 cited
- → A Theory of Objects(1996)1,009 cited
- → A semantics of multiple inheritance(1988)625 cited
- → Programmable chemical controllers made from DNA(2013)498 cited
- → BioAmbients: an abstraction for biological compartments(2004)473 cited
- → A language with distributed scope(1995)392 cited