Publications

251 entries « 2 of 13 »
21.

Cairoli, Francesca; Bortolussi, Luca; Paoletti, Nicola

Learning-based approaches to predictive monitoring with conformal statistical guarantees Inproceedings

In: International Conference on Runtime Verification, pp. 461–487, Springer 2023.

BibTeX

22.

Bortolussi, Luca; Cairoli, Francesca; Giacomarra, Francesco; Scassola, Davide

Model Abstraction and Conditional Sampling with Score-Based Diffusion Models Inproceedings

In: International Conference on Quantitative Evaluation of Systems, pp. 307–310, Springer 2023.

BibTeX

23.

Loreti, Michele; Bortolussi, Luca; Bartocci, Ezio; Nenzi, Laura

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems Journal Article

In: Logical Methods in Computer Science, vol. 18, 2022.

BibTeX | Links:

24.

Backenköhler, Michael; Bortolussi, Luca; Wolf, Verena

Variance Reduction in Stochastic Reaction Networks using Control Variates Incollection

In: Principles of Systems Design, pp. 456–474, Springer, Cham, 2022.

BibTeX | Links:

25.

Bortolussi, Luca; Gallo, Giuseppe Maria; Křet'insk`y, Jan; Nenzi, Laura

Learning model checking and the kernel trick for signal temporal logic on stochastic processes Inproceedings

In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 281–300, Springer, Cham 2022.

BibTeX | Links:

26.

Saveri, Gaia; Bortolussi, Luca

Graph Neural Networks for Propositional Model Counting Journal Article

In: arXiv preprint arXiv:2205.04423, 2022.

BibTeX | Links:

27.

Scagnetto, Arjuna; Barbati, Giulia; Gandin, Ilaria; Cappelletto, Chiara; Baj, Giovanni; Cazzaniga, Alberto; Cuturello, Francesca; Ansuini, Alessio; Bortolussi, Luca; Lenarda, Andrea Di

Deep artificial neural network for prediction of atrial fibrillation through the analysis of 12-leads standard ECG Journal Article

In: arXiv preprint arXiv:2202.05676, 2022.

BibTeX | Links:

28.

Bortolussi, Luca; Carbone, Ginevra; Laurenti, Luca; Patane, Andrea; Sanguinetti, Guido; Wicker, Matthew

On the Robustness of Bayesian Neural Networks to Adversarial Attacks Journal Article

In: arXiv preprint arXiv:2207.06154, 2022.

BibTeX | Links:

29.

Roncoroni, Giacomo; Forte, Emanuele; Bortolussi, Luca; Pipan, Michele

Efficient extraction of seismic reflection with Deep Learning Journal Article

In: Computers & Geosciences, vol. 166, pp. 105190, 2022.

BibTeX | Links:

30.

Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca

Neural predictive monitoring for collective adaptive systems Inproceedings

In: International Symposium on Leveraging Applications of Formal Methods, pp. 30–46, Springer, Cham 2022.

BibTeX | Links:

31.

Randone, Francesca; Bortolussi, Luca; Tribastone, Mirco

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with-Scaling Inproceedings

In: International Conference on Quantitative Evaluation of Systems, pp. 150–170, Springer, Cham 2022.

BibTeX | Links:

32.

Carbone, Ginevra; Cuturello, Francesca; Bortolussi, Luca; Cazzaniga, Alberto

Adversarial Attacks on Protein Language Models Journal Article

In: bioRxiv, 2022.

BibTeX | Links:

33.

Roncoroni, Giacomo; Forte, Emanuele; Bortolussi, Luca; Gasperini, Luca; Pipan, Michele

Polarity assessment of reflection seismic data: a Deep Learning approach Journal Article

In: Bulletin of Geophysics and Oceanography Vol, vol. 63, no. 4, pp. 693–700, 2022.

BibTeX | Links:

34.

Bernardini, Giulia; Gawrychowski, Paweł; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna

Elastic-Degenerate String Matching via Fast Matrix Multiplication Journal Article

In: SIAM Journal on Computing, vol. 51, no. 3, pp. 549-576, 2022.

BibTeX | Links:

35.

Bernardini, Giulia; Gabory, Estéban; Pissis, Solon P.; Stougie, Leen; Sweering, Michelle; Zuba, Wiktor

Elastic-Degenerate String Matching with 1 Error Inproceedings

In: Theoretical Informatics - 15th Latin American Symposium (LATIN), pp. 20–37, Springer, 2022.

BibTeX | Links:

36.

Bernardini, Giulia; Chen, Huiping; Loukides, Grigorios; Pissis, Solon P.; Stougie, Leen; Sweering, Michelle

Making de Bruijn Graphs Eulerian Inproceedings

In: 33rd Annual Symposium on Combinatorial Pattern Matching (CPM), pp. 12:1–12:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

BibTeX | Links:

37.

Bernardini, Giulia; Conte, Alessio; Gabory, Estéban; Grossi, Roberto; Loukides, Grigorios; Pissis, Solon P.; Punzi, Giulia; Sweering, Michelle

On Strings Having the Same Length- k Substrings Inproceedings

In: 33rd Annual Symposium on Combinatorial Pattern Matching (CPM), pp. 16:1–16:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

BibTeX | Links:

38.

Bernardini, Giulia; Iersel, Leo; Julien, Esther; Stougie, Leen

Reconstructing Phylogenetic Networks via Cherry Picking and Machine Learning Inproceedings

In: 22nd International Workshop on Algorithms in Bioinformatics (WABI), pp. 16:1–16:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

BibTeX | Links:

39.

Bernardini, Giulia; Lindermayr, Alexander; Marchetti-Spaccamela, Alberto; Megow, Nicole; Stougie, Leen; Sweering, Michelle

A Universal Error Measure for Input Predictions Applied to Online Graph Problems Inproceedings

In: 36th Conference on Neural Information Processing Systems (NeurIPS), 2022.

BibTeX | Links:

40.

Bernardini, Giulia; Conte, Alessio; Gourdel, Garance; Grossi, Roberto; Loukides, Grigorios; Pisanti, Nadia; Pissis, Solon; Punzi, Giulia; Stougie, Leen; Sweering, Michelle

Hide and Mine in Strings: Hardness, Algorithms, and Experiments Journal Article

In: IEEE Transactions on Knowledge and Data Engineering, pp. 1-1, 2022.

BibTeX | Links:

251 entries « 2 of 13 »

Comments are closed.