Oded Margalit  Oded Margalit photo       

contact information

CTO
CCoE, Beer Sheva, Israel
  +972dash74dash737dash5143

links



2017

Cluster-Based Load Balancing for Better Network Security
Frishman, Gal and Ben-Itzhak, Yaniv and Margalit, Oded
Proceedings of the Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, pp. 7--12, 2017
Abstract


2016

Using Computer Programming Competition for Cyber Education
Oded Margalit
2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE), pp. 104--107, IEEE


2014

Pareto Landscapes Analyses via Graph-Based Modeling for Interactive Decision-Making
Ofer M Shir, Shahar Chen, David Amid, Oded Margalit, Michael Masin, Ateret Anaby-Tavor, David Boaz
EVOLVE-A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, pp. 97--113, Springer, 2014

Generating Modulo-2 Linear Invariants for Hardware Model Checking
Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
Hardware and Software: Verification and Testing, pp. 54--67, Springer, 2014

On the riddle of coding equality function in the garden hose model
Oded Margalit
ITA 2014
Abstract


2013

To Zip or not to Zip: effective resource usage for real-time compression.
Harnik, Danny and Kat, Ronen I and Margalit, Oded and Sotnikov, Dmitry and Traeger, Avishay
FAST, pp. 229--242, 2013
Abstract

Better Bounds for Event Sequencing Testing
Oded Margalit
The 2nd International Workshop on Combinatorial Testing (IWCT 2013) at Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on, pp. 281--284

To Zip or not to Zip: Effective Resource Usage for Real-Time Compression
Danny Harnik, Ronen Kat, Oded Margalit, Dmitry Sotnikov, Avishay Traeger
FAST 2013, pp. 229--242


2012

Mage-the CDCL SAT solver developed and used by IBM for formal verificati on http://ibm. co
Margalit, Oded and Matsliah, Ari{\"e}
P7qNpC. personal communication, 2012

Mage-the CDCL SAT solver developed and used by IBM for formal verification http://ibm. co
Margalit, Oded and Matsliah, Ari{"e}
P7qNpC. personal communication, 2012

Mage-the CDCL SAT solver developed and used by IBM for formal verificati on http://ibm. co
Margalit, Oded and Matsliah, Ari{\"e}
P7qNpC. personal communication, 2012

Mage-the CDCL SAT solver developed and used by IBM for formal verification http://ibm. co
Oded Margalit, Ari{"e} Matsliah
P7qNpC. personal communication, 2012

Estimation of Deduplication Ratios in Large Data Sets
Danny Harnik, Oded Margalit, Dalit Naor, Dmitry Sotnikov, Gil Vernik
The 28th Conference on Mass Storage Systems and Technologies (MSST12), pp. 1--11, 2012

Perfect hashing and cnf encodings of cardinality constraints
Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah
Theory and Applications of Satisfiability Testing--SAT 2012, pp. 397--409, Springer


2011

Smarter log analysis
E Aharoni, S Fine, Y Goldschmidt, O Lavi, O Margalit, M Rosen-Zvi, L Shpigelman
IBM Journal of Research and Development 55(5), 10:1 - 10:10 , IBM, 2011


2008

Semi-Automatic Detection of Tool Variability
Oded Margalit, Adam Ticknor, Robert J. Baseman
9th European AEC/APC Conferenc, 2008

Finding the rare cube
Shlomo Hoory, Oded Margalit
Algorithmic Learning Theory, pp. 344--358, 2008


1997

All pairs shortest distances for graphs with small integer length edges
Z Galil, O Margalit
Information and Computation 134(2), 103--139, Elsevier, 1997

All pairs shortest paths for graphs with small integer length edges
Z Galil, O Margalit
Journal of Computer and System Sciences 54(2), 243--254, Elsevier, 1997

On the exponent of the all pairs shortest path problem
N Alon, Z Galil, O Margalit
Journal of Computer and System Sciences 54(2), 255--262, Elsevier, 1997


1993

Witnesses for Boolean matrix multiplication and shortest paths
Z Galil, O Margalit
Journal of Complexity, 417--426, 1993

Witnesses for boolean matrix multiplication
Z Galil, O Margalit
Journal of Complexity9, 201--221, 1993

Witnesses for Boolean matrix multiplication and for transitive closure
Z Galil, O Margalit
Journal of Complexity 9(2), 201--221, Academic Press, Inc. Orlando, FL, USA, 1993


1992

Approximate max flow on small depth acyclic networks
E Cohen, N Alon, Z Galil, O Margalit, M Naor, J Friedman, D Eppstein, Z Galil, G F Italiano, A Nissenzweig, others
Manuscript, 1992

All pairs shortest distances for graphs with integer length edges
Z Galil, O Margalit
Submitted for publication, 1992

Witnesses for boolean matrix multiplication and for shortest paths
Noga Alon, Zvi Galil, Oded Margalit, Moni Naor
Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on, pp. 417--426


1991

A faster algorithm for the All Pairs Shortest Path problem for undirected graphs
Z Galil, O Margalit
Manuscript, August, 1991

An almost linear-time algorithm for the dense subset-sum problem
Z Galil, O Margalit
SIAM Journal on Computing20, 1157, 1991


1988