E-LIB Suche - Ergebnisse für: Cardelli, Luca

1

AC-BioSD: A Biomolecular Signal Differentiator Module With ..:

Alexis, Emmanouil ; Avalos, José L. ; Cardelli, Luca.
IEEE Control Systems Letters. 8 (2024) - p. 514-519 , 2024

2

Formal lumping of polynomial differential equations through..:

Cardelli, Luca ; Squillace, Giuseppe ; Tribastone, Mirco..
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100876 , 2023

Link: https://doi.org/10.1016/..

3

Algorithmic Minimization of Uncertain Continuous-Time Marko..:

Cardelli, Luca ; Grosu, Radu ; Larsen, Kim Guldstrand...
IEEE Transactions on Automatic Control. 68 (2023) 11 - p. 6557-6572 , 2023

Link: https://doi.org/10.1109/..

4

Sequenceable Event Recorders:

, In: Natural Computing Series; Visions of DNA Nanotechnology at 40 for the Next 40,

Cardelli, Luca - p. 295-310 , 2023

Link: https://doi.org/10.1007/..

5

PID Control of Biochemical Reaction Networks:

Whitby, Max ; Cardelli, Luca ; Kwiatkowska, Marta...
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 1023-1030 , 2022

Link: https://doi.org/10.1109/..

6

A Language for Modeling and Optimizing Experimental Biologi..:

Cardelli, Luca ; Kwiatkowska, Marta ; Laurenti, Luca
Computation. 9 (2021) 10 - p. 107 , 2021

Link: https://doi.org/10.3390/..

7

Lumpability for Uncertain Continuous-Time Markov Chains:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Cardelli, Luca ; Grosu, Radu ; Larsen, Kim G.... - p. 391-409 , 2021

Link: https://doi.org/10.1007/..

8

Integrated scientific modeling and lab automation (keynote):

, In: Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,

Cardelli, Luca - p. 1 ff. , 2021

Link: https://dl.acm.org/doi/1..

9

Biomolecular mechanisms for signal differentiation:

Alexis, Emmanouil ; Schulte, Carolin C.M. ; Cardelli, Luca.
iScience. 24 (2021) 12 - p. 103462 , 2021

Link: https://doi.org/10.1016/..

10

Evolution of opposing regulatory interactions underlies the..:

Hernansaiz-Ballesteros, Rosa D. ; Földi, Csenge ; Cardelli, Luca..
Scientific Reports. 11 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

11

The Beacon Calculus: A formal method for the flexible and c..:

Boemo, Michael A. ; Cardelli, Luca ; Nieduszynski, Conrad A..
PLOS Computational Biology. 16 (2020) 3 - p. e1007651 , 2020

Link: https://doi.org/10.1371/..

12

Safety Guarantees for Iterative Predictions with Gaussian P..:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Polymenakos, Kyriakos ; Laurenti, Luca ; Patane, Andrea... - p. 3187-3193 , 2020

Link: https://doi.org/10.1109/..

13

Coupled membrane transporters reduce noise:

Cardelli, Luca ; Laurenti, Luca ; Csikasz-Nagy, Attila
Physical Review E. 101 (2020) 1 - p. , 2020

Link: https://doi.org/10.1103/..

14

Uncertainty Quantification with Statistical Guarantees in E..:

, In: 2020 IEEE International Conference on Robotics and Automation (ICRA),

Michelmore, Rhiannon ; Wicker, Matthew ; Laurenti, Luca... - p. 7344-7350 , 2020

Link: https://doi.org/10.1109/..

15

Kaemika App: Integrating Protocols and Chemical Simulation:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Cardelli, Luca - p. 373-379 , 2020

Link: https://doi.org/10.1007/..