Oded Lachish

Orcid: 0000-0001-5406-8121

According to our database1, Oded Lachish authored at least 40 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification.
SIAM J. Comput., December, 2023

2022
Dynamic Spanning Trees for Connectivity Queries on Fully-dynamic Undirected Graphs.
Proc. VLDB Endow., 2022

When you come at the kings you best not miss.
CoRR, 2022

Dynamic Spanning Trees for Connectivity Queries on Fully-dynamic Undirected Graphs (Extended version).
CoRR, 2022

When You Come at the King You Best Not Miss.
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021
On the Power of Relaxed Local Decoding Algorithms.
SIAM J. Comput., 2021

2020
A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Privacy.
Electron. Colloquium Comput. Complex., 2020

2019
A Lower Bound for Relaxed Locally Decodable Codes.
Electron. Colloquium Comput. Complex., 2019

Longest paths in 2-edge-connected cubic graphs.
CoRR, 2019

Improving and Extending the Testing of Distributions for Shape-Restricted Properties.
Algorithmica, 2019

2017
Cellular automata simulation on FPGA for training neural networks with virtual world imagery.
Proceedings of the IEEE Conference on Computational Intelligence and Games, 2017

2016
Testing Read-Once Formula Satisfaction.
ACM Trans. Comput. Theory, 2016

Min-Sum 2-Paths Problems.
Theory Comput. Syst., 2016

Non-deterministic branching programs with logarithmic repetition cannot efficiently compute small monotone CNFs.
CoRR, 2016

2015
Trading query complexity for sample-based testing and multi-testing scalability}.
Electron. Colloquium Comput. Complex., 2015

2014
Partial tests, universal tests and decomposability.
Proceedings of the Innovations in Theoretical Computer Science, 2014

O(log log Rank) Competitive Ratio for the Matroid Secretary Problem.
Proceedings of the 55th IEEE Annual Symposium on Foundations of Computer Science, 2014

2013
The covering and boundedness problems for branching vector addition systems.
J. Comput. Syst. Sci., 2013

Some properties are not even partially testable.
Electron. Colloquium Comput. Complex., 2013

Analysis of Cluster Structure in Large-Scale English Wikipedia Category Networks.
Proceedings of the Advances in Intelligent Data Analysis XII, 2013

2012
On the query complexity of testing orientations for being Eulerian.
ACM Trans. Algorithms, 2012

Testing Formula Satisfaction.
Proceedings of the Algorithm Theory - SWAT 2012, 2012

Improved competitive ratio for the matroid secretary problem.
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, 2012

2011
Testing Periodicity.
Algorithmica, 2011

Parity Games on Graphs with Medium Tree-Width.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2010
Two-phase algorithms for the parametric shortest path problem
CoRR, 2010

Two-phase Algorithms for the Parametric Shortest Path Problem.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

2009
Spanning connectivity games
CoRR, 2009

Wiretapping a Hidden Network.
Proceedings of the Internet and Network Economics, 5th International Workshop, 2009

Hilbert's Thirteenth Problem and Circuit Complexity.
Proceedings of the Algorithms and Computation, 20th International Symposium, 2009

Power Indices in Spanning Connectivity Games.
Proceedings of the Algorithmic Aspects in Information and Management, 2009

2008
Space Complexity Vs. Query Complexity.
Comput. Complex., 2008

2007
Lower bounds for testing Euclidean Minimum Spanning Trees.
Inf. Process. Lett., 2007

Sound 3-query PCPPs are Long.
Electron. Colloquium Comput. Complex., 2007

Testing Properties of Constraint-Graphs.
Electron. Colloquium Comput. Complex., 2007

Testing <i>st</i> -Connectivity.
Proceedings of the Approximation, 2007

2005
Testing Orientation Properties
Electron. Colloquium Comput. Complex., 2005

Languages that are Recognized by Simple Counter Automata are not necessarily Testable
Electron. Colloquium Comput. Complex., 2005

2002
Hole analysis for functional coverage data.
Proceedings of the 39th Design Automation Conference, 2002

2001
Explicit lower bound of <i>4.5n - o(n)</i> for boolena circuits.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001


  Loading...