researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Process. Lett.
Home
Index
Info
Volume
Volume
36
, Issue
6
277
--
280
Subir Kumar Ghosh
,
Anil Maheshwari
.
An Optimal Algorithm for Computing a Minimum Nested Nonconvex Polygon
281
--
283
Ferenc Kocsis
,
Johann F. Böhme
.
Rotation-Based Computations for Ray-Tracing Second-Order Surfaces and Curves
285
--
291
Antonio Brogi
,
Evelina Lamma
,
Paola Mello
.
Hypothetical Reasoning in Logic Programming: A Semantic Approach
293
--
296
Zoltán Fülöp
,
Sándor Vágvölgyi
.
The Emptiness Problem is Undecidable for Domains of Partial Monadic 2-Modular Tree Transformations
297
--
299
Rob R. Hoogerwoord
.
A Calculational Derivation of the Casop Algorithm
301
--
310
Gabriel Matsliach
.
Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves
311
--
315
Kai Salomaa
,
Sheng Yu
.
The Immortality Problem for LAG Systems
317
--
322
Giuseppe Di Battista
,
Wei-Ping Liu
,
Ivan Rival
.
Bipartite Graphs, Upward Drawings, and Planarity
323
--
327
Sung Kwon Kim
.
Parallel Algorithms for the Segment Dragging Problem
Volume
36
, Issue
5
221
--
224
Hyoung Joong Kim
,
Jang Gyu Lee
.
Partial Sum Problem Mapping Into a Hypercube
225
--
230
Jin Ho Hur
,
Kilnam Chon
.
Self and Selftype
231
--
236
Peter Damaschke
,
Haiko Müller
,
Dieter Kratsch
.
Domination in Convex and Chordal Bipartite Graphs
237
--
240
Ursula Martin
.
A Note on Division Orderings on Strings
241
--
245
Jang-Ping Sheu
,
Zen-Fu Chiang
.
Efficient Allocation of Chain-Like Task on Chain-Like Network Computers
247
--
250
Carsten Damm
.
Problems Complete for /oplus L
251
--
258
Siu-Wing Cheng
,
Ravi Janardan
.
Efficient Dynamic Algorithms for Some Geometric Intersection Problems
259
--
266
Marc Gyssens
,
Jan Paredaens
,
Dirk Van Gucht
.
On a Hierarchy of Classes for Nested Databases
267
--
272
O. M. Makarov
.
On the Synthesis of Fast Algorithms for Signal Processing
273
--
275
Pratul Dublish
.
Some Comments on the Subtree Isomorphism Problem for Ordered Trees
Volume
36
, Issue
4
171
--
175
Valmir C. Barbosa
.
Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency
177
--
182
Hans Kleine Büning
.
Existence of Simple Propositional Formulas
183
--
189
Xiaolei Qian
.
An Axiom System for Database Transactions
191
--
192
Gerhard J. Woeginger
.
A Simple Solution to the Two Paths Problem in Planar Graphs
193
--
0
Edsger W. Dijkstra
.
Making a Fair Roulette From a Possibly Biased Coin
195
--
201
S. Ramesh
.
On the Completeness of Modular Proof Systems
203
--
206
Erkki Mäkinen
.
The Grammatical Inference Problem for the Szilard Languages of Linear Grammars
207
--
213
Bernd-Jürgen Falkowski
.
Perceptrons Revisited
215
--
218
Miroslaw Kutylowski
.
Remarks on Sorting and One-Way Multihead Finite Automata
219
--
220
Jozef Vyskoc
.
Making Bubblesort Recursive
Volume
36
, Issue
3
111
--
116
De-Lei Lee
.
Efficient Address Generation in a Parallel Processor
117
--
121
Jingde Cheng
.
An Algebraic Semantics of Notional Entailment Logic Cn
123
--
127
Aphrodite Tsalgatidou
.
Modelling and Animating Information Systems Dynamics
129
--
133
Shuo-Yen Robert Li
.
On Full Utilization of Multi-Channel Capacity with Priority Protocol
135
--
140
Laura A. Sanchis
.
On the Complexity of Test Case Generation for NP-Hard Problems
141
--
145
John G. Kollias
,
Yannis Manolopoulos
,
Christos H. Papadimitriou
.
The Optimum Execution Order of Queries in Linear Storage
147
--
151
Lawrence L. Larmore
.
An Optimal Algorithm with Unknown Time Complexity for Convex Matrix Searching
153
--
157
Rong Lin
,
Stephan Olariu
.
A Fast Parallel, Algorithm to Recognize, Partitionable Graphs
159
--
165
A. Paulik
.
Worst-Case Analysis of a Generalized Heapsort Algorithm
167
--
170
Kim-Heng Teo
,
Tai-Ching Tuan
.
Performance Analysis of Greedy Heuristic to Find a Minimum Total-Jogs Layout for River Routing
Volume
36
, Issue
2
57
--
63
Torben Hagerup
,
Hong Shen
.
Improved Nonconservative Sequential and Parallel Integer Sorting
65
--
67
Miklós Biró
.
Object-Oriented Interaction in Resource Constrained Scheduling
69
--
72
Anna Slobodová
.
One-Way Globally Deterministic Synchronized Alternating Finite Automata Recognize Exactly Deterministic Context-Sensitive Languages
73
--
77
Stephen A. Vavasis
.
Quadratic Programming is in NP
79
--
83
Jin-yi Cai
.
Lower Bounds for Constant-Depth Circuits in the Presence of Help Bits
85
--
90
Jae-Moon Lee
,
Jong Soo Park
,
Myunghwan Kim
.
An Upper Bound on Buffer Size for Join Operation Using Nonclusterd Indexes
91
--
94
Richard J. Lipton
,
Arvin Park
.
The Processor Identity Problem
95
--
102
Chandan Haldar
,
Lalit M. Patnaik
.
Oracle Complexities for Computational Geometry of Semi-Algebraic Sets and Voronoi Diagrams
103
--
109
Graham M. Megson
,
F. M. F. Gaston
.
Improved Matrix Triangularisation Using a Double Pipeline Systolic Array
Volume
36
, Issue
1
1
--
5
Zhen Liu
.
A Note on Graham s Bound
7
--
11
Wen-Huei Chen
,
Ching-Sung Lu
,
Elben R. Brozovsky
,
Jin-Tuu Wang
.
An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences
13
--
17
Joanna Jedrzejowicz
.
Infinite Hierarchy of Shuffle Expressions Over a Finite Alphabet
19
--
23
Haklin Kim
.
Finding a Maximum Independent Set in a Permutation Graph
25
--
30
Frank Dederichs
,
Rainer Weber
.
Safety and Liveness From a Methodological Point of View
31
--
36
Biing-Feng Wang
,
Gen-Huey Chen
.
Two-Dimensional Processor Array with a Reconfigurable Bus System is at Least as Powerful as CRCW Model
37
--
38
Stanley Burris
,
John Lawrence
.
Unification in Commutative Rings is Not Finitary
39
--
44
Malcolm C. Fields
,
Greg N. Frederickson
.
A Faster Algorithm for the Maximum Weighted Tardiness Problem
45
--
49
Oded Goldreich
,
Erez Petrank
.
The Best of Both Worlds: Guaranteeing Termination in Fast Randomized Byzantine Agreement Protocols
51
--
52
Ke Qiu
,
Henk Meijer
.
A Note on Diameter of Acyclic Directed Hypercubes
53
--
56
Hans L. Bodlaender
,
Gerard Tel
.
Bit-Optimal Election in Synchronous Rings