A Lattice-Theoretical View of Strategy Iteration Inproceedings
In: Klin, Bartek; Pimentel, Elaine (Ed.): 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), pp. 7:1–7:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 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.
Stochastic Variational Smoothed Model Checking Journal Article
In: arXiv preprint arXiv:2205.05398, 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.
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Journal Article
In: arXiv preprint arXiv:2211.02375, 2022.
Robot Navigation in Crowded Environments: a Reinforcement Learning Approach Journal Article
In: 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.