718:
224:
839:
829:
824:
809:
165:
319:
647:
775:
300:
814:
161:: "For several fundamental contributions to computational complexity theory, which have significantly affected the course of this field."
549:
819:
268:
702:
804:
527:
104:
548:; Stockmeyer, Larry J. (1972), "The equivalence problem for regular expressions with squaring requires exponential space",
144:
231:
158:
433:
Chandra, Ashok K.; Stockmeyer, Larry J. (1976). "17th Annual
Symposium on Foundations of Computer Science (SFCS 1976)".
768:
844:
834:
509:
130:
83:
67:
761:
675:
626:
202:
655:
297:
473:
137:
468:
87:
799:
794:
186:
749:
502:
235:
8:
717:
741:
670:
635:
592:
533:
511:
Proc. 37th Annual ACM Symposium on Theory of
Computing (STOC, Baltimore, MD, USA, 2005)
486:
459:
276:
79:
56:
584:
523:
421:
91:
596:
537:
490:
609:
576:
555:
515:
478:
438:
411:
621:
684:
545:
402:
371:
304:
117:
745:
212:
457:; Stockmeyer, Larry (1988), "Consensus in the presence of partial synchrony",
323:
788:
588:
498:
450:
425:
580:
519:
416:
126:
110:
1972: MSc in electrical engineering, Massachusetts
Institute of Technology.
559:
454:
613:
482:
442:
692:
Includes the program of 'Larry
Stockmeyer Commemoration' (21 May 2005).
113:
1974: PhD in computer science, Massachusetts
Institute of Technology.
195:— "one of the most remarkable doctoral theses in computer science".
606:
The
Complexity of Decision Problems in Automata Theory and Logic
840:
Massachusetts
Institute of Technology School of Science alumni
708:
551:
Proc. 13th Annual
Symposium on Switching and Automata Theory
377:
712:
567:
Rajsbaum, Sergio (2004), "Larry
Stockmeyer: 1948–2004",
435:
Proc. 17th IEEE Symp. on
Foundations of Computer Science
830:
1996 fellows of the Association for Computing Machinery
648:"Administrative Message: Passing of Larry Stockmeyer"
503:"Beyond NP: the work and legacy of Larry Stockmeyer"
449:
315:
313:
208:
169:
147:, Computer Science Department – Research Associate.
608:(Thesis), Massachusetts Institute of Technology,
432:
383:
310:
198:
166:Edsger W. Dijkstra Prize in Distributed Computing
786:
400:Bortnikov, Edward (2007), "Review of DISC '07",
544:
182:
627:ISI Web of Knowledge, highly cited researchers
275:. UC Santa Cruz. 9 August 2004. Archived from
769:
82:. He was one of the pioneers in the field of
825:University of California, Santa Cruz faculty
776:
762:
716:
603:
192:
472:
415:
399:
335:
810:American theoretical computer scientists
740:This biographical article relating to a
566:
359:
497:
347:
176:
787:
78:(1948 – 31 July 2004) was an American
298:ACM: Fellows Award / Larry Stockmeyer
105:Massachusetts Institute of Technology
86:, and he also worked in the field of
815:Researchers in distributed computing
727:
218:
209:Dwork, Lynch & Stockmeyer (1988)
170:Dwork, Lynch & Stockmeyer (1988)
145:University of California, Santa Cruz
437:. Houston, Texas. pp. 98–108.
159:Association for Computing Machinery
13:
136:1982–November 2003: IBM Research,
14:
856:
696:
820:MIT School of Engineering alumni
636:"In Memoriam – Larry Stockmeyer"
222:
131:Thomas J. Watson Research Center
654:. 5 August 2004. Archived from
384:Chandra & Stockmeyer (1976)
199:Chandra & Stockmeyer (1976)
84:computational complexity theory
68:computational complexity theory
685:"STOC 2005 conference program"
365:
353:
341:
329:
291:
261:
151:
1:
676:Mathematics Genealogy Project
640:UC Santa Cruz Currents Online
604:Stockmeyer, Larry J. (1974),
393:
183:Meyer & Stockmeyer (1972)
805:American computer scientists
748:. You can help Knowledge by
703:Larry Stockmeyer's Home Page
7:
203:alternating Turing machines
185:— this work introduced the
16:American computer scientist
10:
861:
726:
211:— this paper received the
103:1972: BSc in mathematics,
671:"Larry Joseph Stockmeyer"
97:
66:Pioneers in the field of
62:
52:
44:
36:
28:
21:
845:Computer scientist stubs
835:Dijkstra Prize laureates
254:
581:10.1145/1054916.1054930
520:10.1145/1060590.1060609
417:10.1145/1345189.1386170
201:— this work introduced
138:Almaden Research Center
133:, Yorktown Heights, NY.
76:Larry Joseph Stockmeyer
143:October 2002 – 2004:
88:distributed computing
715:Bibliography Server
560:10.1109/SWAT.1972.29
554:, pp. 125–129,
514:, pp. 120–127,
279:on 30 September 2015
236:adding missing items
187:polynomial hierarchy
177:Notable publications
157:1996: Fellow of the
709:Larry J. Stockmeyer
483:10.1145/42282.42283
443:10.1109/SFCS.1976.4
324:Dijkstra Prize 2007
742:computer scientist
622:"Larry Stockmeyer"
460:Journal of the ACM
303:2007-12-14 at the
234:; you can help by
80:computer scientist
57:computer scientist
757:
756:
529:978-1-58113-960-0
372:STOC 2005 program
252:
251:
193:Stockmeyer (1974)
92:pancreatic cancer
73:
72:
852:
778:
771:
764:
733:P ≟ NP
728:
720:
691:
689:
680:
666:
664:
663:
643:
642:. 9 August 2004.
631:
616:
599:
562:
546:Meyer, Albert R.
540:
507:
493:
476:
446:
428:
419:
387:
381:
375:
369:
363:
357:
351:
345:
339:
336:Bortnikov (2007)
333:
327:
317:
308:
295:
289:
288:
286:
284:
265:
247:
244:
226:
225:
219:
23:Larry Stockmeyer
19:
18:
860:
859:
855:
854:
853:
851:
850:
849:
785:
784:
783:
782:
735:
724:
699:
687:
683:
669:
661:
659:
646:
634:
620:
569:ACM SIGACT News
530:
505:
403:ACM SIGACT News
396:
391:
390:
382:
378:
370:
366:
360:Rajsbaum (2004)
358:
354:
346:
342:
334:
330:
318:
311:
305:Wayback Machine
296:
292:
282:
280:
273:currents online
267:
266:
262:
257:
248:
242:
239:
223:
179:
154:
140:, San Jose, CA.
118:Albert R. Meyer
100:
24:
17:
12:
11:
5:
858:
848:
847:
842:
837:
832:
827:
822:
817:
812:
807:
802:
797:
781:
780:
773:
766:
758:
755:
754:
737:
731:
722:
721:
706:
698:
697:External links
695:
694:
693:
681:
667:
644:
632:
618:
601:
564:
542:
528:
499:Fortnow, Lance
495:
474:10.1.1.13.3423
467:(2): 288–323,
451:Dwork, Cynthia
447:
430:
395:
392:
389:
388:
376:
364:
352:
348:Fortnow (2005)
340:
328:
309:
290:
259:
258:
256:
253:
250:
249:
243:September 2009
229:
227:
217:
216:
213:Dijkstra Prize
206:
196:
190:
178:
175:
174:
173:
168:for the paper
162:
153:
150:
149:
148:
141:
134:
123:
122:
121:
111:
108:
99:
96:
90:. He died of
71:
70:
64:
63:Known for
60:
59:
54:
50:
49:
46:
42:
41:
38:
34:
33:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
857:
846:
843:
841:
838:
836:
833:
831:
828:
826:
823:
821:
818:
816:
813:
811:
808:
806:
803:
801:
798:
796:
793:
792:
790:
779:
774:
772:
767:
765:
760:
759:
753:
751:
747:
743:
738:
734:
730:
729:
725:
719:
714:
710:
707:
704:
701:
700:
686:
682:
678:
677:
672:
668:
658:on 2008-05-28
657:
653:
652:UC Santa Cruz
649:
645:
641:
637:
633:
629:
628:
623:
619:
617:. PhD Thesis.
615:
611:
607:
602:
598:
594:
590:
586:
582:
578:
574:
570:
565:
561:
557:
553:
552:
547:
543:
539:
535:
531:
525:
521:
517:
513:
512:
504:
500:
496:
492:
488:
484:
480:
475:
470:
466:
462:
461:
456:
452:
448:
444:
440:
436:
431:
427:
423:
418:
413:
409:
405:
404:
398:
397:
385:
380:
373:
368:
361:
356:
349:
344:
337:
332:
325:
321:
316:
314:
306:
302:
299:
294:
278:
274:
270:
269:"In Memoriam"
264:
260:
246:
237:
233:
230:This list is
228:
221:
220:
214:
210:
207:
204:
200:
197:
194:
191:
188:
184:
181:
180:
171:
167:
163:
160:
156:
155:
146:
142:
139:
135:
132:
128:
124:
119:
115:
114:
112:
109:
106:
102:
101:
95:
93:
89:
85:
81:
77:
69:
65:
61:
58:
55:
51:
47:
43:
39:
35:
31:
27:
20:
750:expanding it
739:
732:
723:
674:
660:. Retrieved
656:the original
651:
639:
625:
614:1721.1/15540
605:
572:
568:
550:
510:
464:
458:
455:Lynch, Nancy
434:
410:(4): 49–53,
407:
401:
379:
367:
355:
343:
331:
293:
281:. Retrieved
277:the original
272:
263:
240:
127:IBM Research
116:Supervisor:
75:
74:
40:31 July 2004
800:2004 deaths
795:1948 births
152:Recognition
125:1974–1982:
45:Nationality
789:Categories
662:2009-02-08
394:References
322:web site:
232:incomplete
164:2007: The
53:Occupation
589:0163-5700
575:(4): 39,
469:CiteSeerX
426:0163-5700
597:26255529
538:16558679
501:(2005),
491:17007235
301:Archived
215:in 2007.
48:American
736:
595:
587:
536:
526:
489:
471:
424:
283:6 June
98:Career
744:is a
688:(PDF)
593:S2CID
534:S2CID
506:(PDF)
487:S2CID
255:Notes
746:stub
713:DBLP
585:ISSN
524:ISBN
422:ISSN
320:PODC
285:2016
37:Died
32:1948
29:Born
711:at
610:hdl
577:doi
556:doi
516:doi
479:doi
439:doi
412:doi
238:.
791::
673:.
650:.
638:.
624:.
591:,
583:,
573:35
571:,
532:,
522:,
508:,
485:,
477:,
465:35
463:,
453:;
420:,
408:38
406:,
312:^
271:.
129:,
94:.
777:e
770:t
763:v
752:.
705:.
690:.
679:.
665:.
630:.
612::
600:.
579::
563:.
558::
541:.
518::
494:.
481::
445:.
441::
429:.
414::
386:.
374:.
362:.
350:.
338:.
326:.
307:.
287:.
245:)
241:(
205:.
189:.
172:.
120:.
107:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.