John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged contracts

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with ArraysTorben Amtoft, John Hatcliff, Edwin RodrÃguez. ESOP 2010: 43-63 [doi]

Operation Planning of District Heating and Cooling Plants Considering Contract Violation PenaltiesKosuke Kato, Masatoshi Sakawa, Keiichi Ishimaru, Satoshi Ushiro. jaciii, 13(3):185-192, 2009. [doi]

Specification and Checking of Software Contracts for Conditional Information FlowTorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. FM 2008: 229-245 [doi]

Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial WorkflowsJohn Hatcliff. icfem 2008: 3-4 [doi]

Optimal Scheduling of Contract Algorithms with Soft DeadlinesSpyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel. AAAI 2008: 868-873

Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope ContractsTeresa Franklin. agiledc 2008: 269-273 [doi]

A common fixed point theorem for R-weakly commuting mappings in probabilistic spaces with nonlinear contractive conditionsSinisa N. Jesic, Donal O Regan, Natasa A. Babacev. amc, 201(1-2):272-281, 2008. [doi]

Contract-first service development within the Venice service gridMarkus Hillenbrand, Joachim Götze, Paul Müller. iiwas 2008: 48-54 [doi]

Modular Argumentation For Modelling Legal Doctrines in Common Law of ContractPhan Minh Dung, Phan Minh Thang. jurix 2008: 108-117 [doi]

Contracting over multiple parameters: Capacity allocation in semiconductor manufacturingSuman Mallik. eor, 182(1):174-193, 2007. [doi]

Some game theory and financial contracting issues in corporate transactionsMichael Nwogugu. amc, 186(2):1018-1030, 2007. [doi]

Resizing information systems personnel after IT outsourcing: exploring psychological contracts, violations, and employee outcomesChristina N. Outlay. sigcpr 2007: 224-227 [doi]

Temporal Interaction Contracts for Components in a Distributed SystemOmkar J. Tilak, Rajeev R. Raje. edoc 2007: 339-352 [doi]

On fuzzy contractive mappings in fuzzy metric spacesDorel Mihet. fss, 158(8):915-921, 2007. [doi]

Options to expand and to contract in combinationRossella Agliardi. appml, 20(7):790-794, 2007. [doi]

Incorporating unawareness into contract theoryEmel Filiz. tark 2007: 135-144 [doi]

Optimal Scheduling of Contract Algorithms for Anytime ProblemsAlejandro López-Ortiz, Spyros Angelopoulos, Angèle M. Hamel. AAAI 2006: 874-879

Order of Movement in Decommitting from a ContractDon Perugini, Don Gossink. cimca 2006: 65 [doi]

Service Contract TemplateArnaud Simon, Thomas Rischbeck. IEEEscc 2006: 511 [doi]

Contract-Related AgentsJohn Knottenbelt, Keith Clark. clima 2006: 226-242 [doi]

Fast Contract Signing with Batch Oblivious TransferLubica Stanekova, Martin Stanek. cmsb 2005: 1-10 [doi]

Contracting Intuitionistic TheoriesNeil Tennant. sLogica, 80(2-3):369-391, 2005. [doi]

COTS Acquisition: Getting a Good ContractShadia Elgazzar, Anatol W. Kark, Erik Putrycz, Mark R. Vigder. iccbss 2005: 43-53 [doi]

Intelligent Electronic Inter-Systemic Contracting - Issues on Consent and Contract FormationFrancisco Andrade, José Neves. ICEIS 2004: 403-410

Digital Signatures and Electronic ContractsEdward H. Freeman. isjgp, 13(2):8-12, 2004. [doi]

Good faith and fair dealing in contracts formed and performed by electronic agentsEmily M. Weitzenböck. ail, 12(1-2):83-110, 2004. [doi]

DC-mesh: A Contracted High-Dimensional Mesh for Dynamic ClusteringMasaru Takesue. canpc 2004: 382-389 [doi]

Characteristics of IT Outsourcing ContractsBenoit Aubert, Jean-Francois Houde, Michel Patry, Suzanne Rivard. hicss 2003: 269 [doi]

Efficient Learning of Ordered and Unordered Tree Patterns with Contractible VariablesYusuke Suzuki, Takayoshi Shoudai, Satoshi Matsumoto, Tomoyuki Uchida, Tetsuhiro Miyahara. alt 2003: 114-128 [doi]

Electronic Negotiation of Government Contracts through TransducersAabhas V. Paliwal, Nabil R. Adam, Vijayalakshmi Atluri. DG.O 2003: [doi]

Managing Contracts in Virtual Project Supply ChainsHeli Laurikkala, Kari Tanskanen. ifip5-5 2002: 93-100

Managing Contractual Relationships in Virtual Organizations with Electronic ContractingDaniel Burgwinkel. ifip5-5 2002: 101-108

Fuzzy contractive maps and fuzzy fixed pointsMarlène Frigon, Donal O Regan. fss, 129(1):39-45, 2002. [doi]

Ensuring the Success of Contract Formation in Agent-Mediated Electronic CommerceIan R. Kerr. ecr, 1(1/2):183-202, 2001.

Towards a rigorous and effective functional contract for componentsFrancisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón. informaticaSI, 25(4), 2001.

A Bid Evaluation System for Internet Contract NegotiationQuoc-Bao Nguyen, Mitchell A. Cohen, Jen-Yao Chung. wecwis 2000: 31-40 [doi]

Webwrap and the Law of ContractsEdward H. Freeman. isjgp, 8(2):14-20, 1999. [doi]

Contractible Coherence Spaces and Maximal MapsHongde Hu. ENTCS, 20:309-319, 1999. [doi]

A Class of Lattices Whose Intervals are Spherical or ContractibleSvante Linusson. ejc, 20(3):239-257, 1999. [doi]

Contract renewal-think short termGilbert Held. ijnm, 8(6):323-324, 1998. [doi]

Keys to Engineering a Workable ContractKarl Dakin. IEEE Software, 13(1):99-100, 1996. [doi]

Contract Manufacturing: How Much Can They Do?Tom Langford. itc 1995: 297

Contracted k-tessellations of closed surfacesPaola Bandieri. DM, 122(1-3):7-13, 1993. [doi]

Reliable Execution of Large Distributed Applications in APRICOTS (A Prototype Implementation of a ConTract System)Helmut Wächter. hpts 1993:

Determining Contractibility of CurvesHaijo Schipper. compgeom 1992: 358-367 [doi]

SIREDOJ: A Legal Assistance Application about Contracts in the Building IndustryDiego Bercovich. icail 1991: 260-265 [doi]

A constructive proof for a theorem on contractive mappings in power setsEgbert Harzheim. DM, 45(1):99-106, 1983. [doi]

Expanding and Contracting SW-Banyan NetworksDoug DeGroot. icpp 1983: 19-24

Combinatorial theorems on contractive mappings in power setsEgbert Harzheim. DM, 40(2-3):193-201, 1982. [doi]

ECT - An Extensible-Contractable Translator SystemN. Solntseff, A. Yezerski. ipl, 1(3):97-99, 1972.

runs on WebDSL