yusuke1997/dblp-id-title huggingface dataset:
Coupling Bertoin's and Aldous-Pitman's representations of the additive coalescent
Randomly coloring graphs with lower bounds on girth and maximum degree
Random minimal spanning tree and percolation on the N-cube
Resolvent of large random graphs
Distinctness of compositions of an integer: A probabilistic analysis
Nearly optimal distributed edge coloring in O(log log n) rounds
A tail bound for read- k families of functions
Fast simulation of large-scale growth models
A Central Limit Theorem on GL n /F q )
Regular subgraphs of random graphs
Intersecting random half cubes
Limit theory for the random on-line nearest-neighbor graph
On connectivity in random graph models with limited dependencies
Refined Approximation for the Ewens Sampling Forumla
How many random edges make a dense graph hamiltonian?
On the maximum number of Hamiltonian paths in tournaments
Graph limits of random graphs from a subset of connected k-trees
On the Beck-Fiala conjecture for random set systems
A note on the random greedy independent set algorithm
Searching for Losers
Uniform random colored complexes
Robust characterizations of k -wise independence over product spaces and related testing results
On the Diameter and Radius of Random Subgraphs of the Cube
Recursive functions on conditional Galton-Watson trees
Random channel assignment in the plane
Probabilistic Analysis of a Parallel Algorithm for Finding the Lexicographically First Depth First Search Tree in a Dense Random Graph
On pattern-avoiding permutons
Note on Independent Sets in Steiner Systems
A Note on the Probabilistic Analysis of Patricia Trees
Lower Bounds for a Subexponential Optimization Algorithm
The time of bootstrap percolation with dense initial sets for all thresholds
On the joint distribution of the nodes in uniform multidimensional binary trees
The 2D-directed spanning forest is almost surely a tree
Preferential attachment with choice
Law of large numbers for the SIR epidemic on a random graph with given degrees
A full characterization of invariant embeddability of unimodular planar graphs
Sharp thresholds in adaptive random graph processes
A bounding chain for Swendsen-Wang
The asymptotic distribution of cluster sizes for supercritical percolation on random split trees
Energy of flows on Z2 percolation clusters
A Functional Limit Theorem for Random Graphs with Applications to Subgraph Count Statistics
The number of Sidon sets and the maximum size of Sidon sets contained in a sparse random set of integers
Threshold functions for asymmetric Ramsey properties with respect to vertex colorings
Randomly coloring sparse random graphs with fewer colors than the maximum degree
Bond percolation with attenuation in high dimensional Voronoi tilings
Fluctuation Bounds for the Restricted Solid-On-Solid Model of Surface Growth
Connectivity threshold of Bluetooth graphs
Random Walks in a Convex Body and an Improved Volume Algorithm
Intercalates and discrepancy in random Latin squares
On the number of full levels in tries
Analysis of three graph parameters for random trees
The cycle structure of two rows in a random Latin square
A scaling limit for the length of the longest cycle in a sparse random digraph
Eigenvector delocalization for non-Hermitian random matrices and applications
Self averaging and the space of interactions in neural networks
A second threshold for the hard-core model on a Bethe lattice
Maker-breaker games on random geometric graphs
Biplanar crossing numbers. II. Comparing crossing numbers and biplanar crossing numbers using the probabilistic method
Local limit theorems for occupancy models
Decomposing a graph into expanding subgraphs
The diameter of long-range percolation clusters on finite cycles
Heilbronn triangle-type problems in the unit square [0,1] 2
On percolation and -hardness
The infamous upper tail
Randomized allocation processes
Spanning structures and universality in sparse hypergraphs
Limit Theorems for Combinatorial Structures via Discrete Process Approximations
On a multivariate contraction method for random recursive structures with applications to Quicksort
Perfect matchings in random bipartite graphs with minimal degree at least 2
Randomness-optimal oblivious sampling
A simple network of nodes moving on the circle∗
On the connectivity of a random interval graph
Random graphs with forbidden vertex degrees
Large-deviations/thermodynamic approach to percolation on the complete graph
σ -algebras for quasirandom hypergraphs
The rank of sparse symmetric matrices over arbitrary fields
Parameter testing in bounded degree graphs of subexponential growth
Concentration for self-bounding functions and an inequality of Talagrand
The simple random walk and max-degree walk on a directed graph
Excluding induced subgraphs: Critical graphs
On the probability of rendezvous in graphs
Persistence of centrality in random growing trees
Longest cycles in sparse random digraphs
Further results on random cubic planar graphs
Small cycle structure for words in conjugation invariant random permutations
Complete Matchings in Random Subgraphs on the Cube
Bounding the unsatisfiability threshold of random 3-SAT
Deterministic approximation of the cover time
The length of random subsets of Boolean lattices
Small sublattices in random subsets of Boolean lattices
The Number of Spanning Trees in Regular Graphs
A combinatorial characterization of smooth LTCs and applications
Homological connectivity of random k -dimensional complexes
Monotonicity and phase diagram for multirange percolation on oriented trees
The Transitive Closure of a Random Digraph
A product formula for the TASEP on a ring
On giant components and treewidth in the layers model
A system of grabbing particles related to Galton-Watson trees
Proof of the local REM conjecture for number partitioning. II. Growing energy scales
Finding Hamilton cycles in random graphs with few queries
Asymptotics of trees with a prescribed degree sequence and applications
On the Hamiltonicity Gap and doubly stochastic matrices
Limit theorems for mergesort
Weak Randomness in Graphons and Theons
Asymptotic for the cumulative distribution function of the degrees and homomorphism densities for random graphs sampled from a graphon
Slow emergence of the giant component in the growing m -out graph
For most graphs H , most H -free graphs have a linear homogeneous set
The number of satisfying assignments of random 2-SAT formulas
A local central limit theorem for triangles in a random graph
Shrinkage of de Morgan Formulae under Restriction
Finding cliques using few probes
Central limit theorem in disordered Monomer-Dimer model
Tight bounds on the expected number of holes in random point sets
A Sharp Threshold for k-Colorability
Ancestors and descendants in evolving k -tree models
Braess's paradox for the spectral gap in random graphs and delocalization of eigenvectors
On independent sets in hypergraphs
Component structure of the configuration model: Barely supercritical case
The perturbation method and triangle-free random graphs
Combinatorial dimension in fractional Cartesian products
Testing versus estimation of graph properties, revisited
Random Bulgarian solitaire
An extension of the Erdős-Tetali theorem
Static and Dynamic Path Selection on Expander Graphs: A Random Walk Approach
Topological characteristics of random triangulated surfaces
Countable Sparse Random Graphs
Finding and certifying a large hidden clique in a semirandom graph
A Zero-One Law for Random Subset
Indistinguishable Sceneries
Searching for a subset of counterfeit coins: Randomization vs determinism and adaptiveness vs non-adaptiveness
Threshold values of random K -SAT from the cavity method
Survey propagation: An algorithm for satisfiability
Analytic combinatorics of connected graphs
Triangle factors of graphs without large independent sets and of weighted graphs
Order Statistics for Decomposable Combinatorial Structures
Counting restricted orientations of random graphs
In Memoriam: Philippe Flajolet The Father of Analytic Combinatorics
Analyzing linear mergers
Ubiquitous percolation
Detecting defects in periodic scenery by random walks on Z
Perfect matchings and Hamiltonian cycles in the preferential attachment model
Asymptotic normality of the number of corners in tableaux associated with the partially asymmetric simple exclusion process
Change of Leadership in a Random Graph Process
Covering cycles in sparse graphs
Convergent sequences of sparse graphs: A large deviations approach
Algebraic and combinatorial expansion in random simplicial complexes
Algorithmic theory of random graphs
Judiciously 3-partitioning 3-uniform hypergraphs
The number of perfect matchings, and the nesting properties, of random regular graphs
A note on disagreement percolation
Color-biased Hamilton cycles in random graphs
And/or trees: A local limit point of view
Probabilities in First-Order Logic of a Unary Function and a Binary Relation
Offline thresholds for Ramsey-type games on random graphs
Geometry of large Boltzmann outerplanar maps
Asymptotics of the list-chromatic index for multigraphs
The Logic of Ordered Random Structures
The evolution of subcritical Achlioptas processes
Proof of the local REM conjecture for number partitioning. I: Constant energy scales
Partial Steiner systems and matchings in hypergraphs
Phase changes in random m-ary search trees and generalized quicksort
Edge flows in the complete random-lengths network
Coloring uniform hypergraphs with few edges
Coloring Clique-free Graphs in Linear Expected Time
Sharp thresholds and percolation in the plane
The weight of the shortest path tree
The phase transition in inhomogeneous random graphs
Functions that have read-twice constant width branching programs are not necessarily testable
Absorption time of the Moran process
The threshold for combs in random graphs
Random Latin square graphs
Random Čech complexes on Riemannian manifolds
The Forwarding Indeces of Random Graphs
Sharp thresholds for half-random games I
Random Recursive Forests
Ramsey games near the critical threshold
The Size Ramsey Number of Trees with Bounded Degree
Dependent sets of constant weight vectors in GF(q)
The Glauber dynamics for edge-colorings of trees
Diameter of P.A. random graphs with edge-step functions
On the asymptotic distributions of subgraph counts in a random tournament
Mantel's theorem for random graphs
Combinatorics of reliability Monte Carlo
Distribution of subgraphs of random regular graphs
The size-Ramsey number of short subdivisions
Complex martingales and asymptotic enumeration
Weight of a link in a shortest path tree and the Dedekind Eta function
Quasi-majority functional voting on expander graphs
Doubly random polytopes
Scaling limits of random bipartite planar maps with a prescribed degree sequence
Avoidance couplings on non-complete graphs
Random I-Cororable Graphs
Network delay inference from additive metrics
Powers of tight Hamilton cycles in randomly perturbed hypergraphs
Uncountable graphs and invariant measures on the set of universal countable graphs
On an online random k-SAT model
Probabilistic analysis of column-convex and directed diagonally-convex animals
The Spectral Edge of Constant Degree Erdős-Rényi Graphs
Corrigendum: On fractional K-factors of random graphs
Quasirandom Latin squares
The height of depth-weighted random recursive trees
Negative correlation and log-concavity
The height of record-biased trees
Smoothed counting of 0-1 points in polyhedra
Stretched exponential decay for subcritical parking times on
Randomized Greedy Matching II
The rank of sparse random matrices over finite fields
Simple permutations mix even better
On the asymptotics of fault probability in least-recently-used caching with Zipf-type request distribution
A hypergraph regularity method for generalized Turán problems
Embedding with a Lipschitz function
Enumeration of Almost-Convex Polygons on the Square Lattice
Anatomy of a young giant component in the random graph
Markoc Chains on Hypercubes: Spectral Representations and Several Mahorization Relations
An asymmetric random Rado theorem for single equations: The 0-statement
Data structures for maintaining set partitions
Duality in inhomogeneous random graphs, and the cut metric
Minimum independent dominating sets of random cubic graphs
Probabilistic Construction of Proportional Graphs
Selection by rank in K -dimensional binary search trees
Largest planar matching in random bipartite graphs
On the total variation distance between the binomial random graph and the random intersection graph
Hardness of Sampling Solutions From the Symmetric Binary Perceptron
On the upper tail problem for random hypergraphs
On the chromatic number of set systems
Erratum: Quasi-random graphs with given degree sequences
A percolation process on the square lattice where large finite clusters are frozen
Ranking graphs through hitting times of Markov chains
Uniform boundedness of critical crossing probabilities implies hyperscaling
Upper bounds on probability thresholds for asymmetric Ramsey properties
Maximal Full Subspaces in Random Projective Spaces- Thresholds and Poisson Approximation
Transfer theorems and asymptotic distributional results for m-ary search trees
On probabilistic elimination of generalized quantifiers
A phase transition for the heights of a fragmentation tree
Time evolution of dense multigraph limits under edge-conservative preferential attachment dynamics
The GHP scaling limit of uniform spanning trees of dense graphs
On random sampling in uniform hypergraphs
Thirty years..
Spatial mixing and nonlocal Markov chains
Bisecting sparse random graphs
Randomization helps to perform independent tasks reliably
Random cographs: Brownian graphon limit and asymptotic degree distribution
Packing and counting arbitrary Hamilton cycles in random digraphs
Community detection in the sparse hypergraph stochastic block model
List colorings of multipartite hypergraphs
Vertices of given degree in series-parallel graphs
Maximum matchings in random bipartite graphs and the space utilization of Cuckoo Hash tables
Rainbow hamilton cycles in random graphs
Approximation algorithms for the covering Steiner problem
Vertex-distinguishing edge colorings of random graphs
How to Make A Random Graph Irregular
Uniform chain decompositions and applications
Generalization of a theorem of Erdos and Rényi on Sidon sequences
Ramsey Properties of Orientations of Graphs
Asymptotic enumeration of strongly connected digraphs by vertices and edges
The counting lemma for regular k -uniform hypergraphs
Majority dynamics on sparse random graphs
Regularity Lemma for k-uniform hypergraphs
Short proofs of some extremal results III
A boundary corrected expansion of the moments of nearest neighbor distributions
New bounds for the Moser-Tardos distribution
The Tutte polynomial
On some graph densities in locally dense graphs
Hypergraph coloring up to condensation
On series of signed vectors and their rearrangements
Approximating the unsatisfiability threshold of random formulas
Chain Lengths in Certain Random Directed Graphs
Counting the Number of Hamilton Cycles in Random Digraphs
On the noise sensitivity of monotone functions
Packing perfect matchings in random hypergraphs
Giant components in Kronecker graphs
Cover and hitting times of hyperbolic random graphs
On the inducibility problem for random Cayley graphs of abelian groups with a few deleted vertices
Shotgun reconstruction in the hypercube
A note on near-optimal coloring of shift hypergraphs
Multidimensional Digital Searching-Alternative Data Structures
The chromatic number of dense random graphs
Weakly saturated random graphs
Increasing subsequences of linear size in random permutations and the Robinson-Schensted tableaux of permutons
Stochastic kronecker graphs
Approximating the Permanent: A Simple Approach
Self-destructive percolation
A combinatorial proof of Aldous-Broder theorem for general Markov chains
Deviation probabilities for arithmetic progressions and other regular discrete structures
A Canonical Ramsey Theorem
The critical probability for confetti percolation equals 1/2
A unified approach to the analysis of Horton-Strahler parameters of binary tree structures
Hypergraph limits: A regularity approach
The infinite limit of separable permutations
Correlation decay and the absence of zeros property of partition functions
Sharp thresholds for certain Ramsey properties of random graphs
Approximately counting cliques
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints
A Robust Approach for Ensuring Total Order Execution of Replicated Sporadic Tasks in Fault-Tolerant Multiprocessor Real-Time Systems
Formal Specification, Verification and Repair of Contiki's Scheduler
Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
Data-Driven Model Predictive Control with Regression Trees - An Application to Building Energy Management
Self-aware Cyber-Physical Systems
CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software
Detection and Mitigation of Sensor and CAN Bus Attacks in Vehicle Anti-Lock Braking Systems
sat2Map: Reconstructing 3D Building Roof from 2D Satellite Images
Game Theoretical Decision-Making of Dynamic Defense in Cyber-Physical Power Systems under Cyber-Attacks
Model-bounded Monitoring of Hybrid Systems
SIoV Mobility Management Using SDVN-Enabled Traffic Light Cooperative Framework
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts
Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities
Data Integrity Threats and Countermeasures in Railway Spot Transmission Systems
Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
Modeling and Optimization for Self-powered Non-volatile IoT Edge Devices with Ultra-low Harvesting Power
A Blockchain Architecture to Increase the Resilience of Industrial Control Systems from the Effects of a Ransomware Attack: A Proposal and Initial Results
Publish or Drop Traffic Event Alerts? Quality-aware Decision Making in Participatory Sensing-based Vehicular CPS
Accounting for Reliability in Unacknowledged Time-Constrained WSNs
RAP: A Software Framework of Developing Convolutional Neural Networks for Resource-constrained Devices Using Environmental Monitoring as a Case Study
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance
Performance Comparison of Timing-Based Anomaly Detectors for Controller Area Network: A Reproducible Study
Can Replay Attacks Designed to Steal Water from Water Distribution Systems Remain Undetected?
Privacy-preserving Crowd-sensed Trust Aggregation in the User-centeric Internet of People Networks
Coordinated Charging and Discharging of Electric Vehicles: A New Class of Switching Attacks
A Hybrid Deep Learning Framework for Intelligent Predictive Maintenance of Cyber-physical Systems
Investigating the Security of EV Charging Mobile Applications as an Attack Surface
Minimizing Transmission Loss in Smart Microgrids by Sharing Renewable Energy
Privacy-preserving Data Aggregation Computing in Cyber-Physical Social Systems
Design and Analysis of Delay-Tolerant Intelligent Intersection Management
Real-Time Middleware for Cyber-Physical Event Processing
Fog-supported Low-latency Monitoring of System Disruptions in Industry 4.0: A Federated Learning Approach
Impact Analysis of Inter-network Degree Correlation on Cascading Failures in Cyber-Physical Systems
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation
MobileTrust: Secure Knowledge Integration in VANETs
Safe and Private Forward-trading Platform for Transactive Microgrids
Resilient Clock Synchronization Using Power Grid Voltage
RIDS: Radio Intrusion Detection and Diagnosis System for Wireless Communications in Smart Environment
Model-driven Per-panel Solar Anomaly Detection for Residential Arrays
CirclePIN: A Novel Authentication Mechanism for Smartwatches to Prevent Unauthorized Access to IoT Devices
Combining Detection and Verification for Secure Vehicular Cooperation Groups
Roadrunner+: An Autonomous Intersection Management Cooperating with Connected Autonomous Vehicles and Pedestrians with Spillback Considered
Distributed Trade-Based Edge Device Management in Multi-Gateway IoT
Introduction to the Special Section on Selected Papers from ICCPS 2021
Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme
Automating Safety and Security Co-design through Semantically Rich Architecture Patterns
Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-core Computing Clusters for Reliable Processing in Space
A Multilabel Fuzzy Relevance Clustering System for Malware Attack Attribution in the Edge Layer of Cyber-Physical Networks
Introduction to the Selected Papers from ICCPS 2016
Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems
Model Conformance for Cyber-Physical Systems: A Survey
A Combinatorial Optimization Analysis Method for Detecting Malicious Industrial Internet Attack Behaviors
Mixed-trust Computing: Safe and Secure Real-time Systems
Scalable Pythagorean Mean-based Incident Detection in Smart Transportation Systems
Last-Mile Transit Service with Urban Infrastructure Data
Green Data Center Cooling Control via Physics-guided Safe Reinforcement Learning
A Distributed Tensor-Train Decomposition Method for Cyber-Physical-Social Services
Beyond Just Safety: Delay-aware Security Monitoring for Real-time Control Systems
HUCDO: A Hybrid User-centric Data Outsourcing Scheme
Characterization of Link Quality Fluctuation in Mobile Wireless Sensor Networks
Guest Editorial: Special Issue on Medical Cyber-Physical Systems
Categorical Semantics of Cyber-Physical Systems Theory
Reinforcement Learning for UAV Attitude Control
The Lord of the Ring Road: A Review and Evaluation of Autonomous Control Policies for Traffic in a Ring Road
A Self-Stabilizing Publish/Subscribe Middleware for IoT Applications
Comprehensive Optimal Network Scheduling Strategies for Wireless Control Systems
Support of MISRA C++ Analyzer for Reliability of Embedded Systems
Modeling and Detecting False Data Injection Attacks against Railway Traction Power Systems
Meta-Learning to Improve Unsupervised Intrusion Detection in Cyber-Physical Systems
Game Theory-Based Parameter Tuning for Energy-Efficient Path Planning on Modern UAVs
Introduction to the Special Issue on Real-Time aspects in Cyber-Physical Systems
Understanding Indicators of Compromise against Cyber-attacks in Industrial Control Systems: A Security Perspective
FreeSia: A Cyber-physical System for Cognitive Assessment through Frequency-domain Indoor Locomotion Analysis
Sim-to-Real Transfer for Estimation over Wireless Networks
TPrune: Efficient Transformer Pruning for Mobile Devices
Out-of-distribution Detection in Dependent Data for Cyber-physical Systems with Conformal Guarantees
A Sustainable and User-Behavior-Aware Cyber-Physical System for Home Energy Management
Optimizing Confidential Deep Learning for Real-Time Systems
On Reliability Analysis of Smart Grids under Topology Attacks: A Stochastic Petri Net Approach
Periodic Event-Triggered CACC and Communication Co-design for Vehicle Platooning
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces
Collaborative Load Management with Safety Assurance in Smart Grids
Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems
A Cloud-Based Black-Box Solar Predictor for Smart Homes
Optimizing Mixed Autonomy Traffic Flow with Decentralized Autonomous Vehicles and Multi-Agent Reinforcement Learning
The AirTight Protocol for Mixed Criticality Wireless CPS
Anomaly Detection Based on RBM-LSTM Neural Network for CPS in Advanced Driver Assistance System
EVScout2.0 : Electric Vehicle Profiling through Charging Profile
Dynamic Watermarking-based Defense of Transportation Cyber-physical Systems
Time-Soundness of Time Petri Nets Modelling Time-Critical Systems
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees
Sℒ 1 -Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments