Luca Cardelli
Molecular Biology · 2000–2013
A researcher in the Science corpus: 5 papers; trusts 11 researchers and is trusted by 7 researchers here, as inferred from the citation graph.
Subfields
- Molecular Biology — 32 citations into it; #7,113 of 17,773 by trust here, #13,891 by citations
- Computational Theory and Mathematics — 9 citations into it
- Artificial Intelligence — 7 citations into it; #16,783 of 35,345 by trust here, #28,481 by citations
- Ecology — 5 citations into it
Whom Luca Cardelli trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Luca Cardelli overall
Papers from Luca Cardelli's perspective
Ordered by how strongly the researchers Luca Cardelli trusts endorse each paper. Same corpus, a different order for every researcher.
- Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
- Communicating and Mobile Systems: the π-calculus,
- Bigraphical Reactive Systems (International Conference on Concurrency Theory)
- BIND: the Biomolecular Interaction Network Database (Nucleic Acids Res.)
- Nominal Logic: A First Order Theory of Names and Binding (Theoretical Aspects of Computer Software)
- A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
- Central nervous system control of food intake (Nature)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Information Processing Letters)
- Membrane Computing (Natural Computing Series)
- The TRANSFAC system on gene expression regulation (Nucleic Acids Res.)
Their papers
- BioAmbients: an abstraction for biological compartments (2004) — 548 citations
- Programmable chemical controllers made from DNA (2013) — 488 citations
- Brane Calculi (2004) — 362 citations
- A spatial logic for concurrency (part I) (2003) — 295 citations
- Anytime, anywhere: modal logics for mobile ambients (2000) — 401 citations