Livshits, V. Benjamin
501  Ergebnisse:
Personensuche X
?
1

Context-sensitive program analysis as database queries:

, In: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems,
 
?
2

Improving software security with a C pointer analysis:

, In: Proceedings of the 27th international conference on Software engineering,
 
?
3

Tracking pointers with path and context sensitivity for bug..:

, In: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering,
Livshits, V. Benjamin ; Lam, Monica S. - p. 317-326 , 2003
 
?
4

Merlin : specification inference for explicit informatio..:

, In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation,
 
?
6

A statistical model of mass choice:

Livshits, V. V.
Cybernetics.  12 (1976)  3 - p. 474-483 , 1976
 
?
8

Molecular dynamics and partition of impurity molecules in s..:

Ionova, I. V. ; Medvedeva, A. A. ; Koshkin, A. V..
Journal of Sol-Gel Science and Technology.  101 (2022)  2 - p. 335-344 , 2022
 
?
13

Metabolic engineering of Escherichia coli for L-tryptophan ..:

Panichkin, V. B. ; Livshits, V. A. ; Biryukova, I. V..
Applied Biochemistry and Microbiology.  52 (2016)  9 - p. 783-809 , 2016
 
?
14

Metabolic engineering of Escherichia coli for the productio..:

Doroshenko, V. G. ; Livshits, V. A. ; Airich, L. G....
Applied Biochemistry and Microbiology.  51 (2015)  7 - p. 733-750 , 2015
 
?
 
1-15