Publications
Total number of publications: 2735
Conference proceedings
-
Evaluating Software Verifiers for C, Java, and SV-LIB (Report on SV-COMP 2026)
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, year: 2026, DOI
-
Evolving grammatical systems : The Basque–Romance interface as a model of morphological evolution
The Evolution of Language : Proceedings of the 16th International Conference (EVOLANG XVI), year: 2026, DOI
-
Experimental Measurement of Neutron Flux and Its Mathematical Data Processing
Challenges to National Defence in Contemporary Geopolitical Situation, year: 2026, DOI
-
Explaining Digital Pathology Models Via Clustering Activations
Proceedings - International Symposium on Biomedical Imaging, year: 2026, DOI
-
FeedFetcher: A Resilient Web Feed Downloader for Corpus Construction
Proceedings of the Fifteenth Language Resources and Evaluation Conference (LREC 2026), year: 2026, DOI
-
Fifteen Years of Learning Analytics Research: Topics, Trends, and Challenges
Proceedings of the 16th Learning Analytics and Knowledge Conference (LAK '26), year: 2026, DOI
-
Filtering Few-Level Segment Regions for Efficient Subsequence Search in 3D Human Motions
48th European Conference on Information Retrieval (ECIR), year: 2026, DOI
-
Finding b-Colorings Using Feedback Edges
51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026), year: 2026
-
Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning
AAMAS '26: Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems, year: 2026, DOI
-
ForensicChain: Blockchain-Based Secure Digital Forensic Investigations
Foundations and Practice of Security, year: 2026, DOI