BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Luca Cardelli
SearchCollections
Map detail
Luca Cardelli12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLuca CardelliALuca CardelliResearcherExact maximal reduction of stochastic reaction networks by species lumpingWExact maximal reduction...preprint / 2021Digital Social Contracts: A Foundation for an Egalitarian and Just Digital SocietyWDigital Social Contract...preprint / 2020Kaemika app, Integrating protocols and chemical simulationWKaemika app, Integratin...preprint / 2020Two-Domain DNA Strand DisplacementWTwo-Domain DNA Strand D...preprint / 2010Reversibility in Massive Concurrent SystemsWReversibility in Massiv...preprint / 2011Forward and Backward Bisimulations for Chemical Reaction NetworksWForward and Backward Bi...preprint / 2015From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculusWFrom X to Pi; Represent...preprint / 2011Continuous Markovian Logics - Axiomatization and Quantified MetatheoryWContinuous Markovian Lo...preprint / 2012Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationWStochastic Analysis of ...preprint / 2015Adversarial Robustness Guarantees for Classification with Gaussian ProcessesWAdversarial Robustness ...preprint / 2020Safety Guarantees for Planning Based on Iterative Gaussian ProcessesWSafety Guarantees for P...preprint / 2020
Person11 links

Luca Cardelli

Researcher

PaperExact maximal reduction of stochastic reaction networks by species lumpingAuthorship / preprint / 2021PaperDigital Social Contracts: A Foundation for an Egalitarian and Just Digital SocietyAuthorship / preprint / 2020PaperKaemika app, Integrating protocols and chemical simulationAuthorship / preprint / 2020PaperTwo-Domain DNA Strand DisplacementAuthorship / preprint / 2010PaperReversibility in Massive Concurrent SystemsAuthorship / preprint / 2011PaperForward and Backward Bisimulations for Chemical Reaction NetworksAuthorship / preprint / 2015PaperFrom X to Pi; Representing the Classical Sequent Calculus in the Pi-calculusAuthorship / preprint / 2011PaperContinuous Markovian Logics - Axiomatization and Quantified MetatheoryAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)