yusuke1997/dblp-id-title huggingface dataset:
Localic completion of uniform spaces
Logical properties of random graphs from small addable classes
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
A Categorical Treatment of Open Linear Systems
Alternating, private alternating, and quantum alternating realtime automata
An estimation for the lengths of reduction sequences of the λμρθ-calculus
An ωω\omega-Algebra for Real-Time Energy Problems
Transfinite Lyndon words
Compactly Accessible Categories and Quantum Key Distribution
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
A Complete Axiomatisation for Quantifier-Free Separation Logic
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
The Covering Problem
Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
Theories for TC0 and Other Small Complexity Classes
Every metric space is separable in function realizability
Tameness and the power of programs over monoids in DA
Isolated Suborders and their Application to Counting Closure Operators
Reduction Free Normalisation for a proof irrelevant type of propositions
Well Behaved Transition Systems
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
A case study on parametric verification of failure detectors
Polishness of some topologies related to word or tree automata
Stashing And Parallelization Pentagons
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Multiactive objects and their applications
Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
Dagger linear logic for categorical quantum mechanics
The height of piecewise-testable languages and the complexity of the logic of subwords
Converse extensionality and apartness
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
Non-idempotent types for classical calculi in natural deduction style
A Distribution Law for CCS and a New Congruence Result for the p-calculus
Dual-Context Calculi for Modal Logic
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
Typability and Type Inference in Atomic Polymorphism
Arboreal Categories: An Axiomatic Theory of Resources
About the Expressive Power and Complexity of Order-Invariance with Two Variables
An expressive completeness theorem for coalgebraic modal mu-calculi
Java & Lambda: a Featherweight Story
Controller Synthesis for Timeline-based Games
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Probabilistic call by push value
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
Linear-time logics - a coalgebraic perspective
Grilliot's trick in Nonstandard Analysis
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Modules over monads and operational semantics (expanded version)
Node Replication: Theory And Practice
Reasoning about effects: from lists to cyber-physical agents
Moss' logic for ordered coalgebras
Undecidability of a weak version of MSO+U
Matching Logic
Interface Modeling for Quality and Resource Management
Regular matching problems for infinite trees
Totality for Mixed Inductive and Coinductive Types
Hyper Normalisation and Conditioning for Discrete Probability Distributions
Relative Entailment Among Probabilistic Implications
The parameterized space complexity of model-checking bounded variable first-order logic
Linear datalog and bounded path duality of relational structures
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
An efficient algorithm to decide periodicity of bbb-recognisable sets using LSDF convention
A Proof of Stavi's Theorem
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Shrub-depth: Capturing Height of Dense Graphs
Foundations of Online Structure Theory II: The Operator Approach
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
On guarded extensions of MMSNP
Bistable Biorders: A Sequential Domain Theory
Unifying cubical and multimodal type theory
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
On Resolving Non-determinism in Choreographies
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
Space-Fluid Adaptive Sampling by Self-Organisation
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Small Promise CSPs that reduce to large CSPs
A diagrammatic calculus of fermionic quantum circuits
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
The Theory of Universal Graphs for Infinite Duration Games
The syntactic side of autonomous categories enriched over generalised metric spaces
A limitation on the KPT interpolation
A Dichotomy for First-Order Reducts of Unary Structures
Localized RETE for Incremental Graph Queries with Nested Graph Conditions
Tight Polynomial Bounds for Loop Programs in Polynomial Space
The succinctness of first-order logic on linear orders
Quotients, inductive types, and quotient inductive types
The categorical contours of the Chomsky-Sch\"utzenberger representation theorem
Algorithms for Markov Binomial Chains
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
A duality theoretic view on limits of finite structures: Extended version
A coalgebraic treatment of conditional transition systems with upgrades
Coalgebraic Geometric Logic: Basic Theory
Axiomatization of betweenness in order-theoretic trees
A classical groupoid model for quantum networks
Defining Recursive Predicates in Graph Orders
On p/q-recognisable sets
Flexible Correct-by-Construction Programming
Logical and Algebraic Characterizations of Rational Transductions
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
Circular Proofs as Session-Typed Processes: A Local Validity Condition
On the Expressive Power of 2-Stack Visibly Pushdown Automata
On the relative asymptotic expressivity of inference frameworks
A categorical framework for congruence of applicative bisimilarity in higher-order languages
The Subpower Membership Problem for Finite Algebras with Cube Terms
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Mending Fences with Self-Invalidation and Self-Downgrade
A Simple Algorithm for Consistent Query Answering under Primary Keys
A Real-Valued Modal Logic
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Parametricity for Nested Types and GADTs
Hopf and Lie algebras in semi-additive Varieties
Families of DFAs as Acceptors of ω-Regular Languages
Reversing Place Transition Nets
Tractable Combinations of Temporal CSPs
σ-locales in Formal Topology
Domains via approximation operators
Decision problems for linear recurrences involving arbitrary real numbers
A symmetric protocol to establish service level agreements
Cores of Countably Categorical Structures
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Retractability, games and orchestrators for session contracts
A robust graph-based approach to observational equivalence
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Theories of real addition with and without a predicate for integers
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
A categorical account of composition methods in logic (extended version)
Alignment complete relational Hoare logics for some and all
Algebraic cocompleteness and finitary functors
The monadic second-order logic of graphs XVI : Canonical graph decompositions
Weighted omega-Restricted One Counter Automata
Stone-Type Dualities for Separation Logics
Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
Completeness Theorems for Kleene algebra with tests and top
Duality for powerset coalgebras
String diagrams for Strictification and Coherence
Bounded degree and planar spectra
A System of Interaction and Structure II: The Need for Deep Inference
Encoding many-valued logic in λ-calculus
Automata Linear Dynamic Logic on Finite Traces
A survey on difference hierarchies of regular languages
An intensionally fully-abstract sheaf model for π (expanded version)
$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Game characterizations and lower cones in the Weihrauch degrees
The recursion hierarchy for PCF is strict
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
Moschovakis Extension of Represented Spaces
Minimality Notions via Factorization Systems and Examples
Sahlqvist via Translation
A Forgotten Theory of Proofs ?
Modularising Verification Of Durable Opacity
Initial Semantics for Reduction Rules
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
With a little help from your friends: semi-cooperative games via Joker moves
Decidability of extensions of Presburger arithmetic by generalised polynomials
On first-order transductions of classes of graphs
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
A strong call-by-need calculus
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
Rational Streams Coalgebraically
An implicit function theorem for the stream calculus
Algebraic Presentations of Type Dependency
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties
A Session Type System for Asynchronous Unreliable Broadcast Communication
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
Coalgebraic Behavioral Metrics
Bisimulations for Delimited-Control Operators
Controlling a population
Efficient Evaluation of Arbitrary Relational Calculus Queries
The Completeness of Propositional Resolution: A Simple and Constructive Proof
Minimization and Canonization of GFG Transition-Based Automata
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
Model Checking One-Clock Priced Timed Automata
Reachability and liveness in parametric timed automata
On tractability and congruence distributivity
Efficient reduction of nondeterministic automata with application to language inclusion testing
Probabilistic logics based on Riesz spaces
Overlap Algebras as Almost Discrete Locales
A Reduced Semantics for Deciding Trace Equivalence
Complexity results for modal logic with recursion via translations and tableaux
A Fully Abstract Model of PCF Based on Extended Addressing Machines
Tracing where IoT data are collected and aggregated
Lax orthogonal factorisations in monad-quantale-enriched categories
Transpension: The Right Adjoint to the Pi-type
Trade-offs between classical and quantum space using spooky pebbling
Clause Set Cycles and Induction
On noncommutative extensions of linear logic
Quantitative Semantics for Jumping Automata
McShane-Whitney extensions in constructive analysis
Quantifying over Boolean announcements
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
Modularizing the Elimination of r=0 in Kleene Algebra
Structural Reductions and Stutter Sensitive Properties
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
nnn-permutability and linear Datalog implies symmetric Datalog
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries
Van Kampen Colimits and Path Uniqueness
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Causal Consistency for Reversible Multiparty Protocols
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
The intuitionistic temporal logic of dynamical systems
Real-Time Model-Checking: Parameters everywhere
Study of Behaviours via Visitable Paths
ℵ 1 and the modal μ-calculus
Petri Automata
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
The Ho-Zhao Problem
Stream processors and comodels
Constructive Domains with Classical Witnesses
Approximability in the GPAC
Addressing Machines as models of lambda-calculus
Countdown games, and simulation on (succinct) one-counter nets
Directed Homotopy in Non-Positively Curved Spaces
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
Companions, Causality and Codensity
One-way definability of two-way word transducers
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Pushing for weighted tree automata
Making first order linear logic a generating grammar
Solution of a Problem of Barendregt on Sensible lambda-Theories
Partially Ordered Automata and Piecewise Testability
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Twin-width and permutations
Relational Models for the Lambek Calculus with Intersection and Constants
Separating regular languages with two quantifier alternations
Approximating Queries on Probabilistic Graphs
Weak Cat-Operads
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy
On some categorical-algebraic conditions in S-protomodular categories
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
Completeness of the ZX-Calculus
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
CC-circuits and the expressive power of nilpotent algebras
Efficient and Modular Coalgebraic Partition Refinement
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Coalgebraic Semantics for Probabilistic Logic Programming
Lowerbounds for Bisimulation by Partition Refinement
The logical strength of Büchi's decidability theorem
Taylor expansion in linear logic is invertible
Logic for exact real arithmetic
Contextual equivalence for higher-order pi-calculus revisited
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
The Universal Process
Positive Hennessy-Milner Logic for Branching Bisimulation
A categorical characterization of relative entropy on standard Borel spaces
On Small Types in Univalent Foundations
The language of Stratified Sets is confluent and strongly normalising
Canonical Calculi with (n, k)-ary Quantifiers
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Feasability of Learning Weighted Automata on a Semiring
Star Games and Hydras
Equational Reasonings in Wireless Network Gossip Protocols
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
On the Metric Temporal Logic for Continuous Stochastic Processes
Characterization theorem for the conditionally computable real functions
Labelled transition systems as a Stone space
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
Web spaces and worldwide web spaces: topological aspects of domain theory
Robustness against Read Committed for Transaction Templates with Functional Constraints
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Automated Synthesis of Distributed Self-Stabilizing Protocols
Capturing Polynomial Time using Modular Decomposition
Towards an Algebra for Cascade Effects
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Completeness of Nominal PROPs
Fine-grained Meta-Theorems for Vertex Integrity
A Behavioral Theory for Distributed Systems with Weak Recovery
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^* is Even Harder
Field-based Coordination with the Share Operator
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
A Categorical Reconstruction of Quantum Theory
Some theorems on passing from local to global presence of properties of functions
Shortest paths in one-counter systems
Semipullbacks of labelled Markov processes
Privacy by typing in the π-calculus
Hardness of monadic second-order formulae over succinct graphs
A coalgebraic take on regular and ω-regular behaviours
A Strong Bisimulation for a Classical Term Calculus
Indivisibility and uniform computational strength
Predicative theories of continuous lattices
Timed Automata Robustness Analysis via Model Checking
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Stateful Realizers for Nonstandard Analysis
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
An Analytic Propositional Proof System on Graphs
Categorical composable cryptography: extended version
Robust non-computability of dynamical systems and computability of robust dynamical systems
On-the-Fly Computation of Bisimilarity Distances
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Many-valued coalgebraic logic over semi-primal varieties
Descriptive Complexity for Counting Complexity Classes
Positive First-order Logic on Words and Graphs
Drawing with Distance
Efficient Open World Reasoning for Planning
Hanf numbers via accessible images
Decisive Markov Chains
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Algebra, coalgebra, and minimization in polynomial differential equations
Addition and Differentiation of ZX-diagrams
Disentangling Parallelism and Interference in Game Semantics
W-types in setoids
Codensity Lifting of Monads and its Dual
Checkpoint-based rollback recovery in session programming
Natural Transformations as Rewrite Rules and Monad Composition
A framework to measure the robustness of programs in the unpredictable environment
Certifying Confluence Proofs via Relative Termination and Rule Labeling
Programming Distributed Collective Processes in the eXchange Calculus
Separability in the Ambient Logic
Limits of real numbers in the binary signed digit representation
Integration in Cones
Intersection Types for the lambda-mu Calculus
Algebraic and logical descriptions of generalized trees
Combining decision procedures for the reals
Relating Apartness and Bisimulation
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
A sequent calculus for a semi-associative law
Pumping lemmas for weighted automata
Modular, Fully-abstract Compilation by Approximate Back-translation
Exhaustible Sets in Higher-type Computation
Lineal: A linear-algebraic Lambda-calculus
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
Building Specifications in the Event-B Institution
On the Strength of Proof-irrelevant Type Theories
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Distributed Asynchronous Games With Causal Memory are Undecidable
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
A Spatial Logic for Simplicial Models
Game Refinement Relations and Metrics
On the Existence of Reactive Strategies Resilient to Delay
Modal meet-implication logic
A Calculus for Scoped Effects & Handlers
A unifying framework for continuity and complexity in higher types
Rewriting techniques for relative coherence
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
A bound for Dickson's lemma
First Order Theories of Some Lattices of Open Sets
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Relational Graph Models at Work
On Bisimilarity for Quasi-discrete Closure Spaces
Games and Strategies as Event Structures
Locality and Centrality: The Variety ZG
Failure Trace Semantics for a Process Algebra with Time-outs
The Complexity of Model Checking Higher-Order Fixpoint Logic
Uniform Envelopes
A Categorical Approach to Syntactic Monoids
Computable analysis and notions of continuity in Coq
Concurrent Process Histories and Resource Transducers
Comparing hierarchies of total functionals
On the logical complexity of cyclic arithmetic
A Coalgebraic Approach to Dualities for Neighborhood Frames
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
The Church Synthesis Problem over Continuous Time
Algebraic Language Theory for Eilenberg-Moore Algebras
The Identity Problem in the special affine group of $\mathbb{Z}^2$
Normalization for planar string diagrams and a quadratic equivalence algorithm
Simple Classes of Automatic Structures
Interaction Graphs: Exponentials
Categorical structures for type theory in univalent foundations
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
A Probabilistic Higher-order Fixpoint Logic
Generative Unbinding of Names
Extension by Conservation. Sikorski's Theorem
Divergence and unique solution of equations
revTPL: The Reversible Temporal Process Language
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Verifying liquidity of recursive Bitcoin contracts
Some remarks on connectors and groupoids in Goursat categories
Tameness in least fixed-point logic and McColm's conjecture
Positional Determinacy of Games with Infinitely Many Priorities
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
Covering and separation for logical fragments with modular predicates
Strategies as Resource Terms, and their Categorical Semantics
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Answer Counting under Guarded TGDs
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Closed Sets and Operators thereon: Representations, Computability and Complexity
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
On the Strong Equivalences for LPMLN Programs
Decidability for Entailments of Symbolic Heaps with Arrays
A conformal mapping approach to modelling two-dimensional stratified flow
Multiphase flow modeling in multiscale porous media: An open-source micro-continuum approach
Corrected ALE-ISPH with novel Neumann boundary condition and density-based particle shifting technique
Increasing stable time-step sizes of the free-surface problem arising in ice-sheet simulations
Relative acceleration of orthonormal basis vectors for the geometric conduction blocks of the cardiac electric signal propagation on anisotropic curved surfaces
Modelling binary alloy solidification with adaptive mesh refinement