Program schemata technique for propositional program logics: A 30-year history
Shilov, N. V., Shilova, S. O., Bernshtein, A. Yu
Published in Programming and computer software (01.07.2016)
Published in Programming and computer software (01.07.2016)
Get full text
Journal Article
Nonlinear Hairy Layer Theory of Electrophoretic Fingerprinting Applied to Consecutive Layer by Layer Polyelectrolyte Adsorption onto Charged Polystyrene Latex Particles
Donath, E, Walther, D, Shilov, V. N, Knippel, E, Budde, A, Lowack, K, Helm, C. A, Möhwald, H
Published in Langmuir (01.10.1997)
Published in Langmuir (01.10.1997)
Get full text
Journal Article
Generation of correctness conditions for imperative programs
Shilov, N. V., Anureev, I. S., Bodin, E. V.
Published in Programming and computer software (01.11.2008)
Published in Programming and computer software (01.11.2008)
Get full text
Journal Article
Numerical Results for the Dielectric Dispersion Parameters of Colloidal Suspensions
Grosse, C., Arroyo, F.J., Shilov, V.N., Delgado, A.V.
Published in Journal of colloid and interface science (01.10.2001)
Published in Journal of colloid and interface science (01.10.2001)
Get full text
Journal Article
“Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects
Bernstein, A. Yu, Shilov, N. V.
Published in Modelirovanie i analiz informacionnyh sistem (17.03.2015)
Published in Modelirovanie i analiz informacionnyh sistem (17.03.2015)
Get full text
Journal Article