A lattice-theoretical fixpoint theorem and its applications

• Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

  2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

  0

  citations
• Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• Optimal Antenna Configuration Filtering and Joint Power Control in Fluid Antenna Multiple Access Networks

  2025 IEEE Journal on Selected Areas in Communications article Engineering Advanced MIMO Systems Optimization

  4

  citations
• J-P: MDP. FP. PP

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  2

  citations
• Lower Bounds for Possibly Divergent Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  14

  citations
• Stochastic games with lexicographic objectives

  2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  5

  citations
• A First-order Logic with Frames

  2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  2

  citations
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  33

  citations
• A Decision Diagram Operation for Reachability

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• Model-guided synthesis of inductive lemmas for FOL with least fixpoints

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types

  2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  4

  citations
• A Semantic Model for Interacting Cyber-Physical Systems

  2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  6

  citations
• Latticed k-Induction with an Application to Probabilistic Programs

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  21

  citations
• Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

  2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  9

  citations
• Expected Runtime Analyis by Program Verification

  2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

  12

  citations
• Stochastic Games with Lexicographic Reachability-Safety Objectives

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations

16 results