Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged consistency

On Extension of Dependency and Consistency Degrees of Two Knowledges Represented by CoveringP. Samanta, Mihir K. Chakraborty. trs, 9:351-364, 2008. [doi]

A Consistency Result for the Normalized Eight-Point AlgorithmWojciech Chojnacki, Michael J. Brooks. iciap 2007: 603-608 [doi]

Consistency-Degree Between KnowledgesMihir K. Chakraborty, P. Samanta. rseisp 2007: 133-141 [doi]

Reduced Functional Consistency of Uninterpreted FunctionsAmir Pnueli, Ofer Strichman. ENTCS, 144(2):53-65, 2006. [doi]

Interactive Consistency on a Time-Triggered Real-Time Control NetworkColin Ryan, Donal Heffernan, Gabriel Leen. tii, 2(4):242-254, 2006. [doi]

Consistency of the FastSLAM AlgorithmTim Bailey, Juan Nieto, Eduardo Mario Nebot. icra 2006: 424-429

Loyalty to computer terminals: is it anthropomorphism or consistency?Shyam S. Sundar. behaviourIT, 23(2):107-118, 2004. [doi]

Trading-off Consistency and Interactivity in Networked Computer GamesMarco Schumann. simvis 2004: 127-140

The Consistency between the Attribute Relationships and Time-Serial Count OperatorsShao Hua, Chang Guiran, Zhao Hong. cbms 2004: 529-534 [doi]

Flexible consistency checkingChristian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer. TOSEM, 12(1):28-63, 2003. [doi]

Consistency Management with Repair ActionsChristian Nentwich, Wolfgang Emmerich, Anthony Finkelstein. ICSE 2003: 455-464 [doi]

On the consistency of the minimum evolution principle of phylogenetic inferenceFrançois Denis, Olivier Gascuel. DAM, 127(1):63-77, 2003.

The Impossibility of Global ConsistencyGio Wiederhold. omics, 7(1):17-20, 2003. [doi]

Consistency stability intervals for a judgement in AHP decision support systemsJuan Aguarón, María Teresa Escobar, José María Moreno-Jiménez. eor, 145(2):382-393, 2003. [doi]

The geometric consistency index: Approximated thresholdsJuan Aguarón, José María Moreno-Jiménez. eor, 147(1):137-145, 2003. [doi]

xlinkit: a consistency checking and smart link generation serviceChristian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein. ACM Trans. Internet Techn., 2(2):151-185, 2002. [doi]

Assessing face and speech consistency for monologue detection in videoHarriet J. Nock, Giridharan Iyengar, Chalapathy Neti. mm 2002: 303-306 [doi]

Static Consistency Checking for Distributed SpecificationsChristian Nentwich, Wolfgang Emmerich, Anthony Finkelstein. ASE 2001: 115 [doi]

Extending Memory Consistency of Finite Prefixes to Infinite ComputationsMarcelo Glusman, Shmuel Katz. concur 2001: 411-425 [doi]

A Foolish Consistency: Technical Challenges in Consistency ManagementAnthony Finkelstein. DEXA 2000: 1-5 [doi]

Consistency Management for Distributed CollaborationJonathan Rees, Sarah Ferguson, Sankar Virdhagriswaran. ACM Comput. Surv., 31(2es):13, 1999. [doi]

Measuring Process Consistency: Implications for Reducing Software DefectsMayuram S. Krishnan, Marc I. Kellner. TSE, 25(6):800-815, 1999. [doi]

The Consistency Dimension, Compactness, and Query LearningJosé L. Balcázar. csl 1999: 2-13

On the Consistency of a Positive TheoryOlivier Esser. mlq, 45:105-116, 1999.

Real-Time Primary-Backup (RTPB) Replication with Temporal Consistency GuaranteesHengming Zou, Farnam Jahanian. icdcs 1998: 48-56 [doi]

Class Hierarchies: Consistency Between LibrariesL.-M. Yap, Brian Henderson-Sellers. acj, 29(3):81-94, 1997.

A Combinatorial Consistency Lemma with Application to Proving the PCP TheoremOded Goldreich, Shmuel Safra. random 1997: 67-84

The Inhibition Spectrum and the Achievement of Causal ConsistencyCarol Critchlow, Kim Taylor. dc, 10(1):11-27, 1996.

A Combinatorial Consistency Lemma with application to the PCP TheoremOded Goldreich, Shmuel Safra. eccc, 3(47), 1996. [doi]

Directed Arc Consistency PreprocessingRichard J. Wallace. cp 1995: 121-137

The Impact of Linguistics on Conceptual Models: Consistency and UnderstandabilityJ. F. M. Burg, Reind P. van de Riet. nldb 1995: 183-197

The Consistency of One Fixed OmegaJames M. Henle. JSYML, 60(1):172-177, 1995.

Message-Driven Relaxed Consistency in a Software Distributed Shared MemoryPovl T. Koch, Robert J. Fowler, Eric Jul. osdi 1994: 75-85

Strong consistency of the contraction mapping method for frequency estimationTa-Hsin Li, Benjamin Kedem. TIT, 39(3):989-998, 1993.

Performance of Weak Consistency Schemes on the DEC AlphaT. Harris, Nigel P. Topham. parco 1994: 429-436

Consistency Checking of Automata Functional SpecificationsAnatoli N. Chebotarev, Marina K. Morokhobets. lpar 1993: 76-85

Generation of Proof Obligations for Type ConsistencyFlemming M. Damm, Bo Stig Hansen. sosl 1994: 83-100

The Complexity of Deciding Consistency of Systems of Polynomial in Exponent InequalitiesNicolai Vorobjov. JSC, 13(2):139-174, 1992.

Two Techniques to Enhance the Performance of Memory Consistency ModelsKourosh Gharachorloo, Anoop Gupta, John L. Hennessy. icpp 1991: 355-364

Annotations on the Consistency of the Closed World AssumptionGerhard Jäger. jlp, 8(3):229-247, 1990.

Consistency of HDP applied to a simple reinforcement learning problemPaul J. Werbos. NN, 3(2):179-189, 1990. [doi]

The Consistency of Negation as FailureTim Flannagan. jlp, 3(2):93-114, 1986.

The Consistency of the Axiom of Universality for the Ordering of CardinalitiesMarco Forti, Furio Honsell. JSYML, 50(2):502-509, 1985.

On the Consistency of an Impredicative Subsystem of Quine s NFMarcel Crabbé. JSYML, 47(1):131-136, 1982.

Relative Consistency of an Extension of Ackermann s Set TheoryJohn Lake. JSYML, 41(2):465-466, 1976.

Consistency of Lesniewski s MereologyCzeslaw Lejewski. JSYML, 34(3):321-328, 1969.

On the Consistency of an Axiom of EnumerabilityVaclav Edvard Benes. JSYML, 20(1):29-30, 1955.

A Relative Consistency ProofJoseph R. Shoenfield. JSYML, 19(1):21-28, 1954.

Some Formal Relative Consistency ProofsRobert McNaughton. JSYML, 18(2):136-144, 1953.

Report on Some Investigations Concerning the Consistency of the Axiom of ReducibilityJohn R. Myhill. JSYML, 16(1):35-42, 1951.

runs on WebDSL