Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

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]

The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and HypermediaSatish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson. apsec 2003: 164 [doi]

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]

Type SystemsLuca Cardelli. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2208-2236, CRC Press, 1997.

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