E-LIB Suche - Ergebnisse für: Aceto, Anna

1

New patient privacy curtains to provide passive infection p..:

Nelson, Nicole M. ; Aceto, Anna ; West, Gordon F.
Infection Prevention in Practice. 5 (2023) 3 - p. 100291 , 2023

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

2

New patient privacy curtains to provide passive infection p..:

Nelson, Nicole M ; Aceto, Anna ; West, Gordon F
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10315769/. , 2023

Link: http://www.ncbi.nlm.nih...

3

New patient privacy curtains to provide passive infection p..:

Nicole M. Nelson ; Anna Aceto ; Gordon F. West
http://www.sciencedirect.com/science/article/pii/S2590088923000240. , 2023

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

4

A monitoring tool for linear-time μHML:

Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul...
Science of Computer Programming. 232 (2024) - p. 103031 , 2024

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

5

Combat phytopathogenic bacteria employing Argirium-SUNCs: l..:

Orfei, Benedetta ; Moretti, Chiaraluce ; Scian, Anna...
Applied Microbiology and Biotechnology. 108 (2024) 1 - p. , 2024

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

6

On first-order runtime enforcement of branching-time proper..:

Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian.
Acta Informatica. 60 (2023) 4 - p. 385-451 , 2023

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

7

Intensive Care Unit-Acquired Weakness after Liver Transplan..:

Gaspari, Rita ; Spinazzola, Giorgia ; Aceto, Paola...
Journal of Clinical Medicine. 12 (2023) 24 - p. 7529 , 2023

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

8

Can the Modified Frailty Index (mFI) Predict Intraoperative..:

Schipa, Chiara ; Ripa, Matteo ; Gallotta, Valerio...
Journal of Clinical Medicine. 12 (2023) 23 - p. 7205 , 2023

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

9

Magnetically controlled cyclic microscale deformation of in..:

Asgeirsson, Daphne O. ; Mehta, Avni ; Scheeder, Anna...
Biomaterials Science. 11 (2023) 23 - p. 7541-7555 , 2023

Link: https://doi.org/10.1039/..

10

Bidirectional Runtime Enforcement of First-Order Branching-..:

Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian.
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

11

On Probabilistic Monitorability:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Aceto, Luca ; Achilleos, Antonis ; Anastasiadi, Elli... - p. 325-342 , 2022

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

12

A Runtime Monitoring Tool for Actor-Based Systems:

, In: Behavioural Types,

Attard, Duncan Paul ; Cassar, Ian ; Francalanza, Adrian.. - p. 49-76 , 2022

Link: https://doi.org/10.1201/..

13

Axiomatizing recursion-free, regular monitors:

Aceto, Luca ; Achilleos, Antonis ; Anastasiadi, Elli.
Journal of Logical and Algebraic Methods in Programming. 127 (2022) - p. 100778 , 2022

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

14

On the Axiomatisability of Parallel Composition:

Aceto, Luca ; Castiglioni, Valentina ; Ingolfsdottir, Anna..
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

15

Are Two Binary Operators Necessary to Obtain a Finite Axiom..:

Aceto, Luca ; Castiglioni, Valentina ; Fokkink, Wan..
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-56 , 2022

Link: https://doi.org/10.1145/..