Vadim Zaytsev - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic DefinitionsVadim Zaytsev. In Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012). 2012: 1910-1915 [doi]

SlowFaster, a user-friendly program for slow-fast analysis and its application on phylogeny of ::::Blastocystis::::Martin Kostka, Magdalena Uzlikova, Ivan Cepicka, Jaroslav Flegr. bmcbi, 9, 2008. [doi]

Symbolic Analysis for Increased Program Execution PerformanceKleanthis Psarris. ica3pp 2008: 318 [doi]

A new computer program for QSAR-analysis: ARTE-QSARSofie Van Damme, Patrick Bultinck. jcc, 28(11):1924-1928, 2007. [doi]

Post-optimality analysis of the optimal solution of a degenerate linear program using a pivoting algorithmJan Stallaert. cor, 34(7):1871-1884, 2007. [doi]

Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersDieter Zöbel, Christian Weyand. sies 2007: 17-24 [doi]

Collection analysis for Horn clause programsDale Miller. ppdp 2006: 179-188 [doi]

Scalable program analysis using Boolean satisfiabilityAlexander Aiken. memocode 2006: 89 [doi]

Structural Analysis of Explicit Fault-Tolerant ProgramsStefan Gossens, Mario Dal Cin. hase 2004: 89-96 [doi]

Modelling and Model Checking of Distributed SystemsVadim Zaytsev. Master's thesis, Rostov State University, Rostov-on-Don, Russia, June 2003.

Automated Analysis of CLP(FD) Program Execution TracesMireille Ducassé, Ludovic Langevine. ICLP 2002: 470-471 [doi]

Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time AnalysisAntoine Colin, Guillem Bernat. ecrts 2002: 50 [doi]

Longitudinal program analysisDavid Notkin. PASTE 2002: 1 [doi]

Efficient deductive methods for program analysisHarald Ganzinger. POPL 2001: 102-103 [doi]

Dependency Analysis of Ada ProgramsJanusz W. Laski, William Stanley, Jim Hurst. sigada 1998: 263-275 [doi]

Kestrel: A Programmable Array for Sequence AnalysisJeffrey D. Hirschberg, David M. Dahle, Kevin Karplus, Don Speck, Richard Hughey. vlsisp, 19(2):115-126, 1998. [doi]

A computer program for the analysis of protein complex formationS. Lay, D. Bray. bioinformatics, 13(4):439-444, 1997.

A Simple Flexible Program for the Computational Analysis of Amyl Acyl Residue Distribution in Proteins: Application to the Distribution of Aromatic versus Aliphatic Hydrophobic Amino Acids in Transmembrane alpha-Helical Spanners of Integral Membrane TransS. Tsang, Milton H. Saier Jr.. jcb, 3(1):185-190, 1996.

Timing Analysis of Ada Tasking ProgramsJames C. Corbett. TSE, 22(7):461-483, 1996. [doi]

The Future of Program AnalysisBarbara G. Ryder. ACM Comput. Surv., 28(4es):174, 1996.

Kestrel: A Programmable Array for Sequence AnalysisJeffrey D. Hirschberg, Richard Hughey, Kevin Karplus, Don Speck. asap 1996: 25-34 [doi]

Wheels: An Automated Program Analysis ToolAggie Y. Sun, Bruce M. McMillin. seke 1996: 269-276

Novel PC-program-systems for Efficient Analysis; Simulation and Iteration of High-resolution 1-D NMR SpectraGerhard Hägele, Rainer Fuhler, Hans Wolfgang Höffken, Thomas Lenzen, Robert Spiske, Ursula Weber. CANDC, 19(3):283-285, 1995. [doi]

Dynamic Matrices and the Cost Analysis of Concurrent ProgramsGian Luigi Ferrari, Ugo Montanari. amast 1995: 307-321

SpinA-AT and DNMR-SIM--two New PC-programs for Analysis and Simulation of NMR SpectraRainer Fuhler, Thomas Lenzen, Gerhard Hägele. CANDC, 19(3):277-282, 1995. [doi]

PROANAL version 2: multifunctional program for analysis of multiple protein sequence alignments and for studying the structure--activity relationships in protein familiesA. M. Eroshkin, V. I. Fomin, P. A. Zhilkin, V. V. Ivanisenko, Y. V. Kondrakhin. bioinformatics, 11(1):39-44, 1995.

KITP-93: An Automated Inference System for Program AnalysisTie-Cheng Wang, Allen Goldberg. cade 1994: 831-835

On the Efficient Engineering of Ambitious Program AnalysisJong-Deok Choi, Ron Cytron, Jeanne Ferrante. TSE, 20(2):105-114, 1994. [doi]

Algorithm and computer program Pro_Anal for analysis of relationship between structure and activity in a family of proteins or peptidesA. M. Eroshkin, P. A. Zhilkin, V. I. Fomin. bioinformatics, 9(5):491-497, 1993.

Software Tools for Micro-analysis of ProgramsJacques Cohen, Aline Weitzman. SPE, 22(9):777-808, 1992.

SSCNAP: a program for symbolic analysis of switched capacitor circuitsBixia Li, Deren Gu. tcad, 11(3):334-340, 1992. [doi]

A Logical Framework for Program AnalysisGeoffrey L. Burn. fp 1993: 30-42

CASPER: a computer program used for structural analysis of carbohydratesPer Erik Jansson, Lennart Kenne, Goeran Widmalm. jcisd, 31(4):508-516, 1991. [doi]

MetaModel: a program for modelling and control analysis of metabolic pathways on the IBM PC and compatiblesA. Cornish-Bowden, J. H. Hofmeyr. bioinformatics, 7(1):89-93, 1991.

A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis TechniquesG. A. Venkatesh. PLDI 1989: 1-12

COMAP: a comigrating analysis program for estimating the relationship of adenoviruses on the genome levelT. Adrian, W. Heinrich. nar, 14(1):559-565, 1986.

A collection of programs for nucleic acid and protein analysis, written in FORTRAN 77 for IBM-PC compatible microcomputersB. Franz Lang, Gertraud Burger. nar, 14(1):455-465, 1986.

Improved programs for DNA and protein sequence analysis on the IBM personal computer and other standard computer systemsD. W. Mount, B. Conrad. nar, 14(1):443-454, 1986.

The SEQANAL and SEQTALK programs: a new method of access to high- resolution nucleotide sequence comparison and analysis programs from a remote laboratory mini- or microcomputerL. Burnett, A. Basten, W. J. Hensley. bioinformatics, 1(4):241-247, 1985.

Microcomputer programs for graphic analysis of nucleic acid and protein sequencesD. W. Mount, B. Conrad. nar, 12(1):811-817, 1984.

A comprehensive set of sequence analysis programs for the VAXJ. Devereux, P. Haeberli, O. Smithies. nar, 12(1):387-395, 1984.

Programmable calculator section : Numerical analysis of one-dimensional and cylindrical diffusion systems using a programmable calculatorW. Linert, K. J. Stiglbrunner, P. Rechberger. CANDC, 8(1):59-66, 1983. [doi]

Analysis of Weakly Interpreted Program SchemesPeter Bachmann. eik, 17(1):15-26, 1981.

Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)A. J. Kfoury. focs 1980: 173-184

Analysis of Simple Programs Over Different Sets of PrimitivesA. J. Kfoury. POPL 1980: 56-61

A Theoretical Study of the Time Analysis of ProgramsAkeo Adachi, Takumi Kasai, Etsuro Moriya. mfcs 1979: 201-207

Intelligent Program AnalysisGregory R. Ruth. ai, 7(1):65-85, 1976.

Logical Analysis of ProgramsShmuel Katz, Zohar Manna. CACM, 19(4):188-206, 1976.

A Computer Program for the Statistical Analysis of Series of EventsPeter A. W. Lewis. IBMSJ, 5(4):202-225, 1966.

An Experimental Program for Linkage AnalysisFrank Bitonti, DeWitt W. Cooper, David N. Frayne, Howard H. Hansen. IBMSJ, 4(3):200-223, 1965.

runs on WebDSL