P185
A peptide filtering relation quantifies MHC class I peptide optimizationPhosphorelays provide tunable signal processing capabilities for the cellTranscriptional regulation is a major controller of cell cycle transition dynamicsNoise Reduction in Complex Biological Switches.Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics.Lineage grammars: describing, simulating and analyzing population dynamics.Programming chemistry in DNA-addressable bioreactors.Morphisms of reaction networks that couple structure to function.Efficient Switches in Biology and Computer Science.Abstractions for DNA circuit design.A programming language for composable DNA circuits.Programmable chemical controllers made from DNA.Design and analysis of DNA strand displacement devices using probabilistic model checking.Unlimited multistability and Boolean logic in microbial signallingResponse dynamics of phosphorelays suggest their potential utility in cell signalling.Gener: a minimal programming module for chemical controllers based on DNA strand displacementThe cell cycle switch computes approximate majority.Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation.Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.Maximal aggregation of polynomial dynamical systems.Chemical reaction network designs for asynchronous logic circuits.The Formal Language and Design Principles of Autonomous DNA Walker Circuits.Programming discrete distributions with chemical reaction networks.On understanding types, data abstraction, and polymorphismA semantics of multiple inheritanceAn algebraic approach to hardware description and verificationAn Extension of System F with SubtypingComparing chemical reaction networks: A categorical and algorithmic perspectiveERODE: A Tool for the Evaluation and Reduction of Ordinary Differential EquationsSyntactic Markovian Bisimulation for Chemical Reaction NetworksSyntax-Guided Optimal Synthesis for Chemical Reaction NetworksA Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise ApproximationApproximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise ApproximationChemical Reaction Network Designs for Asynchronous Logic CircuitsComparing Chemical Reaction NetworksEfficient Syntax-Driven Lumping of Differential EquationsProgramming Discrete Distributions with Chemical Reaction NetworksSymbolic computation of differential equivalencesAutomated Design and Verification of Localized DNA Computation CircuitsStochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
P50
Q21092515-8552EA64-61CA-49E5-A9A6-67079A53EF07Q28534913-47EA904E-69C7-4771-8B3D-7C33CAF5AEA2Q28740288-4DD99804-83FB-41E9-87A2-9163B7359205Q30708248-445FD0CE-9016-4D6C-A2DC-FFA3ABECC097Q33520378-08F6A30E-ABA4-4539-B640-F09642E84546Q34467950-CB025965-8DB1-4FB7-8DB3-67143E78771FQ34521077-CC9B4892-2C74-4C1F-A082-90BE70E4BB0DQ35226041-7439A505-9131-45C4-B5A7-C2D3BAB7E332Q36240474-98D2E321-21AC-4C8B-9CD7-45CAB9C48D8FQ38487623-068876FE-0265-4AA9-B051-831742BC983BQ39757237-4A23F8BD-AE01-4086-88DC-7202C9A31D16Q41776317-37AA6AFB-AF13-418A-A3F5-15033AD79C7AQ42112000-9ADF9BF8-0D13-454C-96D4-3D177ABF1B18Q42256635-D9FD3F2B-B6F6-42B9-8B10-BF309BE11836Q42701156-52CF9D8D-8294-4D5C-86FB-05ECA236945DQ42705078-4A07FDAE-F18E-4779-84A4-635FDA3B18C2Q43082538-9FE3DDFD-2A9F-4FCC-9EBC-AD423D120B2DQ43182528-61EF0C91-55C1-41FC-BDF2-FD991368E847Q46444951-C37D3693-FE65-4AA1-B493-C3A1E93CB216Q47697800-AF23C103-67EE-4283-A974-3FE0B3158104Q51556389-927C7258-6666-4ABA-A40F-4483F9982199Q51571906-C540BC21-48E9-4DC0-9FE9-268D618EEEA1Q53426030-80167D5B-C5F5-4C90-93E5-2F034735FEFFQ55872704-809BBB01-9E98-4E31-9322-B216FAABC0B9Q56448740-A8F7AC20-6D45-41C0-A9F1-F072DA6C627DQ56457429-5C6C2B2A-24DB-412A-B426-D60B5101DCE6Q56518661-4A43FEA8-403D-4572-ADF4-C0D250CE3D3DQ56981771-44617CE8-4726-4FE1-9A7D-36CB2EFCAF7EQ56981777-CACD72BE-AABB-4507-89E8-250C672E09C9Q56981790-48A3D752-22A4-443E-92DF-10CA3EED1858Q56981797-5B1DC1EE-5311-4D9F-BEAE-5CF85D73A771Q56981803-52623C2F-D73F-4A06-9C3F-E962604A38A8Q56981808-1AB81779-2A7F-4528-8AC3-4E240E1C798DQ56981813-62281EC4-F716-4357-AF4E-9722220E6FBDQ56981820-729C1809-1FF0-4734-A8ED-B10AA399EEF2Q56981825-50E6B65C-7662-4424-B3B3-C409FADE477FQ56981832-50DB7582-9649-40C5-8179-00158621FAFCQ56981841-DBC87940-0431-4625-86F1-4C0FAB2AC92EQ56981847-37049779-FADE-4252-8720-2A5F87ECB057Q56981856-5AA0E586-F09C-430F-8A69-219E82C5BFD6
P50
subject
description
Italiaans informaticus
@nl
Italian computer scientist
@en
italienischer Ingenieur und Informatiker
@de
ríomheolaí Iodálach
@ga
دانشمند علوم کامپیوتر و مهندس ایتالیایی
@fa
عالم حاسوب إيطاليّ
@ar
name
Luca Cardelli
@ast
Luca Cardelli
@ca
Luca Cardelli
@de
Luca Cardelli
@en
Luca Cardelli
@es
Luca Cardelli
@fr
Luca Cardelli
@ga
Luca Cardelli
@it
Luca Cardelli
@nl
Luca Cardelli
@sl
type
label
Luca Cardelli
@ast
Luca Cardelli
@ca
Luca Cardelli
@de
Luca Cardelli
@en
Luca Cardelli
@es
Luca Cardelli
@fr
Luca Cardelli
@ga
Luca Cardelli
@it
Luca Cardelli
@nl
Luca Cardelli
@sl
altLabel
卢卡·卡代利
@zh
卢卡·卡代利
@zh-hans
盧卡·卡代利
@zh-hant
prefLabel
Luca Cardelli
@ast
Luca Cardelli
@ca
Luca Cardelli
@de
Luca Cardelli
@en
Luca Cardelli
@es
Luca Cardelli
@fr
Luca Cardelli
@ga
Luca Cardelli
@it
Luca Cardelli
@nl
Luca Cardelli
@sl