Not finding it? Sign in to also search OpenAlex live.
-
E-mail autocomplete function using RNN Encoder-decoder sequence-to-sequence model2021 International Conference on Electronics, Communication and Aerospace Technology (ICECA) conference-paper Computer Science Topic Modeling cited by 1 patent
Rohan Modi, Kush Naik, Tarjni Vyas, Shivani Desai, Sheshang Degadwala
3citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Multi-surrogate Assisted Efficient Global Optimization for Discrete Problems2022 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms
Qi Huang, Roy de Winter, Bas van Stein, Thomas Bäck, Anna V. Kononova
2citations