:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lieb, Alexander, Lochau, Malte
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20026605
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Checking Timed Bisimilarity with Virtual Clocks
by: Lieb, Alexander, et al.
Published: (2024)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
by: Müller, Robert, et al.
Published: (2024)

Visualising CTL Witnesses and Counterexamples -- Extended Version
by: Rensink, Arend
Published: (2026)

TChecker VM
by: Lieb, Alexander
Published: (2026)

Wheeler Bisimulations
by: Cotumaccio, Nicola
Published: (2026)

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
by: de Frutos-Escrig, David, et al.
Published: (2024)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Lowerbounds for Bisimulation by Partition Refinement
by: Groote, Jan Friso, et al.
Published: (2022)

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Bisimulation for Feller-Dynkin Processes
by: Chen, Linan, et al.
Published: (2019)

threewater-dot/MvAE: MvAE
by: threewater-dot
Published: (2026)

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Compactness via Pattern Stepping Bisimulation
by: Scharager, Matias
Published: (2024)

Fairness in Reinforcement Learning with Bisimulation Metrics
by: Rezaei-Shoshtari, Sahand, et al.
Published: (2024)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
by: Zouari, Safa, et al.
Published: (2024)

Bisimulation metric for Model Predictive Control
by: Shimizu, Yutaka, et al.
Published: (2024)

A Counterexample to a Conjecture of Lovász
by: Clow, Alexander, et al.
Published: (2025)

Æ codes
by: Jain, Shubham P., et al.
Published: (2023)

The ERIC/AE Test Locator Service. ERIC/AE Digest.
by: Doolittle, Peter, et al.
Published: (1994)

Positive Hennessy-Milner Logic for Branching Bisimulation
by: Geuvers, Herman, et al.
Published: (2022)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
by: Hong, Chih-Duo, et al.
Published: (2025)

Examples and Counterexamples
Published: (2021)

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture
by: Black, Alexander E., et al.
Published: (2023)

Band Gap Tuneability in Antiperovskite‐Based Nitrides AE 3 Pn N and Imides AE 5 Pn 2 (NH) 2 ( AE = Ca, Sr; Pn = As, Sb, Bi)
by: Thanh G. Chau, et al.
Published: (2026)

Band Gap Tuneability in Antiperovskite‐Based Nitrides AE 3 Pn N and Imides AE 5 Pn 2 (NH) 2 ( AE = Ca, Sr; Pn = As, Sb, Bi)
by: Thanh G. Chau, et al.
Published: (2026)

Construction and Decoding of Convolutional Codes with optimal Column Distances
by: Lieb, Julia, et al.
Published: (2026)

Construction of LDPC convolutional codes with large girth from Latin squares
by: Junghans, Elisa, et al.
Published: (2025)