John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged open-source

An open test bed for medical device integration and coordinationAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. ICSE 2009: 141-151 [doi]

The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)Libor Barto, Marcin Kozik, Todd Niven. SICOMP, 38(5):1782-1802, 2009. [doi]

WIDIT in TREC 2008 Blog Track: Leveraging Multiple Sources of Opinion EvidenceKiduk Yang. trec 2008: [doi]

The access principle: The case for open access to research and scholarshipLisa A. Ennis. jasis, 58(9):1386, 2007. [doi]

Automatically maintaining navigation sequences for querying semi-structured web sourcesAlberto Pan, Juan Raposo, Manuel Álvarez, Victor Carneiro, Fernando Bellas. DKE, 63(3):795-810, 2007. [doi]

Effectively open real functionsMartin Ziegler. jc, 22(6):827-849, 2006. [doi]

Regular Expressions: New Results and Open ProblemsKeith Ellul, Bryan Krawetz, Jeffrey Shallit, Ming-wei Wang. jalc, 10(4):407-437, 2005.

Easy Open Can End Inspection Using UV Black LightEmilio Martínez Expósito, Perfecto Mariño Espiñeira, Vicente Pastoriza Santos, Miguel Santamaría Sánchez. vision 2005: 178-184

Establishing an Open Systems Storage Strategy for your CompanyJoel B. Motzny, Jeffry A. Smith. cmg 2004: 949-956

Open and Closed Form in Interactive MusicLars Graugaard. cmmr 2005: 149-157 [doi]

B2B Electronic Markets: A Conceptual Model for Analyzing the Sources of Business ValueChia Yao Lee, Brian J. Corbitt. icebe 2004: 397-401

Automatic Assessment of Open Ended Questions with a Bleu-Inspired Algorithm and Shallow NLPEnrique Alfonseca, Diana Pérez. tal 2004: 25-35 [doi]

The MP3 open standard and the music industry s response to Internet piracyRobert F. Easley, John G. Michel, Sarv Devaraj. CACM, 46(11):90-96, 2003. [doi]

Consumers perceived risk: sources versus consequencesNena Lim. ecra, 2(3):216-228, 2003. [doi]

Open problems from the Linz2000 closing sessionLawrence Neff Stout. fss, 138(1):83-84, 2003. [doi]

The Complex Spline Approximation of Singular Integral Operators over an Open ArcYong Jia Xu. jat, 119(1):86-109, 2002. [doi]

Open Mind Common Sense: Knowledge Acquisition from the General PublicPush Singh, Thomas Lin, Erik T. Mueller, Grace Lim, Travell Perkins, Wan Li Zhu. coopis 2002: 1223-1237 [doi]

Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001, In José A. Moinhos Cordeiro, Haim Kilov, editors, ICEIS Press, 2001.

Optimal encoding of non-stationary sourcesJohn H. Reif, James A. Storer. isci, 135(1-2):87-105, 2001.

Keeping the Door to your Community Open: A Year in the Life of our Campus-wide Learning and Information PortalLisa Isleb, Joseph Kalinowski, Debra Babineau, Sarah Walkowiak. webnet 2001: 594-596

Storage Networking Primer for OS390 and Open SystemsGreg P. Schulz. cmg 2001: 579-588

Capacity Regions for Network Multiplexers with Heavy-tailed Fluid On-off SourcesPredrag R. Jelenkovic, Petar Momcilovic. infocom 2001: 289-298 [doi]

Bandera: extracting finite-state models from Java source codeJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng. ICSE 2000: 439-448 [doi]

Bandera: a source-level interface for model checking Java programsJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. ICSE 2000: 762-765 [doi]

General Open and Closed Queueing Networks with Blocking: A Unified Framework for ApproximationMark Vroblefski, Ram Ramesh, Stanley Zionts. informs, 12(4):299-316, 2000. [doi]

Bisimilarity of Open TermsArend Rensink. iandc, 156(1-2):345-385, 2000.

Open Card: Talking to Your Smart CardDirk Husemann, Reto Hermann. ieeecc, 7(3):53-57, 1999. [doi]

Competitive Sourcing for Internet CommerceSteven P. Ketchpel, Hector Garcia-Molina. icdcs 1998: 602-611 [doi]

Bisimilarity of open termsArend Rensink. ENTCS, 7:262, 1997. [doi]

Primary Sources, Research, and the Internet: The Digital Scriptorium at DukeSteven L. Hensen. firstmonday, 2(9), 1997. [doi]

Optical Imaging of Anatomical Maps Derived from Magnetic Resonance Images Using Time-Independent Optical SourcesJenghwa Chang, Harry L. Graber, Ping Chen Koo, Raphael Aronson, San-Lian S. Barbour, Randall L. Barbour. tmi, 16(1):68-77, 1997.

Zero-Error Codes for Correlated Information SourcesA. Kh. Al Jabri, S. Al-Issa. ima 1997: 17-22

Simple Bounds for Queues Fed by Markovian Sources: A Tool for Performance EvaluationBrian McGurk, Raymond Russell. cpe 1997: 206-217

Beyond the Black Box: Open ImplementationGregor Kiczales. IEEE Software, 13(1):8-11, 1996. [doi]

Universal coding for correlated sources with linked encodersYasutada Oohama. TIT, 42(3):837-847, 1996.

Upper and Lower Bounds for the Multiplexing of Multiclass Markovian on/off SourcesD. Artiges, Philippe Nain. pe, 27/28(4):673-698, 1996.

The Larch Shared Language: Some Open ProblemsJames J. Horning. compass 1996: 58-73

Prioritized statistical multiplexing of PCM sourcesMing H. Chan, John P. Princen. ton, 3(5):549-559, 1995. [doi]

Characterization of Statistical Multiplexing of Heterogeneous ATM SourcesHyong W. Lee, Jon W. Mark. infocom 1995: 345-353

Capacity Allocation in Statistical Multiplexing of ATM SourcesHyong W. Lee, Jon W. Mark. infocom 1994: 708-715

Local Area Network Applications: Leveraging the LAN, Proceedings of the IFIP TC8/WG8.4 Working Conference on The Open Systems Future: Leveraging the LAN, Perth, Western Australia, 29 August - 2 September, 1993Douglas R. Vogel, Peter H. Marshall, Bernard C. Glasson, Alex A. Verrijn-Stuart, editors, Volume A-31 of IFIP Transactions, North-Holland, 1993.

ATM Network Traffic Characterization Using Two Types of On-Off SourcesHyong W. Lee, Jon W. Mark. infocom 1993: 152-159

Using Multiple Knowledge Sources for Word Sense DiscriminationSusan Weber McRoy. coling, 18(1):1-30, 1992.

Open Systems for PrintingMichael A. Curry. cmg 1992: 390-396

Performance Management of Distributed Open SystemsEric D. Ho. cmg 1992: 742-751

Verification of results that logically related noninteractive literatures are potential sources of new knowledgeDon R. Swanson. jasis, 40(3):152, 1989.

On the average codeword length of optimal binary codes for extended sourcesBruce L. Montgomery, B. V. K. Vijaya Kumar. TIT, 33(2):293, 1987.

Integrating Diverse Knowledge Sources in Text RecognitionSargur N. Srihari, Jonathan J. Hull, Ramesh Choudhari. tois, 1(1):68-87, 1983. [doi]

The Application and Presentation Layers of the Reference Model for Open Systems InterconnectionPaul D. Bartoli. infocom 1983: 196-201

A Symmetrical Exponential Open Queue Network with Blocking and FeedbackHarry G. Perros. TSE, 7(4):395-402, 1981.

runs on WebDSL