Misc
Archive
-
Aug 2019
-
Jul 2019
-
Jun 2018
Article Fast, Shared, Upgradeable Mutex
-
Oct 2016
-
Sep 2015
Fun
- Dijkstra number: 4
-
Distributing Scenario-based Models: A Replicate-and-Project Approach
MODELSWARD 2017 2017 -
Lazy proofs for DPLL(T)-based SMT solvers
Proceedings of the 2016 Formal Methods in Computer-Aided Design 2016 -
Intelligent Systems and Formal Methods in Software Engineering
IEEE Intell. Syst. 2006 -
Structured programming
A.P.I.C. Studies in data processing 8 1972
- Erdős number: 4
-
On the Properties of the Anisotropic Multivariate Hermite-Gauss Functions
arXiv Mathematical Physics 2021 -
Asynchronous spiking neural P systems
Theor. Comput. Sci. 2009 -
A Generalization of the Fast LUP Matrix Decomposition Algorithm and Applications
J. Algorithms 1982 -
Minimum-Diameter Cyclic Arrangements in Mapping Data-Flow Graphs onto VLSI Arrays
Math. Syst. Theory 1988