Copertina

On the formalization of the notion of a concurrent algorithm

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Middelburg, C. A.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computational Complexity Data Structures and Algorithms Logic in Computer Science F.1.1; F.1.2; F.2.0
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalizing the notions of non-interactive and interactive algorithms
di: Middelburg, C. A.
Pubblicazione: (2024)

On the formalization of the notion of an algorithm
di: Middelburg, C. A.
Pubblicazione: (2024)

Imperative process algebra and models of computation
di: Middelburg, C. A.
Pubblicazione: (2022)

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$
di: Schmitz, Sylvain, et al.
Pubblicazione: (2023)

Online Paging with Heterogeneous Cache Slots
di: Chrobak, Marek, et al.
Pubblicazione: (2022)

On the Computation of 2-Dimensional Recurrence Equations
di: Natale, Giuseppe
Pubblicazione: (2024)

I/O complexity and pebble games with partial computations
di: Sobczyk, Aleksandros
Pubblicazione: (2024)

Structure-Guided Automated Reasoning
di: Bannach, Max, et al.
Pubblicazione: (2023)

Constructibility and the P versus NP problem
di: Hole, Arne
Pubblicazione: (2024)

Neural networks as fuzzy logic formulas
di: Heiman, Damian, et al.
Pubblicazione: (2026)

Maximum Partial List H-Coloring on P_5-free graphs in polynomial time
di: Lokshtanov, Daniel, et al.
Pubblicazione: (2024)

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More
di: Saha, Barna, et al.
Pubblicazione: (2024)

Certificate-Sensitive Subset Sum: Realizing Instance Complexity
di: Salas, Jesus
Pubblicazione: (2025)

Fair Vertex Problems Parameterized by Cluster Vertex Deletion
di: Masařík, Tomáš, et al.
Pubblicazione: (2025)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

$\rm P$ has polynomial-time finite-state verifiers
di: Gezer, M. Utkan, et al.
Pubblicazione: (2023)

An Optimal Randomized Algorithm for Finding the Saddlepoint
di: Dallant, Justin, et al.
Pubblicazione: (2024)

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

Complementing an imperative process algebra with a rely/guarantee logic
di: Middelburg, C. A.
Pubblicazione: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
di: Ahvonen, Veeti, et al.
Pubblicazione: (2024)

Expressive Power of Graph Transformers via Logic
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

Graph neural networks and MSO
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
di: Ahvonen, Veeti, et al.
Pubblicazione: (2026)

Probabilistic imperative process algebra
di: Middelburg, C. A.
Pubblicazione: (2026)

Reactive Synthesis for Expected Impacts
di: Chini, Emanuele, et al.
Pubblicazione: (2024)

An efficient algorithm to compute the minimum free energy of interacting nucleic acid strands
di: Shalaby, Ahmed, et al.
Pubblicazione: (2024)

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
di: Grochow, Joshua A., et al.
Pubblicazione: (2021)

Count-Free Weisfeiler--Leman and Group Isomorphism
di: Collins, Nathaniel A., et al.
Pubblicazione: (2022)

Replicability in High Dimensional Statistics
di: Hopkins, Max, et al.
Pubblicazione: (2024)

Planarizing Gadgets for (k, l)-tight Graphs Do Not Exist
di: Chauhan, Archit, et al.
Pubblicazione: (2026)

Graded modal logic and counting message passing automata
di: Ahvonen, Veeti, et al.
Pubblicazione: (2024)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
di: Middelburg, C. A.
Pubblicazione: (2021)

On the Counting Complexity of the Skolem Problem
di: Jindal, Gorav, et al.
Pubblicazione: (2024)

On the Complexity of Neural Computation in Superposition
di: Adler, Micah, et al.
Pubblicazione: (2024)

When Votes Change and Committees Should (Not)
di: Bredereck, Robert, et al.
Pubblicazione: (2020)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

A LOCAL View of the Polynomial Hierarchy
di: Reiter, Fabian
Pubblicazione: (2023)

Graph-Based Deterministic Polynomial Framwork for NP Problems
di: Lee, Changryeol
Pubblicazione: (2025)

Nonuniform Deterministic Finite Automata over finite algebraic structures
di: Idziak, Paweł M., et al.
Pubblicazione: (2025)