Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 8570 results
Sort by: relevance publication year

A polynomial bound on the number of light cycles in an undirected graph

JOURNAL ARTICLE published February 1995 in Information Processing Letters

Authors: Ashok Subramanian

A general compiler for password-authenticated group key exchange protocol

JOURNAL ARTICLE published January 2010 in Information Processing Letters

Authors: Hui Li | Chuan-Kun Wu | Jun Sun

The complexity of preemptive scheduling given interprocessor communication delays

JOURNAL ARTICLE published May 1987 in Information Processing Letters

Authors: V.J. Rayward-Smith

Constructor equivalent term rewriting systems

JOURNAL ARTICLE published September 1993 in Information Processing Letters

Authors: Iréne Durand | Bruno Salinier

A direct construction of polynomial-size OBDD proof of pigeon hole problem

JOURNAL ARTICLE published April 2009 in Information Processing Letters

Authors: Wěi Chén | Wenhui Zhang

On semantic cutting planes with very small coefficients

JOURNAL ARTICLE published August 2018 in Information Processing Letters

Research funded by Horizon 2020 (ERC-2014-CoG 648276 AUTAR) | GAČR (P202/12/G061) | RVO (67985840)

Authors: Massimo Lauria | Neil Thapen

On the correspondence between two classes of reduction systems

JOURNAL ARTICLE published February 1985 in Information Processing Letters

Authors: Satish R. Thatte

An error-correcting coding scheme for alphanumeric data

JOURNAL ARTICLE published February 1978 in Information Processing Letters

Authors: A.S. Sethi | V. Rajaraman | P.S. Kenjale

Relaxed barrier synchronization for the BSP model of computation on message-passing architectures

JOURNAL ARTICLE published June 1998 in Information Processing Letters

Authors: Jin-Soo Kim | Soonhoi Ha | Chu Shik Jhon

Self-stabilizing algorithms for efficient sets of graphs and trees

JOURNAL ARTICLE published September 2013 in Information Processing Letters

Authors: Volker Turau

Revisiting global constraint satisfaction

JOURNAL ARTICLE published April 1998 in Information Processing Letters

Authors: Walter Hower

Routing on trees

JOURNAL ARTICLE published February 1996 in Information Processing Letters

Authors: Antonios Symvonis

Editorial Board

JOURNAL ARTICLE published February 2023 in Information Processing Letters

A faster algorithm for computing the strength of a network

JOURNAL ARTICLE published February 1994 in Information Processing Letters

Authors: Eddie Cheng | William H. Cunningham

On the point-to-point connection problem

JOURNAL ARTICLE published March 1995 in Information Processing Letters

Authors: Madan Natu | Shu-Cherng Fang

Feedback vertex sets in star graphs

JOURNAL ARTICLE published February 2004 in Information Processing Letters

Authors: Fu-Hsing Wang | Yue-Li Wang | Jou-Ming Chang

Limits for automatic verification of finite-state concurrent systems

JOURNAL ARTICLE published May 1986 in Information Processing Letters

Authors: Krzysztof R. Apt | Dexter C. Kozen

A local decision test for sparse polynomials

JOURNAL ARTICLE published September 2010 in Information Processing Letters

Authors: Elena Grigorescu | Kyomin Jung | Ronitt Rubinfeld

Master index volumes 41–50

JOURNAL ARTICLE published September 1994 in Information Processing Letters

Finding nearest neighbors with Voronoi tessellations

JOURNAL ARTICLE published February 1990 in Information Processing Letters

Authors: O.J. Murphy | S.M. Selkow