Misc

Distributing Scenario-based Models: A Replicate-and-Project Approach
Shlomi Steinberg, J. Greenyer, D. Gritzner, D. Harel, Guy Katz, A. Marron
MODELSWARD 2017 2017
Lazy proofs for DPLL(T)-based SMT solvers
Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean
Proceedings of the 2016 Formal Methods in Computer-Aided Design 2016
Intelligent Systems and Formal Methods in Software Engineering
B. Beckert, C. Antony R. Hoare, R. Hähnle, D. R. Smith, C. Green, S. Ranise, Cesare Tinelli, T. Ball, S. K. Rajamani
IEEE Intell. Syst. 2006
Structured programming
Ole-Johan Dahl, Edsger W. Dijkstra, C. Antony R. Hoare
A.P.I.C. Studies in data processing 8 1972

On the Properties of the Anisotropic Multivariate Hermite-Gauss Functions
Shlomi Steinberg, Ömer Eğecioğlu, L. Yan
arXiv Mathematical Physics 2021
Asynchronous spiking neural P systems
M. Cavaliere, Oscar H. Ibarra, G. Paun, Ömer Eğecioğlu, M. Ionescu, S. Woodworth
Theor. Comput. Sci. 2009
A Generalization of the Fast LUP Matrix Decomposition Algorithm and Applications
Oscar H. Ibarra, Shlomo Moran, R. Hui
J. Algorithms 1982
Minimum-Diameter Cyclic Arrangements in Mapping Data-Flow Graphs onto VLSI Arrays
Paul Erdös, I. Koren, Shlomo Moran, G. M. Silberman, S. Zaks
Math. Syst. Theory 1988