Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 8569 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

Generalized honeycomb torus

JOURNAL ARTICLE published May 2003 in Information Processing Letters

Authors: Hsun-Jung Cho | Li-Yen Hsu

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