Publications

Additive cellular automata graded-monadically
Journal / Periodical: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23), 22-23 October 2023, Cascais, Lisbon, Portugal
Authors: Capobianco, Silvio; Uustalu, Tarmo
Year: 2023
Read article
Deep learning based segmentation of Luria’s alternating series test to support diagnostics of Parkinson’s disease
Journal / Periodical: 2023 International Conference on Machine Learning and Applications (ICMLA)
Authors: Valla, Elli; Laur, Henry; Nõmm, Sven; Medijainen, Kadri; Taba, Pille; Toomela, Aaro
Year: 2023
Read article
Improving transparency and explainability of deep learning based IoT botnet detection using explainable artificial intelligence (XAI)
Journal / Periodical: Proceedings 22nd IEEE International Conference on Machine Learning and Applications, ICMLA 2023, 15–17 December 2023, Jacksonville Riverfront, Florida
Authors: Kalakoti, Rajesh; Nõmm, Sven; Bahsi, Hayretdin
Year: 2023
Read article
Bicategories of automata, automata in bicategories
Journal / Periodical: Proceedings of the Sixth International Conference onApplied Category Theory 2023 (ACT 2023), University of Maryland, 31 July - 4 August 2023
Authors: Boccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano
Year: 2023
Read article
Constructive final semantics of finite bags
Journal / Periodical: 14th International Conference on Interactive Theorem Proving
Authors: Joram, Philipp; Veltri, Niccolò
Year: 2023
Read article
Consequences of the modal unification of the functional calling paradigms
Journal / Periodical: 29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts
Authors: Espírito Santo, José; McDermott, Dylan; Pinto, Luís; Uustalu, Tarmo
Year: 2023
Transforming fatigue assessment: Smartphone-based system with digitized motor skill tests
Journal / Periodical: International Journal of Medical Informatics
Authors: Valla, Elli; Toose, Ain-Joonas; Nõmm, Sven; Toomela, Aaro
Year: 2023
Read article
SSProve: a foundational framework for modular cryptographic proofs in Coq
Journal / Periodical: ACM Transactions on Programming Languages and Systems
Authors: Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Year: 2023
Read article
SSProve: a foundational framework for modular cryptographic proofs in Coq
Journal / Periodical: Proceedings 2021 IEEE 34th Computer Security Foundations Symposium [CSF 2021], 21-24 June 2021, Virtual Conference
Authors: Abate, Carmine; Haselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Hriţcu, Cătălin; Maillard, Kenji; Spitters, Bas
Year: 2021
Read article
Filtered (79)
Filters
Research Groups
Show (79)
Cancel