Luca Cardelli


Ontology type: schema:Person     


Person Info

NAME

Luca

SURNAME

Cardelli

Publications in SciGraph latest 50 shown

  • 2021-08-19 Lumpability for Uncertain Continuous-Time Markov Chains in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2021-05-27 Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints in SCIENTIFIC REPORTS
  • 2020-09-29 Kaemika App: Integrating Protocols and Chemical Simulation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2019-09-16 From electric circuits to chemical networks in NATURAL COMPUTING
  • 2018-08-24 Experimental Biological Protocols with Formal Semantics in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2018-08-15 Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2018-06-18 Single molecules can operate as primitive biological sensors, switches and oscillators in BMC SYSTEMS BIOLOGY
  • 2018-06-01 Computing with biological switches and clocks in NATURAL COMPUTING
  • 2017-12-22 Chemical reaction network designs for asynchronous logic circuits in NATURAL COMPUTING
  • 2017-12-08 Programming discrete distributions with chemical reaction networks in NATURAL COMPUTING
  • 2017-07-25 Syntactic Markovian Bisimulation for Chemical Reaction Networks in MODELS, ALGORITHMS, LOGICS AND TOOLS
  • 2017-07-13 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2017-03-31 ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-09-04 A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2016-08-14 Chemical Reaction Network Designs for Asynchronous Logic Circuits in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2016-08-14 Programming Discrete Distributions with Chemical Reaction Networks in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2016-08-03 Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2016-04-09 Efficient Syntax-Driven Lumping of Differential Equations in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-02-08 Noise Reduction in Complex Biological Switches in SCIENTIFIC REPORTS
  • 2015-09-02 Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015-07-21 Automated Design and Verification of Localized DNA Computation Circuits in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2014-08-15 Morphisms of reaction networks that couple structure to function in BMC SYSTEMS BIOLOGY
  • 2014-07-21 Lineage grammars: describing, simulating and analyzing population dynamics in BMC BIOINFORMATICS
  • 2013-09-29 Programmable chemical controllers made from DNA in NATURE NANOTECHNOLOGY
  • 2013-01-29 Preface in NATURAL COMPUTING
  • 2013 Stochastic Pi-calculus Revisited in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2013
  • 2012-09-13 The Cell Cycle Switch Computes Approximate Majority in SCIENTIFIC REPORTS
  • 2011 Modular Markovian Logic in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2010-11-27 Strand algebras for DNA computing in NATURAL COMPUTING
  • 2010 Processes in Space in PROGRAMS, PROOFS, PROCESSES
  • 2010 Algebras and Languages for Molecular Programming in UNCONVENTIONAL COMPUTATION
  • 2009-12-22 Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics in BMC SYSTEMS BIOLOGY
  • 2009-08-13 Artificial Biochemistry in ALGORITHMIC BIOPROCESSES
  • 2009 Strand Algebras for DNA Computing in DNA COMPUTING AND MOLECULAR PROGRAMMING
  • 2009 Molecules as Automata in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2008-01-01 Molecules as Automata in COMPUTER SCIENCE LOGIC
  • 2008 Termination Problems in Chemical Kinetics in CONCUR 2008 - CONCURRENCY THEORY
  • 2008-01-01 On the Computational Power of Biochemistry in ALGEBRAIC BIOLOGY
  • 2008-01-01 From Processes to ODEs by Chemistry in FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE – TCS 2008
  • 2007-01-01 Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2007-01-01 An Accidental Simula User in ECOOP 2007 – OBJECT-ORIENTED PROGRAMMING
  • 2006 A Graphical Representation for Biological Processes in the Stochastic pi-Calculus in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII
  • 2006 A Compositional Approach to the Stochastic Dynamics of Gene Networks in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY IV
  • 2005 A Compositional Approach to the Stochastic Dynamics of Gene Networks in CONCUR 2005 – CONCURRENCY THEORY
  • 2005 Biological Systems as Reactive Systems in THEORETICAL COMPUTER SCIENCE
  • 2005 Abstract Machines of Systems Biology in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY III
  • 2005 Brane Calculi in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2004 Greedy Regular Expression Matching in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2003-02-28 Manipulating Trees with Hidden Labels in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2002-09-18 A Spatial Logic for Concurrency (Part II) in CONCUR 2002 — CONCURRENCY THEORY
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.419815.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.431860.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.474602.3", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.24488.32", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.469490.6", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4305.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "Cardelli", 
        "givenName": "Luca", 
        "id": "sg:person.013522516217.56", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-8705-8488"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013522516217.56", 
          "https://orcid.org/0000-0002-8705-8488"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_910.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.013522516217.56'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.013522516217.56'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.013522516217.56'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.013522516217.56'


     

    This table displays all metadata directly associated to this object as RDF triples.

    33 TRIPLES      11 PREDICATES      19 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.013522516217.56 schema:affiliation Nb6b8688590674274a058f93c846d9c57
    2 grid-institutes:grid.24488.32
    3 grid-institutes:grid.419815.0
    4 grid-institutes:grid.4305.2
    5 grid-institutes:grid.431860.8
    6 grid-institutes:grid.469490.6
    7 grid-institutes:grid.474602.3
    8 schema:familyName Cardelli
    9 schema:givenName Luca
    10 schema:identifier Nf0824f0dd2924cddba4c4d0d27b292f0
    11 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013522516217.56
    12 https://orcid.org/0000-0002-8705-8488
    13 schema:sdDatePublished 2022-01-01T19:58
    14 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    15 schema:sdPublisher Nfd16a5ac4b514fd78555c246afb68270
    16 sgo:license sg:explorer/license/
    17 sgo:sdDataset persons
    18 rdf:type schema:Person
    19 Nb6b8688590674274a058f93c846d9c57 schema:affiliation grid-institutes:grid.4991.5
    20 sgo:isCurrent true
    21 rdf:type schema:OrganizationRole
    22 Nf0824f0dd2924cddba4c4d0d27b292f0 schema:name orcid_id
    23 schema:value 0000-0002-8705-8488
    24 rdf:type schema:PropertyValue
    25 Nfd16a5ac4b514fd78555c246afb68270 schema:name Springer Nature - SN SciGraph project
    26 rdf:type schema:Organization
    27 grid-institutes:grid.24488.32 schema:Organization
    28 grid-institutes:grid.419815.0 schema:Organization
    29 grid-institutes:grid.4305.2 schema:Organization
    30 grid-institutes:grid.431860.8 schema:Organization
    31 grid-institutes:grid.469490.6 schema:Organization
    32 grid-institutes:grid.474602.3 schema:Organization
    33 grid-institutes:grid.4991.5 schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...