Learning-based approaches to predictive monitoring with conformal statistical guarantees Inproceedings
In: International Conference on Runtime Verification, pp. 461–487, Springer 2023.
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 307–310, Springer 2023.
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems Journal Article
In: Logical Methods in Computer Science, vol. 18, 2022.
Variance Reduction in Stochastic Reaction Networks using Control Variates Incollection
In: Principles of Systems Design, pp. 456–474, Springer, Cham, 2022.
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.
Graph Neural Networks for Propositional Model Counting Journal Article
In: arXiv preprint arXiv:2205.04423, 2022.
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.
On the Robustness of Bayesian Neural Networks to Adversarial Attacks Journal Article
In: arXiv preprint arXiv:2207.06154, 2022.
Efficient extraction of seismic reflection with Deep Learning Journal Article
In: Computers & Geosciences, vol. 166, pp. 105190, 2022.
Neural predictive monitoring for collective adaptive systems Inproceedings
In: International Symposium on Leveraging Applications of Formal Methods, pp. 30–46, Springer, Cham 2022.
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.
Adversarial Attacks on Protein Language Models Journal Article
In: bioRxiv, 2022.
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.
Elastic-Degenerate String Matching via Fast Matrix Multiplication Journal Article
In: SIAM Journal on Computing, vol. 51, no. 3, pp. 549-576, 2022.
Elastic-Degenerate String Matching with 1 Error Inproceedings
In: Theoretical Informatics - 15th Latin American Symposium (LATIN), pp. 20–37, Springer, 2022.
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.
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.
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.
A Universal Error Measure for Input Predictions Applied to Online Graph Problems Inproceedings
In: 36th Conference on Neural Information Processing Systems (NeurIPS), 2022.
Hide and Mine in Strings: Hardness, Algorithms, and Experiments Journal Article
In: IEEE Transactions on Knowledge and Data Engineering, pp. 1-1, 2022.