John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged analysis

Successful preparation and analysis of a 5-site 2-variable DNA librarySusannah Gal, Nancy Monteith, Anthony J. Macula. nc, 8(2):333-347, 2009. [doi]

Intellectual structure of human resources management research: A bibliometric analysis of the journal ::::Human Resource Management::::, 1985-2005Mariluz Fernandez-Alles, Antonio Ramos-Rodríguez. jasis, 60(1):161-175, 2009. [doi]

Bifurcation Analysis of a General Class of Nonlinear Integrate-and-Fire NeuronsJonathan Touboul. siamam, 68(4):1045-1079, 2008. [doi]

::::qpcR::::: an R package for sigmoidal model selection in quantitative real-time polymerase chain reaction analysisChristian Ritz, Andrej-Nikolai Spiess. bioinformatics, 24(13):1549-1551, 2008. [doi]

Closing the Gap Between Theory and Practice: New Measures for On-Line Algorithm AnalysisReza Dorrigiv, Alejandro López-Ortiz. walcom 2008: 13-24 [doi]

Neon: A Library for Language Usage AnalysisJurriaan Hage, Peter van Keeken. SLE 2008: 35-53 [doi]

Sensitivity analysis for a system of generalized nonlinear mixed quasi-variational inclusions in q-uniformly smooth Banach spacesJae Ug Jeong, Soo Hwan Kim. amc, 202(1):178-187, 2008. [doi]

Formal Software Analysis Emerging Trends in Software Model CheckingMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser. ICSE 2007: 120-136 [doi]

9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, BrazilIEEE Computer Society, 2007.

A generic usage analysis with subeffect qualifiersJurriaan Hage, Stefan Holdermans, Arie Middelkoop. ICFP 2007: 235-246 [doi]

Using scripts to streamline citation analysis on STN InternationalChristoph Neuhaus, Andreas Litscher, Hans-Dieter Daniel. scientometrics, 71(1):145-150, 2007. [doi]

An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)Venkatesh Prasad Ranganath, John Hatcliff. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2006. [doi]

Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, ProceedingsHorst Bunke, A. Lawrence Spitz, editors, Volume 3872 of Lecture Notes in Computer Science, Springer, 2006.

Adaptive Analysis of On-line AlgorithmsReza Dorrigiv, Alejandro López-Ortiz. Dagstuhl 2007: [doi]

Performance Analysis of WAP Packet Transmission Time and Optimal Packet Size in Wireless NetworkIl-Young Moon. kes 2006: 467-474 [doi]

Statistical challenges in the analysis of two-dimensional difference gel electrophoresis experiments using DeCyder:::TM:::Imola K. Fodor, David O. Nelson, Michelle Alegria-Hartman, Kristin Robbins, Richard G. Langlois, Kenneth W. Turteltaub, Todd H. Corzett, Sandra L. McCutchen-Maloney. bioinformatics, 21(19):3733-3740, 2005. [doi]

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. FASE 2004: 160-164 [doi]

Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsHubert Garavel, John Hatcliff, editors, Volume 2619 of Lecture Notes in Computer Science, Springer, 2003.

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based SystemsJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath. ICSE 2003: 160-173 [doi]

NRSAS: Nuclear Receptor Structure Analysis ServersEmmanuel Bettler, Roland Krause, Florence Horn, Gert Vriend. nar, 31(13):3400-3403, 2003.

Kinetic parameter estimation and statistical analysis of vanadyl etioporphyrin hydrodemetallizationFei Xiang Long, Börje S. Gevert. cce, 27(5):697-700, 2003. [doi]

Analysis of output of all Purkinje cells controlled by one climbing fiber cellWitali L. Dunin-Barkowski. ijon, 44-46:391-400, 2002. [doi]

Imaging and Material Analysis from Sputter-Induced Light Emission Using Coaxial Ion-Photon ColumnChun-Cheng Tsao, Bill Thompson, Ted Lundquist. mr, 42(9-11):1667-1672, 2002. [doi]

Software Acquisition: A Business Strategy AnalysisBarbara Farbey, Anthony Finkelstein. RE 2001: 76-83 [doi]

6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USAIEEE Computer Society, 2001.

Cognitive Structures of Software Evaluation: A Means-End Chain Analysis of QualityBernard Wong, D. Ross Jeffery. PROFES 2001: 6-26 [doi]

Specified Resolution Wavelet Analysis of Activation Patterns from BOLD Contrast fMRIVinzenz von Tscharner, Keith R. Thulborn. tmi, 20(8):704-714, 2001.

Analysis of Compressed Document Images for Dominant Skew, Multiple Skew, and Logotype DetectionA. Lawrence Spitz. cviu, 70(3):321-334, 1998. [doi]

4th International Conference Document Analysis and Recognition (ICDAR 97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, ProceedingsIEEE Computer Society, 1997.

Conformational analysis of model compounds of vitamin D by theoretical calculationsEmilio Martínez-Núñez, Saulo A. Vázquez, Ricardo A. Mosquera. jcc, 18(13):1647-1655, 1997. [doi]

Exact performance analysis of linear block codes in frequency-hop spread spectrum communication systemsAbdel-Ghani A. Daraiseh, Carl W. Baum. TIT, 43(6):1993-1999, 1997.

Stakeholders, soft systems and technology: separation and mediation in the analysis of information system requirementsRichard T. Vidgen. isj, 7(1):21-46, 1997. [doi]

Special issue on non-conventional pattern analysis in remote sensingElisabetta Binaghi, Pietro Alessandro Brivio, Anna Rampini, Robert A. Schowengerdt. prl, 17(13):1323-1324, 1996. [doi]

European Computing Curricula: A Guide and Comparative AnalysisAnthony Finkelstein. cj, 36(4):299-319, 1993.

CPS-Transformation After Strictness AnalysisOlivier Danvy, John Hatcliff. loplas, 1(3):195-212, 1992.

Invariant-Theoretic Methods in Scene Analysis and Structural MechanicsHenry Crapo. JSC, 11(5/6):523-548, 1991.

Harthong-Reeb analysis and digital circlesHubert Holin. vc, 8(1):8-17, 1991.

Configuration Management = Interface Control + Version Control + Analysis ControlAlexander L. Wolf. SCM 1988: 401-404

Detection of alpha 1-antitrypsin genotypes by analysis of amplified DNA sequencesK. B. Petersen, S. Kolvraa, L. Bolund, G. B. Petersen, J. Koch, N. Gregersen. nar, 16(1):352, 1988.

Scene Analysis and Geometric HomologyHenry Crapo, Juliette Ryan. compgeom 1986: 125-132 [doi]

The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, ProceedingsB. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray, editors, Volume 207 of Lecture Notes in Computer Science, Springer, 1985.

Analysis of N-TreesMarkku Tamminen. ipl, 16(3):131-137, 1983.

Merging Performance and Cost-Benefit Analysis in Computer System EvaluationGiacomo Bucci, Dario Maio. Computer, 15(9):23-31, 1982.

Analysis of a Heuristic for Trie MinimizationDouglas Comer. TODS, 6(3):513-537, 1981. [doi]

Buffer Performance Analysis of Communication Processors During Slowdown at Network ControlWe-Min Chow, Lin S. Woo. ibmrd, 21(3):264-272, 1977.

Some Results in Fixed-Point Fast Fourier Transform Error AnalysisM. Sundaramurthy, V. Umapathi Reddy. TC, 26(3):305-309, 1977.

Analysis of the Berlekamp-Massey Linear Feedback Shift-Register Synthesis AlgorithmFred G. Gustavson. ibmrd, 20(3):204-212, 1976.

The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic QueueWilliam R. Franta. ACTA, 6:187-209, 1976.

Analysis of global pattern featuresD. J. H. Moore, D. J. Parker. PR, 6(3-4):149-164, 1974. [doi]

Algorithm 359: factorial analysis of variance [G1]John R. Howell. CACM, 12(11):631-632, 1969. [doi]

runs on WebDSL