Imagen de Portada

On Homomorphism Graphs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Brandt, Sebastian, Chang, Yi-Jun, Grebík, Jan, Grunau, Christoph, Rozhoň, Václav, Vidnyánszky, Zoltán
Formato:	Preprint
Publicado:	2021
Materias:	Logic Distributed, Parallel, and Cluster Computing Combinatorics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
por: Brandt, Sebastian, et al.
Publicado: (2022)

From descriptive to distributed
por: Grebík, Jan, et al.
Publicado: (2025)

Invitation to Local Algorithms
por: Rozhoň, Václav
Publicado: (2024)

Borel Vizing's Theorem for Graphs of Subexponential Growth
por: Bernshteyn, Anton, et al.
Publicado: (2023)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
por: Bernshteyn, Anton, et al.
Publicado: (2023)

Moser-Tardos Algorithm with small number of random bits
por: Csóka, Endre, et al.
Publicado: (2022)

Regular Model Checking Upside-Down: An Invariant-Based Approach
por: Esparza, Javier, et al.
Publicado: (2022)

Gathering in Non-Vertex-Transitive Graphs Under Round Robin
por: Cicerone, Serafino, et al.
Publicado: (2025)

Fair Mutual Exclusion for N Processes (extended version)
por: Hafidi, Yousra, et al.
Publicado: (2021)

Towards True Work-Efficiency in Parallel Derandomization: MIS, Maximal Matching, and Hitting Set
por: Ghaffari, Mohsen, et al.
Publicado: (2025)

Near-Optimal Deterministic Network Decomposition and Ruling Set, and Improved MIS
por: Ghaffari, Mohsen, et al.
Publicado: (2024)

VerIso: Verifiable Isolation Guarantees for Database Transactions
por: Ghasemirad, Shabnam, et al.
Publicado: (2025)

Verifying the Hashgraph Consensus Algorithm
por: Crary, Karl
Publicado: (2021)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
por: Schultz, William, et al.
Publicado: (2024)

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

Proceedings 18th Interaction and Concurrency Experience
por: Aubert, Clément, et al.
Publicado: (2025)

Self-Correcting Gossip Protocols
por: Cignarale, Giorgio, et al.
Publicado: (2026)

Application Placement with Constraint Relaxation
por: Azzolini, Damiano, et al.
Publicado: (2025)

Distributed Knowledge in Simplicial Models
por: Goubault, Éric, et al.
Publicado: (2026)

A categorical and logical framework for iterated protocols
por: Goubault, Eric, et al.
Publicado: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
por: Schreiber, Dominik
Publicado: (2025)

Complexity of Verification and Synthesis of Threshold Automata
por: Balasubramanian, A. R., et al.
Publicado: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
por: Bartl, Lukas, et al.
Publicado: (2025)

Impure Simplicial Complexes: Complete Axiomatization
por: Randrianomentsoa, Rojo, et al.
Publicado: (2022)

Knowledge and simplicial complexes
por: van Ditmarsch, Hans, et al.
Publicado: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
por: Borrill, Paul
Publicado: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
por: Altisen, Karine, et al.
Publicado: (2025)

Proceedings 17th Interaction and Concurrency Experience
por: Aubert, Clément, et al.
Publicado: (2024)

An optimal algorithm for geodesic mutual visibility on hexagonal grids
por: Badri, Sahar, et al.
Publicado: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
por: Pham, Long, et al.
Publicado: (2023)

A Post-Quantum Lower Bound for the Distributed Lovász Local Lemma
por: Brandt, Sebastian, et al.
Publicado: (2025)

Towards Optimal Deterministic LOCAL Algorithms on Trees
por: Brandt, Sebastian, et al.
Publicado: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
por: Cignarale, Giorgio, et al.
Publicado: (2025)

A Note on an Inferentialist Approach to Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Multiparty equality in the local broadcast model
por: Esperet, Louis, et al.
Publicado: (2025)

Persistent homology of partially ordered spaces
por: Calk, Cameron, et al.
Publicado: (2023)

Specifying and Verifying RDMA Synchronisation (Extended Version)
por: Ambal, Guillaume, et al.
Publicado: (2026)

Modelling the Raft Distributed Consensus Protocol in mCRL2
por: Bora, Parth, et al.
Publicado: (2024)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
por: De Sclavis, Francesco, et al.
Publicado: (2024)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
por: Zhang, Junchao
Publicado: (2025)