| 2851 |
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
Zhiyang Chen, Jan Gorzny, Martin Derka
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2852 |
Branch-and-cut algorithms for colorful components problems
Claudia Archetti, Martina Cerulli, Carmine Sorgente
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2853 |
Galled Perfect Transfer Networks
Alitzel López Sánchez, Manuel Lafond
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2854 |
Improved Hardness and Approximations for Cardinality-Based Minimum $s$-$t$ Cuts Problems in Hypergraphs
Florian Adriaens, Vedangi Bengali, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2855 |
Reasoning about expression evaluation under interference
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2856 |
Compression with wildcards: All induced metric subgraphs
Marcel Wild
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2857 |
Fast decision tree learning solves hard coding-theoretic problems
Caleb Koch, Carmen Strassle, Li-Yang Tan
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2858 |
Polynomial Universes in Homotopy Type Theory
C. B. Aberlé, David I. Spivak
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2859 |
$k$-local Graphs
Christian Beth, Pamela Fleischmann, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2860 |
Optimal additive quaternary codes of dimension $3.5$
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2861 |
On combinatorial descriptions of faces of the cone of supermodular functions
Milan Studený
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2862 |
Solving Polynomial Equations Over Finite Fields
Holger Dell, Anselm Haak, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2863 |
Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
Matteo Capucci, David Jaz Myers
|
🔮
The Ethereal
|
math.CT
|
1 |
1 year ago |
| 2864 |
Focal-free uniform hypergraphs and codes
Xinqi Huang, Chong Shangguan, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2865 |
Leveraging Slither and Interval Analysis to build a Static Analysis Tool
Stefan-Claudiu Susan
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2866 |
New classes of reversible cellular automata
Jan Kristian Haugland, Tron Omland
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2867 |
Nearly-Linear Time Seeded Extractors with Short Seeds
Dean Doron, João Ribeiro
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2868 |
Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2869 |
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2870 |
Weak Permission is not Well-Founded, Grounded and Stable
Guido Governatori
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2871 |
The Lambda Calculus is Quantifiable
Valentin Maestracci, Paolo Pistone
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2872 |
On large Sidon sets
Ingo Czerwinski, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2873 |
Synchronisability in Mailbox Communication
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
|
🔮
The Ethereal
|
cs.FL
|
1 |
1 year ago |
| 2874 |
Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2875 |
Algorithmics and Complexity of Cost-Driven Task Offloading with Submodular Optimization in Edge-Cloud Environments
Longkun Guo, Jiawei Lin, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2876 |
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2877 |
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
Michael Blondin, Michaël Cadilhac, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2878 |
Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
Conrad Zimmerman, Jenna DiVincenzo
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2879 |
Probability and Angelic Nondeterminism with Multiset Semantics
Shawn Ong, Stephanie Ma, Dexter Kozen
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2880 |
CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
Subhashis Das, Debashis Naskar, Sara Rodriguez Gonzalez
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2881 |
Direct Encoding of Declare Constraints in ASP
Francesco Chiariello, Valeria Fionda, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2882 |
The Black Ninjas and the Sniper: On Robustness of Population Protocols
Benno Lossin, Philipp Czerner, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
1 |
1 year ago |
| 2883 |
Whitney Numbers of Rank-Metric Lattices and Code Enumeration
Giuseppe Cotardo, Alberto Ravagnani, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2884 |
Implicit Rankings for Verifying Liveness Properties in First-Order Logic
Raz Lotan, Sharon Shoham
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2885 |
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
Daniil Averkov, Tatiana Belova, ... (+9 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2886 |
On the Power and Limitations of Examples for Description Logic Concepts
Balder ten Cate, Raoul Koudijs, Ana Ozaki
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2887 |
On the occupancy fraction of the antiferromagnetic Ising model
Ewan Davies, Olivia LeBlanc
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2888 |
Collision-resistant hash-shuffles on the reals
George Barmpalias, Xiaoyan Zhang
|
🔮
The Ethereal
|
math.LO
|
1 |
1 year ago |
| 2889 |
On H-Intersecting Graph Families and Counting of Homomorphisms
Igal Sason
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2890 |
Changing almost perfect nonlinear functions on affine subspaces of small codimensions
Hiroaki Taniguchi, Alexandr Polujan, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2891 |
Proof Recommendation System for the HOL4 Theorem Prover
Nour Dekhil, Adnan Rashid, Sofiene Tahar
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2892 |
FC-Datalog as a Framework for Efficient String Querying
Owen M. Bell, Joel D. Day, Dominik D. Freydenberger
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2893 |
Efficient Algorithm for Sparse Fourier Transform of Generalized $q$-ary Functions
Darin Tsui, Kunal Talreja, Amirali Aghazadeh
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2894 |
An O(log n)-Approximation Algorithm for (p,q)-Flexible Graph Connectivity via Independent Rounding
Sharat Ibrahimpur, László A. Végh
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2895 |
Constructive characterisations of the must-preorder for asynchrony
Giovanni Bernardi, Ilaria Castellani, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2896 |
A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
Xichen Tang
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2897 |
A domain-theoretic framework for conditional probability and Bayesian updating in programming
Pietro Di Gianantonio, Abbas Edalat
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2898 |
Unweighted One-Sided Code Sparsifiers and Thin Subgraphs
Shayan Oveis Gharan, Arvin Sahami
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2899 |
On a tree-based variant of bandwidth and forbidding simple topological minors
Hugo Jacob, William Lochet, Christophe Paul
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2900 |
Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
Gabriele Fici, Estéban Gabory
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |