VLDB 2026 Research / reviewers in the wild / expert
Maxim Jourenko
dblp:181/7348
· DBLP profile ↗
5ranked-venue papers
3as first author
3since 2021 · last 2025
0009-0006-8414-781XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 3 first-author · 3 since 2021Artificial intelligence and machine learning · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
Maxim Jourenko, Marcus Völker |
CANS | 1 |
| 2024 | Scalable and Lightweight State-Channel Audits
Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira |
CANS (1) | 2 |
| 2023 | State Machines Across Isomorphic Layer 2 Ledgers
Maxim Jourenko, Mario Larangeira |
FC | 1 |
| 2020 | Lightweight Virtual Payment Channels
Maxim Jourenko, Mario Larangeira, Keisuke Tanaka |
CANS | 1 |
| 2016 | Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and SimulationabstractIn this paper, we report on our entry for the AI Birds competition, where we designed, implemented, and evaluated an agent for the physics puzzle computer game Angry Birds. Our agent uses search and simulation to find appropriate parameters for launching birds. While there are other methods that focus on qualitative reasoning about physical systems we try to combine simulation and adjustable abstractions to efficiently traverse the possibly infinite search space. The agent features a hierarchical search scheme where different levels of abstractions are used. At any level, it uses simulation to rate subspaces that should be further explored in more detail on the next levels. We evaluate single components of our agent and we also compare the overall performance of different versions of our agent. We show that our approach yields a competitive solution on the standard set of levels. Stefan Schiffer 0002, Maxim Jourenko, Gerhard Lakemeyer |
IEEE Trans. Comput. Intell. AI Games | 2 |