1988
[BCG88] Michael C. Browne, Edmund M. Clarke, and Orna Grumberg. Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science 59(1-2):115-131. Elsevier, July 1988. 
@article{tcs59(1-2)-BCG,
  author =              {Browne, Michael C. and Clarke, Edmund M. and
                         Grumberg, Orna},
  title =               {Characterizing Finite {K}ripke Structures in
                         Propositional Temporal Logic},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {59},
  number =              {1-2},
  pages =               {115-131},
  year =                {1988},
  month =               jul,
}
[Bod88] Hans L. Bodlaender. Dynamic Programming on Graphs with Bounded Treewidth. In ICALP'88, Lecture Notes in Computer Science 317, pages 105-118. Springer-Verlag, July 1988. 
@inproceedings{icalp1988-Bod,
  author =              {Bodlaender, Hans L.},
  title =               {Dynamic Programming on Graphs with Bounded
                         Treewidth},
  editor =              {Lepist{\"o}, Timo and Salomaa, Arto},
  booktitle =           {{P}roceedings of the 15th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'88)},
  acronym =             {{ICALP}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {317},
  pages =               {105-118},
  year =                {1988},
  month =               jul,
  doi =                 {10.1007/3-540-19488-6_110},
}
[CD88] Edmund M. Clarke and I. A. Draghicescu. Expressibility Results for Linear-Time and Branching-Time Logics. In REX'88, Lecture Notes in Computer Science 354, pages 428-437. Springer-Verlag, May 1988. 
@inproceedings{rex1988-CD,
  author =              {Clarke, Edmund M. and Draghicescu, I. A.},
  title =               {Expressibility Results for Linear-Time and
                         Branching-Time Logics},
  editor =              {de~Bakker, Jaco W. and de Roever, Willem-Paul and
                         Rozenberg, Grzegorz},
  booktitle =           {{L}inear {T}ime, {B}ranching {T}ime and {P}artial
                         {O}rder in {L}ogics and {M}odels for
                         {C}oncurrency~--- {P}roceedings of {REX}
                         {S}chool{\slash}{W}orkshop~1988 ({REX}'88)},
  acronym =             {{REX}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {354},
  pages =               {428-437},
  year =                {1988},
  month =               may,
}
[EJ88] E. Allen Emerson and Charanjit S. Jutla. The Complexity of Tree Automata and Logics of Programs. In FOCS'88, pages 328-337. IEEE Comp. Soc. Press, October 1988. 
@inproceedings{focs1988-EJ,
  author =              {Emerson, E. Allen and Jutla, Charanjit S.},
  title =               {The Complexity of Tree Automata and Logics of
                         Programs},
  booktitle =           {{P}roceedings of the 29th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'88)},
  acronym =             {{FOCS}'88},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {328-337},
  year =                {1988},
  month =               oct,
}
[ES88] E. Allen Emerson and Jayashankar Srinivasan. Branching Time Temporal Logic. In REX'88, Lecture Notes in Computer Science 354, pages 123-172. Springer-Verlag, May 1988. 
@inproceedings{rex1988-ES,
  author =              {Emerson, E. Allen and Srinivasan, Jayashankar},
  title =               {Branching Time Temporal Logic},
  editor =              {de~Bakker, Jaco W. and de Roever, Willem-Paul and
                         Rozenberg, Grzegorz},
  booktitle =           {{L}inear {T}ime, {B}ranching {T}ime and {P}artial
                         {O}rder in {L}ogics and {M}odels for
                         {C}oncurrency~--- {P}roceedings of {REX}
                         {S}chool{\slash}{W}orkshop~1988 ({REX}'88)},
  acronym =             {{REX}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {354},
  pages =               {123-172},
  year =                {1988},
  month =               may,
}
[Imm88] Neil Immerman. Nondeterministic Space is Closed Under Complementation. SIAM Journal on Computing 17(5):935-938. Society for Industrial and Applied Math., October 1988. 
@article{siamcomp17(5)-Imm,
  author =              {Immerman, Neil},
  title =               {Nondeterministic Space is Closed Under
                         Complementation},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {17},
  number =              {5},
  pages =               {935-938},
  year =                {1988},
  month =               oct,
}
[Kre88] Mark W. Krentel. The Complexity of Optimization Problems. Journal of Computer and System Sciences 36(3):490-509. Academic Press, June 1988. 
@article{jcss36(3)-Kre,
  author =              {Krentel, Mark W.},
  title =               {The Complexity of Optimization Problems},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {36},
  number =              {3},
  pages =               {490-509},
  year =                {1988},
  month =               jun,
}
[KS88] S. Rao Kosaraju and Gregory F. Sullivan. Detecting cycles in dynamic graphs in polynomial time. In STOC'88, pages 398-406. ACM Press, May 1988. 
@inproceedings{stoc1988-KS,
  author =              {Kosaraju, S. Rao and Sullivan, Gregory F.},
  title =               {Detecting cycles in dynamic graphs in polynomial
                         time},
  booktitle =           {{P}roceedings of the 20th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'88)},
  acronym =             {{STOC}'88},
  publisher =           {ACM Press},
  pages =               {398-406},
  year =                {1988},
  month =               may,
  doi =                 {10.1145/62212.62251},
}
[MP88] Zohar Manna and Amir Pnueli. The Anchored Version of the Temporal Framework. In REX'88, Lecture Notes in Computer Science 354, pages 201-284. Springer-Verlag, May 1988. 
@inproceedings{rex1988-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {The Anchored Version of the Temporal Framework},
  editor =              {de~Bakker, Jaco W. and de Roever, Willem-Paul and
                         Rozenberg, Grzegorz},
  booktitle =           {{L}inear {T}ime, {B}ranching {T}ime and {P}artial
                         {O}rder in {L}ogics and {M}odels for
                         {C}oncurrency~--- {P}roceedings of {REX}
                         {S}chool{\slash}{W}orkshop~1988 ({REX}'88)},
  acronym =             {{REX}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {354},
  pages =               {201-284},
  year =                {1988},
  month =               may,
}
[MRK88] Gary L. Miller, Vijaya Ramachandran, and Erich Kaltofen. Efficient Parallel Evaluation of Straight-line Code and Arithmetic Circuits. SIAM Journal on Computing 17(4):687-695. Society for Industrial and Applied Math., August 1988. 
@article{siamcomp17(4)-MRK,
  author =              {Miller, Gary L. and Ramachandran, Vijaya and
                         Kaltofen, Erich},
  title =               {Efficient Parallel Evaluation of Straight-line Code
                         and Arithmetic Circuits},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {17},
  number =              {4},
  pages =               {687-695},
  year =                {1988},
  month =               aug,
}
[MSS88] David E. Muller, Ahmed Saoudi, and Paul E. Schupp. Weak Alternating Automata Give a Simple Explanation of Why Most Temporal Logics are Decidable in Exponential Time. In LICS'88, pages 422-427. IEEE Comp. Soc. Press, July 1988. 
@inproceedings{lics1988-MSS,
  author =              {Muller, David E. and Saoudi, Ahmed and Schupp, Paul
                         E.},
  title =               {Weak Alternating Automata Give a Simple Explanation
                         of Why Most Temporal Logics are Decidable in
                         Exponential Time},
  booktitle =           {{P}roceedings of the 3rd {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'88)},
  acronym =             {{LICS}'88},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {422-427},
  year =                {1988},
  month =               jul,
}
[Tho88] Wolfgang Thomas. Automata on Infinite Objects. Technical Report AIB-88-17, Aachener Informatik Berichte, Aachen, Germany, October 1988. 
@techreport{AIB-8817-Tho,
  author =              {Thomas, Wolfgang},
  title =               {Automata on Infinite Objects},
  number =              {AIB-88-17},
  year =                {1988},
  month =               oct,
  institution =         {Aachener Informatik Berichte, Aachen, Germany},
  type =                {Technical Report},
}
[Var88] Moshe Y. Vardi. A Temporal Fixpoint Calculus. In POPL'88, pages 250-259. ACM Press, January 1988. 
@inproceedings{popl1988-Var,
  author =              {Vardi, Moshe Y.},
  title =               {A Temporal Fixpoint Calculus},
  booktitle =           {Conference Record of the 15th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'88)},
  acronym =             {{POPL}'88},
  publisher =           {ACM Press},
  pages =               {250-259},
  year =                {1988},
  month =               jan,
}
[Wag88] Klaus W. Wagner. On Restricting the Access to an NP-Oracle. In ICALP'88, Lecture Notes in Computer Science 317, pages 682-696. Springer-Verlag, July 1988. 
@inproceedings{icalp1988-Wag,
  author =              {Wagner, Klaus W.},
  title =               {On Restricting the Access to an NP-Oracle},
  editor =              {Lepist{\"o}, Timo and Salomaa, Arto},
  booktitle =           {{P}roceedings of the 15th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'88)},
  acronym =             {{ICALP}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {317},
  pages =               {682-696},
  year =                {1988},
  month =               jul,
}
List of authors