Fixed points and attractors of reactantless and inhibitorless reaction systems Journal Article
In: Theoretical Computer Science, vol. 984, pp. 114322, 2024, ISSN: 0304-3975.
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures Journal Article
In: Proceedings of the ACM on Programming Languages, vol. 8, no. POPL, pp. 1882–1912, 2024.
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders Inproceedings
In: International Conference on Quantitative Evaluation of Systems, pp. 143–147, Springer 2023.
Data symmetries and Learning in fully connected neural networks Journal Article
In: IEEE Access, 2023.
Conformal quantitative predictive monitoring of STL requirements for stochastic processes Inproceedings
In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–11, 2023.
Emergent representations in networks trained with the Forward-Forward algorithm Journal Article
In: arXiv preprint arXiv:2305.18353, 2023.
CARSO: Blending Adversarial Training and Purification Improves Adversarial Robustness Journal Article
In: arXiv preprint arXiv:2306.06081, 2023.
Constructing phylogenetic networks via cherry picking and machine learning Journal Article
In: Algorithms Mol. Biol., vol. 18, no. 1, pp. 13, 2023.
Substring Complexity in Sublinear Space Inproceedings
In: 34th International Symposium on Algorithms and Computation, (ISAAC), pp. 12:1–12:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
Robot Navigation in Crowded Environments: A Reinforcement Learning Approach Journal Article
In: Machines, vol. 11, no. 2, pp. 268, 2023.
Machine learning approaches for ECG-based models: discrimination and calibration for atrial fibrillation prediction Journal Article
In: 2023.
MoonLight: a lightweight tool for monitoring spatio-temporal properties Journal Article
In: International Journal on Software Tools for Technology Transfer, pp. 1–15, 2023.
Comparison of discrimination and calibration performance of ECG-based machine learning models for prediction of new-onset atrial fibrillation Journal Article
In: BMC Medical Research Methodology, vol. 23, no. 1, pp. 169, 2023.
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints Journal Article
In: arXiv preprint arXiv:2308.16534, 2023.
Deep Learning Survival Model to Predict Atrial Fibrillation From ECGs and EHR Data Inproceedings
In: EPIA Conference on Artificial Intelligence, pp. 222–233, Springer Nature Switzerland Cham 2023.
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 Monoidal View on Fixpoint Checks Inproceedings
In: Fernández, Maribel; Poskitt, Christopher M. (Ed.): Graph Transformation, Proceedings of ICGT 2023, pp. 3–21, Springer, 2023.
Fixpoint Theory -- Upside Down Journal Article
In: Logical Methods in Computer Science, vol. 19, no. 2, 2023.
Generative abstraction of Markov population processes Journal Article
In: Theoretical Computer Science, vol. 977, pp. 114169, 2023.
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking Inproceedings
In: International Conference on Runtime Verification, pp. 45–65, Springer 2023.