1993
[ACD93] Rajeev Alur, Costas Courcoubetis, and David L. Dill. Model-Checking in Dense Real-Time. Information and Computation 104(1):2-34. Academic Press, May 1993. 
@article{icomp104(1)-ACD,
  author =              {Alur, Rajeev and Courcoubetis, Costas and Dill,
                         David L.},
  title =               {Model-Checking in Dense Real-Time},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {104},
  number =              {1},
  pages =               {2-34},
  year =                {1993},
  month =               may,
}
[ACH+93] Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 209-229. Springer-Verlag, 1993. 
@inproceedings{hscc1992-ACHH,
  author =              {Alur, Rajeev and Courcoubetis, Costas and Henzinger,
                         Thomas A. and Ho, Pei-Hsin},
  title =               {Hybrid Automata: An Algorithmic Approach to the
                         Specification and Verification of Hybrid Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {209-229},
  year =                {1993},
}
[AH93] Rajeev Alur and Thomas A. Henzinger. Real-time Logics: Complexity and Expressiveness. Information and Computation 104(1):35-77. Academic Press, May 1993. 
@article{icomp104(1)-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {Real-time Logics: Complexity and Expressiveness},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {104},
  number =              {1},
  pages =               {35-77},
  year =                {1993},
  month =               may,
}
[AHV93] Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi. Parametric Real-Time Reasoning. In STOC'93, pages 592-601. ACM Press, 1993. 
@inproceedings{stoc1993-AHV,
  author =              {Alur, Rajeev and Henzinger, Thomas A. and Vardi,
                         Moshe Y.},
  title =               {Parametric Real-Time Reasoning},
  booktitle =           {{P}roceedings of the 25th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'93)},
  acronym =             {{STOC}'93},
  publisher =           {ACM Press},
  pages =               {592-601},
  year =                {1993},
}
[BG93] Orna Bernholtz and Orna Grumberg. Branching Time Temporal Logic and A m o r p H O u s Tree Automata. In CONCUR'93, Lecture Notes in Computer Science 715, pages 262-277. Springer-Verlag, August 1993. 
@inproceedings{concur1993-BG,
  author =              {Bernholtz, Orna and Grumberg, Orna},
  title =               {Branching Time Temporal Logic and {{\(\mathcal{A}
                         \textup{m} \textbf{o} r \textsc{p} \mathcal{H}
                         \texttt{O} u \textbf{s}\)}} Tree Automata},
  editor =              {Best, Eike},
  booktitle =           {{P}roceedings of the 4th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'93)},
  acronym =             {{CONCUR}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {715},
  pages =               {262-277},
  year =                {1993},
  month =               aug,
}
[Blo93] Johannes Blömer. Computing Sums of Radicals in Polynomial Time. Technical Report B93-13, Department of Computer Science, University of Paderborn, Germany, August 1993. 
@techreport{UPad-B93-13-Blo,
  author =              {Bl{\"o}mer, Johannes},
  title =               {Computing Sums of Radicals in Polynomial Time},
  number =              {B93-13},
  year =                {1993},
  month =               aug,
  institution =         {Department of Computer Science, University of
                         Paderborn, Germany},
}
[Bod93] Hans L. Bodlaender. A Tourist Guide through Treewidth. Acta Cybernetica 11(1-2):1-21. Institute of Informatics, University of Szeged, 1993. 
@article{actacyb11(1-2)-Bod,
  author =              {Bodlaender, Hans L.},
  title =               {A~Tourist Guide through Treewidth},
  publisher =           {Institute of Informatics, University of Szeged},
  journal =             {Acta Cybernetica},
  volume =              {11},
  number =              {1-2},
  pages =               {1-21},
  year =                {1993},
}
[Bus93] Samuel R. Buss. Algorithms for Boolean Formula Evaluation and for Tree Contraction. In Peter Clote and Jan Krajíček (eds.), Proof Theory, Complexity, and Arithmetic. Oxford University Press, 1993. 
@incollection{PTCA-Bus,
  author =              {Buss, Samuel R.},
  title =               {Algorithms for Boolean Formula Evaluation and for
                         Tree Contraction},
  editor =              {Clote, Peter and Kraj{\'\i}{\v c}ek, Jan},
  booktitle =           {Proof Theory, Complexity, and Arithmetic},
  publisher =           {Oxford University Press},
  pages =               {96-115},
  year =                {1993},
}
[Cer93] Kārlis Čerāns. Decidability of Bisimulation Equivalences for Parallel Timer Processes. In CAV'92, Lecture Notes in Computer Science 663, pages 302-315. Springer-Verlag, 1993. 
@inproceedings{cav1992-Cer,
  author =              {{\v{C}}er{\={a}}ns, K{\={a}}rlis},
  title =               {Decidability of Bisimulation Equivalences for
                         Parallel Timer Processes},
  editor =              {von Bochmann, Gregor and Probst, David K.},
  booktitle =           {{P}roceedings of the 4th {I}nternational {W}orkshop
                         on {C}omputer {A}ided {V}erification ({CAV}'92)},
  acronym =             {{CAV}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {663},
  pages =               {302-315},
  year =                {1993},
  confyear =            {1992},
  confmonth =           {6-7},
}
[CER93] Bruno Courcelle, Joost Engelfriet, and Grzegorz Rozenberg. Handle-rewriting hypergraph grammars. Journal of Computer and System Sciences 46(2). Academic Press, April 1993. 
@article{jcss46-CER93,
  author =              {Courcelle, Bruno and Engelfriet, Joost and
                         Rozenberg, Grzegorz},
  title =               {Handle-rewriting hypergraph grammars},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {46},
  number =              {2},
  year =                {1993},
  month =               apr,
  doi =                 {10.1016/0022-0000(93)90004-G},
}
[CGL93] Kārlis Čerāns, Jens Christian Godskesen, and Kim Guldstrand Larsen. Timed Modal Specification - Theory and Tools. In CAV'93, Lecture Notes in Computer Science 697, pages 253-267. Springer-Verlag, June 1993. 
@inproceedings{cav1993-CGL,
  author =              {{\v{C}}er{\={a}}ns, K{\={a}}rlis and Godskesen, Jens
                         Christian and Larsen, Kim Guldstrand},
  title =               {Timed Modal Specification - Theory and Tools},
  editor =              {Courcoubetis, Costas},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'93)},
  acronym =             {{CAV}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {697},
  pages =               {253-267},
  year =                {1993},
  month =               jun,
}
[CM93] Bruno Courcelle and Mohamed Mosbah. Monadic second-order evaluations on tree-decomposable graphs. Theoretical Computer Science 109(1-2):49-82. Elsevier, 1993. 
@article{tcs109(1-2)-CM,
  author =              {Courcelle, Bruno and Mosbah, Mohamed},
  title =               {Monadic second-order evaluations on
                         tree-decomposable graphs},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {109},
  number =              {1-2},
  pages =               {49-82},
  year =                {1993},
  doi =                 {10.1016/0304-3975(93)90064-Z},
}
[CPP93] Joëlle Cohen, Dominique Perrin, and Jean-Éric Pin. On the Expressive Power of Temporal Logic. Journal of Computer and System Sciences 46(3):271-294. Academic Press, June 1993. 
@article{jcss46(3)-CPP,
  author =              {Cohen, Jo{\"e}lle and Perrin, Dominique and Pin,
                         Jean-{\'E}ric},
  title =               {On the Expressive Power of Temporal Logic},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {46},
  number =              {3},
  pages =               {271-294},
  year =                {1993},
  month =               jun,
}
[HCK+93] Juris Hartmanis, Richard Chang, Jim Kadin, and Stephen G. Mitchell. Some Observation about Relativization of Space Bounded Computations. In Grzegorz Rozenberg and Arto Salomaa (eds.), Current Trends in Theoretical Computer Science, World Scientific Series in Computer Science 40, pages 423-433. World Scientific, 1993. 
@incollection{CTTCS-HCK,
  author =              {Hartmanis, Juris and Chang, Richard and Kadin, Jim
                         and Mitchell, Stephen G.},
  title =               {Some Observation about Relativization of Space
                         Bounded Computations},
  editor =              {Rozenberg, Grzegorz and Salomaa, Arto},
  booktitle =           {Current Trends in Theoretical Computer Science},
  publisher =           {World Scientific},
  series =              {World Scientific Series in Computer Science},
  volume =              {40},
  pages =               {423-433},
  year =                {1993},
}
[HMP93] Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. Towards Refining Temporal Specifications into Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 60-76. Springer-Verlag, 1993. 
@inproceedings{hscc1992-HMP,
  author =              {Henzinger, Thomas A. and Manna, Zohar and Pnueli,
                         Amir},
  title =               {Towards Refining Temporal Specifications into Hybrid
                         Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {60-76},
  year =                {1993},
}
[KMM+93] Yonit Kesten, Zohar Manna, Hugh McGuire, and Amir Pnueli. A Decision Algorithm for Full Propositional Temporal Logic. In CAV'93, Lecture Notes in Computer Science 697, pages 97-109. Springer-Verlag, June 1993. 
@inproceedings{cav1993-KMMP,
  author =              {Kesten, Yonit and Manna, Zohar and McGuire, Hugh and
                         Pnueli, Amir},
  title =               {A Decision Algorithm for Full Propositional Temporal
                         Logic},
  editor =              {Courcoubetis, Costas},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'93)},
  acronym =             {{CAV}'93},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {697},
  pages =               {97-109},
  year =                {1993},
  month =               jun,
}
[McM93] Kenneth L. McMillan. Symbolic Model Checking – An Approach to the State Explosion Problem. PhD thesis, Carnegie Mellon University, 1993. 
@phdthesis{phd-mcmillan,
  author =              {McMillan, Kenneth L.},
  title =               {Symbolic Model Checking~-- An~Approach to the State
                         Explosion Problem},
  year =                {1993},
  school =              {Carnegie Mellon University},
}
[McM93] Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993. 
@book{McM93-book,
  author =              {McMillan, Kenneth L.},
  title =               {Symbolic Model Checking},
  publisher =           {Kluwer Academic},
  year =                {1993},
}
[McN93] Robert McNaughton. Infinite Games Played on Finite Graphs. Annals of Pure and Applied Logic 65(2):149-184. Elsevier, December 1993. 
@article{apal65(2)-Mcn,
  author =              {McNaughton, Robert},
  title =               {Infinite Games Played on Finite Graphs},
  publisher =           {Elsevier},
  journal =             {Annals of Pure and Applied Logic},
  volume =              {65},
  number =              {2},
  pages =               {149-184},
  year =                {1993},
  month =               dec,
}
[MP93] Zohar Manna and Amir Pnueli. Verifying Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 4-35. Springer-Verlag, 1993. 
@inproceedings{hscc1992-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {Verifying Hybrid Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {4-35},
  year =                {1993},
}
[NOS+93] Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. An Approach to the Description and Analysis of Hybrid Systems. In HSCC'92, Lecture Notes in Computer Science 736, pages 149-178. Springer-Verlag, 1993. 
@inproceedings{hscc1992-NOSY,
  author =              {Nicollin, Xavier and Olivero, Alfredo and Sifakis,
                         Joseph and Yovine, Sergio},
  title =               {An Approach to the Description and Analysis of
                         Hybrid Systems},
  editor =              {Grossman, Robert L. and Nerode, Anil and Ravn,
                         Anders P. and Rischel, Hans},
  booktitle =           {{H}ybrid {S}ystems ({HSCC}'92)},
  acronym =             {{HSCC}'92},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {736},
  pages =               {149-178},
  year =                {1993},
}
[PZ93] Amir Pnueli and Lenore D. Zuck. In and Out of Temporal Logic. In LICS'93, pages 124-135. IEEE Comp. Soc. Press, June 1993. 
@inproceedings{lics1993-PZ,
  author =              {Pnueli, Amir and Zuck, Lenore D.},
  title =               {In and Out of Temporal Logic},
  booktitle =           {{P}roceedings of the 8th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'93)},
  acronym =             {{LICS}'93},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {124-135},
  year =                {1993},
  month =               jun,
}
[Sar93] Ramnath Sarnath. Doubly Logarithmic Time Parallel Sorting. Technical Report 93-01, suny, January 1993. 
@techreport{suny-93-01,
  author =              {Sarnath, Ramnath},
  title =               {Doubly Logarithmic Time Parallel Sorting},
  number =              {93-01},
  year =                {1993},
  month =               jan,
  institution =         {suny},
  type =                {Technical Report},
}
List of authors