361:
parallel algorithms, computational geometry, learning theory, computational number theory, computational biology, coding theory, theoretical cryptography, and applied discrete mathematics. Generally, submissions in all areas of scientific inquiry are considered, provided that they describe research contributions credibly motivated by applications to computing and involve rigorous methodology. High quality experimental papers that address topics of sufficiently broad interest are also considered.
186:
368:
Established in 1971, IPL is one of the oldest journals in computer science. In its now over 50-year old history, IPL has published research contributions from leading figures in computer science research, including multiple Turing Award winners: Alan Perlis, Edsger
Dijkstra, Donald Knuth, Robert
364:
IPL implements a 3-tier review process. Each submissions is assigned to an associate editor, who determines whether it falls within IPL's scope and meets basic quality criteria. On average, about 60% of submissions are desk-rejected by associate editors. Submissions determined to be suitable for
360:
The scope of IPL covers fundamental aspects of information processing and computing. This naturally covers topics in the broadly understood field of theoretical computer science, including algorithms, formal languages and automata, computational complexity, computational logic, distributed and
365:
further review are distributed between the members of the editorial board, who handle the review process, which typically involves soliciting external reviews from 2-3 experts in the area. Between 2017 and 2020, the overall acceptance rate in IPL averaged 20–25%.
369:
Floyd, Stephen Cook, Niklaus Wirth, Richard Karp, John
Hopcroft, Robert Tarjan, Ronald Rivest, Edmund Clarke, Judea Perl, Silvio Micali, and Leslie Lamport. Among its earlier, pre-1990 articles, its list of influential papers includes the following:
156:
246:
271:
509:
222:
242:
31:
519:
504:
181:
210:
38:
514:
263:
169:
214:
144:
103:
160:
259:
165:
148:
84:
64:
30:
342:
287:
297:
280:
234:
346:
43:
354:
58:
323:
498:
129:
353:. The aim of the journal is to enable fast dissemination of results in the field of
396:
A linear-time algorithm for testing the truth of certain quantified boolean formula
357:
in the form of short papers. Submissions are limited to nine double-spaced pages.
177:
339:
115:
94:
375:
An efficient algorithm for determining the convex hull of a finite planar set
230:
350:
304:
90:
487:
318:
445:
Limits for automatic verification of finite-state concurrent systems
251:
195:
424:
A lower bound for the time to assure interactive consistency
417:
An optimal algorithm for computing the repetitions in a word
387:
Garey, M.R., Johnson, D.S., Preparata, F.P., Tarjan, R.E.,
450:
Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.K.,
382:
Constructing optimal binary decision trees is NP-complete
310:
295:
278:
206:
194:
140:
126:
112:
102:
83:
75:
70:
57:
49:
37:
473:An algorithm for drawing general undirected graphs
185:
403:Termination detection for diffusing computations
8:
19:
438:Depth-first search is inherently sequential
18:
459:Does co-NP have short interactive proofs?
410:Myths about the mutual exclusion problem
394:Aspvall, B., Plass, M.F., Tarjan, R.E.,
457:Boppana, R.B., Hastad, J., Zachos, S.,
510:Academic journals established in 1971
7:
14:
401:Dijkstra, E.W., Scholten, C.S.,
184:
29:
389:Triangulating a simple polygon
335:Information Processing Letters
22:Information Processing Letters
1:
429:Alpern, B., Schneider, F.B.,
422:Fischer, M.J., Lynch, N.A.,
536:
520:Elsevier academic journals
380:Hyafil, L., Rivest, R.L.,
505:Computer science journals
315:
28:
443:Apt, K.R., Kozen, D.C.,
471:Kamada, T., Kawai, S.,
466:Dynamic program slicing
464:Korel, B., Laski, J.,
355:information processing
141:Standard abbreviations
515:Semi-monthly journals
201:Inf. Process. Lett.
71:Publication details
25:
343:scientific journal
431:Defining liveness
331:
330:
527:
491:
490:
488:Official website
415:Crochemore, M.,
408:Peterson, G.L.,
347:computer science
345:in the field of
319:Journal homepage
301:
290:
283:
274:
190:
188:
187:
132:
118:
44:Computer science
33:
26:
23:
16:Academic journal
535:
534:
530:
529:
528:
526:
525:
524:
495:
494:
486:
485:
482:
349:, published by
296:
291:
286:
279:
250:
209:
208:
164:
143:
142:
133:
128:
119:
114:
98:
21:
17:
12:
11:
5:
533:
531:
523:
522:
517:
512:
507:
497:
496:
493:
492:
481:
480:External links
478:
477:
476:
469:
462:
455:
448:
441:
434:
427:
420:
413:
406:
399:
392:
385:
378:
373:Graham, R.L.,
329:
328:
327:
326:
321:
313:
312:
308:
307:
302:
293:
292:
284:
276:
275:
204:
203:
198:
192:
191:
138:
137:
134:
127:
124:
123:
120:
113:
110:
109:
106:
100:
99:
89:
87:
81:
80:
77:
73:
72:
68:
67:
62:
55:
54:
51:
47:
46:
41:
35:
34:
15:
13:
10:
9:
6:
4:
3:
2:
532:
521:
518:
516:
513:
511:
508:
506:
503:
502:
500:
489:
484:
483:
479:
474:
470:
467:
463:
460:
456:
453:
452:Occam's Razor
449:
446:
442:
439:
435:
432:
428:
425:
421:
418:
414:
411:
407:
404:
400:
397:
393:
390:
386:
383:
379:
376:
372:
371:
370:
366:
362:
358:
356:
352:
348:
344:
341:
340:peer-reviewed
337:
336:
325:
324:Online access
322:
320:
317:
316:
314:
309:
306:
303:
299:
294:
289:
285:
282:
277:
273:
269:
265:
261:
257:
253:
248:
244:
240:
236:
232:
228:
224:
220:
216:
212:
205:
202:
199:
197:
193:
183:
179:
175:
171:
167:
162:
158:
154:
150:
146:
139:
135:
131:
130:Impact factor
125:
121:
117:
111:
107:
105:
101:
96:
92:
88:
86:
82:
78:
74:
69:
66:
63:
60:
56:
52:
48:
45:
42:
40:
36:
32:
27:
24:
472:
465:
458:
451:
444:
437:
436:Reif, J.H.,
430:
423:
416:
409:
402:
395:
388:
381:
374:
367:
363:
359:
334:
333:
332:
267:
255:
238:
226:
218:
200:
173:
152:
136:0.959 (2020)
79:1971–present
65:Leah Epstein
20:
116:Open access
95:Netherlands
499:Categories
178:MathSciNet
39:Discipline
300: no.
288:0020-0190
104:Frequency
85:Publisher
351:Elsevier
305:38995181
207:Indexing
157:Bluebook
91:Elsevier
61: by
50:Language
398:s, 1979
266:)
237:)
225:)
172:)
151:)
108:24/year
93: (
76:History
53:English
475:, 1989
468:, 1988
461:, 1987
454:, 1987
447:, 1986
440:, 1985
433:, 1985
426:, 1982
419:, 1981
412:, 1981
405:, 1980
391:, 1978
384:, 1976
377:, 1972
272:Scopus
268:·
256:·
254:
239:·
227:·
219:·
217:
174:·
153:·
59:Edited
338:is a
311:Links
270:
258:
241:
231:JSTOR
229:
221:
211:CODEN
196:ISO 4
176:
155:
145:ISO 4
298:OCLC
281:ISSN
252:MIAR
243:LCCN
223:alt2
264:alt
260:NLM
247:alt
235:alt
215:alt
182:alt
170:alt
166:NLM
161:alt
149:alt
501::
122:no
262:(
249:)
245:(
233:(
213:(
189:)
180:(
168:(
163:)
159:(
147:(
97:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.