Dave Clarke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged completeness

Sound and complete computational interpretation of symbolic hashes in the standard modelFlavio D. Garcia, Peter van Rossum. TCS, 394(1-2):112-133, 2008. [doi]

A Complete Guide to the FutureFrank S. de Boer, Dave Clarke, Einar Broch Johnsen. ESOP 2007: 316-330 [doi]

Counting solutions to binomial complete intersectionsEduardo Cattani, Alicia Dickenstein. jc, 23(1):82-107, 2007. [doi]

Complete Distances of All Negacyclic Codes of Length 2:::s::: Over BBZ::2:::a:::::H. Q. Dinh. TIT, 53(1):147-161, 2007. [doi]

Converting Information Through a Complete and Minimal Unit Transcoder for QoS AdaptationSungmi Chon, Dongyeop Ryu, Younghwan Lim. hci 2007: 594-603 [doi]

S4 is Topologically Complete for (0, 1): a Short ProofGrigori Mints. igpl, 14(1):63-71, 2006. [doi]

On Step-by-Step Complete Decoding Triple-Error-Correcting Binary BCH CodesShyue-Win Wei. ieicet, 89-A(11):3360-3362, 2006. [doi]

Virtual reference training: The complete guide to providing anytime anywhere answersDale A. Stirling. jasis, 56(11):1238-1239, 2005. [doi]

Shannon Information in Complete GenomesChang-Heng Chang, Li-Ching Hsieh, Ta-Yuan Chen, Hong-Da Chen, Liaofu Luo, Hoong-Chien Lee. jbcb, 3(3):587-608, 2005. [doi]

An exact, complete and efficient implementation for computing planar maps of quadric intersection curvesEric Berberich, Michael Hemmer, Lutz Kettner, Elmar Schömer, Nicola Wolpert. compgeom 2005: 99-106 [doi]

Linear lambda calculus and PTIME-completenessHarry G. Mairson. JFP, 14(6):623-633, 2004. [doi]

Learning SIMUL8: The Complete Guide (and SIMUL8 Version 6)Jaret Hauge, Kerrie Paige. jasss, 6(3), 2003. [doi]

Three-Query PCPs with Perfect Completeness over non-Boolean DomainsLars Engebretsen, Jonas Holmerin. cocoon 2003: 284-299 [doi]

Obtaining complete 2.5D view representation of polyhedra using concept of seedling single-view areaMonika Kowalczyk, Wojciech S. Mokrzycki. cviu, 91(3):280-301, 2003. [doi]

Broadcasting in complete and incomplete star interconnection networksBidyut Gupta, K. Ghosh, Deepak Dutta, A. Gupta. csse, 16(4):205-213, 2001.

1-Factorizations of Complete Multigraphs Arising from Finite GeometryGábor Korchmáros, Alessandro Siciliano, Angelo Sonnino. JCT, 93(2):385-390, 2001. [doi]

An ::::omega::::-Complete Equational Specification of InterleavingWan Fokkink, Bas Luttik. icalp 2000: 729-743 [doi]

Computing with Membranes: Attacking NP-Complete ProblemsGheorghe Paun. umc 2001: 94-115

An Inference Method for the Complete Inverse of Relative Subsumptionngc, 17(1), 1999.

REPuter: fast computation of maximal repeats in complete genomesStefan Kurtz, Chris Schleiermacher. bioinformatics, 15(5):426-427, 1999.

There is no complete axiom system for shuffle expressionsAndrzej Szepietowski. ita, 33(3):271-278, 1999.

A Sound and Complete CG Proof Procedure Combining Projections with Analytic TableauxGwen Kerdiles, Eric Salvat. iccS 1997: 371-385

A Complete Axiomatization for Prefix Iteration in Branching BisimulationWan Fokkink. FUIN, 26(2):103-113, 1996.

On the Completeness of the Euations for the Kleene Star in BisimulationWan Fokkink. amast 1996: 180-194

Complete Families of Linear Invariants for Some Stochastic Models of Sequence Evolution, with and without Molecular Clock AssumptionMichael D. Hendy, David Penny. jcb, 3(1):19-32, 1996.

A Complete Theory of Deterministic Event StructuresArend Rensink. concur 1995: 160-174

A Complete Equational Axiomatization for Prefix IterationWan Fokkink. ipl, 52(6):333-337, 1994.

SwaN-NMR: A Complete and Expansible NMR Software for the MacintoshGiuseppe Balacco. jcisd, 34(6):1235-1241, 1994. [doi]

Simple Characterizations of P(#P) and Complete ProblemsSeinosuke Toda. jcss, 49(1):1-17, 1994.

On the Topological Size of p-m-Complete DegreesMarius Zimand. cuza, 3:107-116, 1994.

The Fault-Tolerant Extension Problem for Complete Multipartite NetworksAbdel Aziz Farrag, Robert Dawson. tpds, 5(2):205-210, 1994. [doi]

A Complete Axiom System for CCS with a Stability OperatorSarah Liebert. imperial 1993: 226-234

Fault-Tolerant Embedding of Complete Binary Trees in HypercubesMee Yee Chan, Shiang-Jen Lee. tpds, 4(3):277-288, 1993. [doi]

Polynomial Representations of Complete Sets of Frequency Hyperrectangles with Prime Power DimensionsStephan J. Suchower. JCT, 62(1):46-65, 1993.

On the Completeness of ResiduationMichael Hanus. ICLP 1992: 192-206

Complete Sets of Pairwise Orthogonal Latin Squares and the Corresponding Projective PlanesP. J. Owens. JCT, 59(2):240-252, 1992.

Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley s ResultTCS, 87(1):203-208, 1991.

Problems Complete for +LCarsten Damm. imycs 1990: 130-137

Problems Complete for /oplus LCarsten Damm. ipl, 36(5):247-250, 1990.

Deciding ML Typability is Complete for Deterministic Exponential TimeHarry G. Mairson. POPL 1990: 382-401

The Problem of Determining the Size of a Complete Set of ReductionsLarry Wos. JAR, 5(2):235-237, 1989.

The Problem of Guaranteeing the Existence of a Complete Set of ReductionsLarry Wos. JAR, 5(3):399-401, 1989.

THOMAS - A Complete Single Chip RSA DeviceGordon Rankine. crypto 1987: 480-487 [doi]

A Completeness Theorem for Recursively Defined TypesMario Coppo. icalp 1985: 120-129

Completeness of Type Assignment in Continuous Lambda ModelsMario Coppo. TCS, 29:309-324, 1984.

The edge-coloring of complete hypergraphs IZsolt Baranyai. JCT, 26(3):276-294, 1979. [doi]

One More Polynomial Complete Consecutive Retrieval ProblemWitold Lipski Jr.. ipl, 6(3):91-93, 1977.

Hierarchies of Complete ProblemsZvi Galil. ACTA, 6:77-88, 1976.

Complete Sets and the Polynomial-Time HierarchyCelia Wrathall. TCS, 3(1):23-33, 1976.

a Combinatorial Problem which is Complete in Polynomial SpaceShimon Even, Robert Endre Tarjan. stoc 1975: 66-71

runs on WebDSL