1995
[ACH+95] Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138(1):3-34. Elsevier, 1995. 
@article{tcs138(1)-ACHHHNOSY,
  author =              {Alur, Rajeev and Courcoubetis, Costas and Halbwachs,
                         Nicolas and Henzinger, Thomas A. and Ho, Pei-Hsin
                         and Nicollin, Xavier and Olivero, Alfredo and
                         Sifakis, Joseph and Yovine, Sergio},
  title =               {The Algorithmic Analysis of Hybrid Systems},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {138},
  number =              {1},
  pages =               {3-34},
  year =                {1995},
}
[AIK+95] Rajeev Alur, Alon Itai, Robert P. Kurshan, and Mihalis Yannakakis. Timing Verification by Successive Approximation. Information and Computation 118(1):142-157. Academic Press, April 1995. 
@article{icomp118(1)-AIKY,
  author =              {Alur, Rajeev and Itai, Alon and Kurshan, Robert P.
                         and Yannakakis, Mihalis},
  title =               {Timing Verification by Successive Approximation},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {118},
  number =              {1},
  pages =               {142-157},
  year =                {1995},
  month =               apr,
}
[AJ95] Carme Àlvarez and Birgit Jenner. On adaptive DLOGTIME and POLYLOGTIME reductions. Theoretical Computer Science 148(2):183-205. Elsevier, September 1995. 
@article{tcs148(2)-AJ,
  author =              {{\`A}lvarez, Carme and Jenner, Birgit},
  title =               {On adaptive {DLOGTIME} and {POLYLOGTIME} reductions},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {148},
  number =              {2},
  pages =               {183-205},
  year =                {1995},
  month =               sep,
}
[AMP95] Eugene Asarin, Oded Maler, and Amir Pnueli. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theoretical Computer Science 138(1):35-65. Elsevier, 1995. 
@article{tcs138(1)-AMP,
  author =              {Asarin, Eugene and Maler, Oded and Pnueli, Amir},
  title =               {Reachability Analysis of Dynamical Systems Having
                         Piecewise-Constant Derivatives},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {138},
  number =              {1},
  pages =               {35-65},
  year =                {1995},
}
[AMP95] Eugene Asarin, Oded Maler, and Amir Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems. In HSCC'94, Lecture Notes in Computer Science 999, pages 1-20. Springer-Verlag, 1995. 
@inproceedings{hscc1994-AMP,
  author =              {Asarin, Eugene and Maler, Oded and Pnueli, Amir},
  title =               {Symbolic Controller Synthesis for Discrete and Timed
                         Systems},
  editor =              {Antsaklis, Panos and Kohn, Wolf and Nerode, Anil and
                         Sastry, Shankar},
  booktitle =           {{H}ybrid {S}ystems~{II} ({HSCC}'94)},
  acronym =             {{HSCC}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {999},
  pages =               {1-20},
  year =                {1995},
}
[And95] Henrik Reif Andersen. Partial Model-Checking (Extended Abstract). In LICS'95, pages 398-407. IEEE Comp. Soc. Press, June 1995. 
@inproceedings{lics1995-And,
  author =              {Andersen, Henrik Reif},
  title =               {Partial Model-Checking (Extended Abstract)},
  booktitle =           {{P}roceedings of the 10th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'95)},
  acronym =             {{LICS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {398-407},
  year =                {1995},
  month =               jun,
  doi =                 {10.1109/LICS.1995.523274},
}
[BL95] Ahmed Bouajjani and Yassine Lakhnech. Temporal Logic + Timed Automata: Expressiveness and Decidability. In CONCUR'95, Lecture Notes in Computer Science 962, pages 531-545. Springer-Verlag, August 1995. 
@inproceedings{concur1995-BL,
  author =              {Bouajjani, Ahmed and Lakhnech, Yassine},
  title =               {Temporal Logic + Timed Automata: Expressiveness and
                         Decidability},
  editor =              {Lee, Insup and Smolka, Scott A.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'95)},
  acronym =             {{CONCUR}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {962},
  pages =               {531-545},
  year =                {1995},
  month =               aug,
}
[BM95] Michael S. Branicky and Sanjoy K. Mitter. Algorithms for Optimal Hybrid Control. In CDC'95, pages 2661-2666. IEEE Comp. Soc. Press, December 1995. 
@inproceedings{cdc1995-BM,
  author =              {Branicky, Michael S. and Mitter, Sanjoy K.},
  title =               {Algorithms for Optimal Hybrid Control},
  booktitle =           {{P}roceedings of the 34th {IEEE} {C}onference on
                         {D}ecision and {C}ontrol ({CDC}'95)},
  acronym =             {{CDC}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {2661-2666},
  year =                {1995},
  month =               dec,
}
[BS95] Patrick Blackburn and Jerry Seligman. Hybrid Languages. Journal of Logic, Language and Information 4(3):251-272. Kluwer Academic, 1995. 
@article{jolli4(3)-BS,
  author =              {Blackburn, Patrick and Seligman, Jerry},
  title =               {Hybrid Languages},
  publisher =           {Kluwer Academic},
  journal =             {Journal of Logic, Language and Information},
  volume =              {4},
  number =              {3},
  pages =               {251-272},
  year =                {1995},
}
[CC95] Sérgio Vale Aguiar Campos and Edmund M. Clarke. Real-time symbolic model checking for discrete time models. In Teodor Rus and Charles Rattray (eds.), Real-time symbolic model checking for discrete time models, AMAST Series in Computing 2, pages 129-145. World Scientific, January 1995. 
@incollection{tertsd1995-CC,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund
                         M.},
  title =               {Real-time symbolic model checking for discrete time
                         models},
  editor =              {Rus, Teodor and Rattray, Charles},
  booktitle =           {Real-time symbolic model checking for discrete time
                         models},
  publisher =           {World Scientific},
  series =              {AMAST Series in Computing},
  volume =              {2},
  pages =               {129-145},
  year =                {1995},
  month =               jan,
}
[CCM+95] Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, and Marius Minea. Verifying the performance of the PCI local bus using symbolic techniques. In ICCD'95, pages 72-78. IEEE Comp. Soc. Press, October 1995. 
@inproceedings{iccd1995-CCMM,
  author =              {Campos, S{\'e}rgio Vale Aguiar and Clarke, Edmund M.
                         and Marrero, Wilfredo R. and Minea, Marius},
  title =               {Verifying the performance of the PCI local bus using
                         symbolic techniques},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {C}omputer {D}esign ({ICCD}'95)},
  acronym =             {{ICCD}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {72-78},
  year =                {1995},
  month =               oct,
}
[CGM+95] Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, and Xudong Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In DAC'95, pages 427-432. ACM Press, June 1995. 
@inproceedings{dac1995-CGMZ,
  author =              {Clarke, Edmund M. and Grumberg, Orna and McMillan,
                         Kenneth L. and Zhao, Xudong},
  title =               {Efficient Generation of Counterexamples and
                         Witnesses in Symbolic Model Checking},
  booktitle =           {{P}roceedings of the 32nd {D}esign {A}utomation
                         {C}onference ({DAC}'95)},
  acronym =             {{DAC}'95},
  publisher =           {ACM Press},
  pages =               {427-432},
  year =                {1995},
  month =               jun,
}
[CY95] Costas Courcoubetis and Mihalis Yannakakis. The Complexity of Probabilistic Verification. Journal of the ACM 42(4):857-907. ACM Press, July 1995. 
@article{jacm42(4)-CY,
  author =              {Courcoubetis, Costas and Yannakakis, Mihalis},
  title =               {The Complexity of Probabilistic Verification},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {42},
  number =              {4},
  pages =               {857-907},
  year =                {1995},
  month =               jul,
}
[DR95] Volker Diekert and Grzegorz Rozenberg. The Book of Traces. World Scientific, 1995. 
@book{BoT-DR,
  author =              {Diekert, Volker and Rozenberg, Grzegorz},
  title =               {The Book of Traces},
  publisher =           {World Scientific},
  year =                {1995},
}
[DY95] Conrado Daws and Sergio Yovine. Two examples of verification of multirate timed automata with Kronos. In RTSS'95, pages 66-75. IEEE Comp. Soc. Press, December 1995. 
@inproceedings{rtss1995-DY,
  author =              {Daws, Conrado and Yovine, Sergio},
  title =               {Two examples of verification of multirate timed
                         automata with {K}ronos},
  booktitle =           {{P}roceedings of the 16th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'95)},
  acronym =             {{RTSS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {66-75},
  year =                {1995},
  month =               dec,
}
[EF95] Heinz-Dieter Ebbinghaus and Jörg Flum. Finite Model Theory. Springer-Verlag, 1995. 
@book{fmt1999-EF,
  author =              {Ebbinghaus, Heinz-Dieter and Flum, J{\"o}rg},
  title =               {Finite Model Theory},
  publisher =           {Springer-Verlag},
  year =                {1995},
}
[FGK95] Jürgen Frößl, Joachim Gerlach, and Thomas Kropf. Symbolic Model Checking for Real-Time Circuits and Specifications. In TAU'95. ACM Press, November 1995. 
@inproceedings{tau1995-FGK,
  author =              {Fr{\"o}{\ss}l, J{\"u}rgen and Gerlach, Joachim and
                         Kropf, {\relax Th}omas},
  title =               {Symbolic Model Checking for Real-Time Circuits and
                         Specifications},
  booktitle =           {{P}roceedings of the 1995 {ACM} {I}nternational
                         {W}orkshop on {T}iming {I}ssues in the
                         {S}pecification and {S}ynthesis of {D}igital
                         {S}ystems ({TAU}'95)},
  acronym =             {{TAU}'95},
  publisher =           {ACM Press},
  year =                {1995},
  month =               nov,
}
[FHM+95] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Knowledge-Based Programs. In PODC'95, pages 153-163. ACM Press, August 1995. 
@inproceedings{podc1995-FHMV,
  author =              {Fagin, Ronald and Halpern, Joseph Y. and Moses,
                         Yoram and Vardi, Moshe Y.},
  title =               {Knowledge-Based Programs},
  booktitle =           {{P}roceedings of the 14th {ACM} {S}ymposium on
                         {P}rinciples of {D}istributed {C}omputing
                         ({PODC}'95)},
  acronym =             {{PODC}'95},
  publisher =           {ACM Press},
  pages =               {153-163},
  year =                {1995},
  month =               aug,
}
[FT95] Martin Farach and Mikkel Thorup. String Matching in Lempel-Ziv Compressed Strings. In STOC'95, pages 703-712. ACM Press, May 1995. 
@inproceedings{stoc1995-FT,
  author =              {Farach, Martin and Thorup, Mikkel},
  title =               {String Matching in {L}empel-{Z}iv Compressed
                         Strings},
  booktitle =           {{P}roceedings of the 27th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'95)},
  acronym =             {{STOC}'95},
  publisher =           {ACM Press},
  pages =               {703-712},
  year =                {1995},
  month =               may,
}
[GHR95] Raymond Greenlaw, H. James Hoover, and Walter L. Ruzzo. Limits to Parallel Computation: P-Completeness Theory. Oxford University Press, 1995. 
@book{GHR95,
  author =              {Greenlaw, Raymond and Hoover, H. James and Ruzzo,
                         Walter L.},
  title =               {Limits to Parallel Computation: {P}-Completeness
                         Theory},
  publisher =           {Oxford University Press},
  year =                {1995},
}
[GLS95] Jens Christian Godskesen, Kim Guldstrand Larsen, and Arne Skou. Automatic verification of real-tim systems using epsilon. In PSTV'94, IFIP Conference Proceedings 1, pages 323-330. Chapman & Hall, 1995. 
@inproceedings{PSTV1994-GLS94,
  author =              {Godskesen, Jens Christian and Larsen, Kim Guldstrand
                         and Skou, Arne},
  title =               {Automatic verification of real-tim systems using
                         epsilon},
  editor =              {Vuong, Son T. and Chanson, Samuel T.},
  booktitle =           {{P}roceedings of the 14th {I}nternational
                         {S}ymposium on {P}rotocol {S}pecification, {T}esting
                         and {V}erification ({PSTV}'94)},
  acronym =             {{PSTV}'94},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {1},
  pages =               {323-330},
  year =                {1995},
  confyear =            {1994},
}
[Got95] Georg Gottlob. NP Trees and Carnap's Modal Logic. Journal of the ACM 42(2):421-457. ACM Press, March 1995. 
@article{jacm42(2)-Got,
  author =              {Gottlob, Georg},
  title =               {{NP} Trees and {C}arnap's Modal Logic},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {42},
  number =              {2},
  pages =               {421-457},
  year =                {1995},
  month =               mar,
}
[HHW95] Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. A User Guide to HyTech. In TACAS'95, Lecture Notes in Computer Science 1019, pages 41-71. Springer-Verlag, May 1995. 
@inproceedings{tacas1995-HHW,
  author =              {Henzinger, Thomas A. and Ho, Pei-Hsin and
                         Wong{-}Toi, Howard},
  title =               {A~User Guide to {H}y{T}ech},
  editor =              {Brinksma, Ed and Cleaveland, Rance and Larsen, Kim
                         Guldstrand and Margaria, Tiziana and Steffen,
                         Bernhard},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {T}ools and {A}lgorithms for {C}onstruction and
                         {A}nalysis of {S}ystems ({TACAS}'95)},
  acronym =             {{TACAS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1019},
  pages =               {41-71},
  year =                {1995},
  month =               may,
  doi =                 {10.1007/3-540-60630-0_3},
}
[HKP+95] Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What is decidable about Hybrid Automata?. In STOC'95, pages 373-382. ACM Press, May 1995. 
@inproceedings{stoc1995-HKPV,
  author =              {Henzinger, Thomas A. and Kopke, Peter W. and Puri,
                         Anuj and Varaiya, Pravin},
  title =               {What is decidable about Hybrid Automata?},
  booktitle =           {{P}roceedings of the 27th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'95)},
  acronym =             {{STOC}'95},
  publisher =           {ACM Press},
  pages =               {373-382},
  year =                {1995},
  month =               may,
}
[HKW95] Thomas A. Henzinger, Peter W. Kopke, and Howard Wong-Toi. The expressive power of clocks. In ICALP'95, Lecture Notes in Computer Science 944, pages 417-428. Springer-Verlag, July 1995. 
@inproceedings{icalp1995-HKW,
  author =              {Henzinger, Thomas A. and Kopke, Peter W. and
                         Wong{-}Toi, Howard},
  title =               {The expressive power of clocks},
  editor =              {F{\"u}l{\"o}p, Zolt{\'a}n and Gecseg, Ferenc},
  booktitle =           {{P}roceedings of the 22nd {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'95)},
  acronym =             {{ICALP}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {944},
  pages =               {417-428},
  year =                {1995},
  month =               jul,
}
[JW95] David Janin and Igor Walukiewicz. Automata for the Modal μ-Calculus and Related Results. In MFCS'95, Lecture Notes in Computer Science 969, pages 552-562. Springer-Verlag, August 1995. 
@inproceedings{mfcs1995-JW,
  author =              {Janin, David and Walukiewicz, Igor},
  title =               {Automata for the Modal {\(\mu\)}-Calculus and
                         Related Results},
  editor =              {Wiedermann, Jir{\'\i} and H{\'a}jek, Petr},
  booktitle =           {{P}roceedings of the 20th {I}nternational
                         {S}ymposium on {M}athematical {F}oundations of
                         {C}omputer {S}cience ({MFCS}'95)},
  acronym =             {{MFCS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {969},
  pages =               {552-562},
  year =                {1995},
  month =               aug,
}
[KP95] Yonit Kesten and Amir Pnueli. A Complete Proof Systems for QPTL. In LICS'95, pages 2-12. IEEE Comp. Soc. Press, June 1995. 
@inproceedings{lics1995-KeP,
  author =              {Kesten, Yonit and Pnueli, Amir},
  title =               {A Complete Proof Systems for {QPTL}},
  booktitle =           {{P}roceedings of the 10th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'95)},
  acronym =             {{LICS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {2-12},
  year =                {1995},
  month =               jun,
}
[KP95] Orna Kupferman and Amir Pnueli. Once and For All. In LICS'95, pages 25-35. IEEE Comp. Soc. Press, June 1995. 
@inproceedings{lics1995-KuP,
  author =              {Kupferman, Orna and Pnueli, Amir},
  title =               {{\emph{Once}} and {\emph{For All}}},
  booktitle =           {{P}roceedings of the 10th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'95)},
  acronym =             {{LICS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {25-35},
  year =                {1995},
  month =               jun,
}
[Kup95] Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. In CAV'95, Lecture Notes in Computer Science 939, pages 325-338. Springer-Verlag, July 1995. 
@inproceedings{cav1995-Kup,
  author =              {Kupferman, Orna},
  title =               {Augmenting Branching Temporal Logics with
                         Existential Quantification over Atomic Propositions},
  editor =              {Wolper, Pierre},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'95)},
  acronym =             {{CAV}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {939},
  pages =               {325-338},
  year =                {1995},
  month =               jul,
  doi =                 {10.1007/3-540-60045-0_60},
}
[Kup95] Orna Kupferman. Model Checking for Branching-Time Temporal Logics. PhD thesis, Israel Institute of Technology, Haifa, Israel, 1995. 
@phdthesis{phd-kupferman,
  author =              {Kupferman, Orna},
  title =               {Model Checking for Branching-Time Temporal Logics},
  year =                {1995},
  school =              {Israel Institute of Technology, Haifa, Israel},
  type =                {{PhD} thesis},
}
[Lar95] François Laroussinie. About the Expressive Power of CTL Combinators. Information Processing Letters 54(6):343-345. Elsevier, June 1995. 
@article{ipl54(6)-Lar,
  author =              {Laroussinie, Fran{\c c}ois},
  title =               {About the Expressive Power of {CTL} Combinators},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {54},
  number =              {6},
  pages =               {343-345},
  year =                {1995},
  month =               jun,
}
[LLW95] François Laroussinie, Kim Guldstrand Larsen, and Carsten Weise. From Timed Automata to Logic – and Back. In MFCS'95, Lecture Notes in Computer Science 969, pages 529-539. Springer-Verlag, August 1995. 
@inproceedings{mfcs1995-LLW,
  author =              {Laroussinie, Fran{\c c}ois and Larsen, Kim
                         Guldstrand and Weise, Carsten},
  title =               {From Timed Automata to Logic~-- and Back},
  editor =              {Wiedermann, Jir{\'\i} and H{\'a}jek, Petr},
  booktitle =           {{P}roceedings of the 20th {I}nternational
                         {S}ymposium on {M}athematical {F}oundations of
                         {C}omputer {S}cience ({MFCS}'95)},
  acronym =             {{MFCS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {969},
  pages =               {529-539},
  year =                {1995},
  month =               aug,
  doi =                 {10.1007/3-540-60246-1_158},
}
[LS95] François Laroussinie and Philippe Schnoebelen. A Hierarchy of Temporal Logics with Past. Theoretical Computer Science 148(2):303-324. Elsevier, September 1995. 
@article{tcs148(2)-LS,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe},
  title =               {A Hierarchy of Temporal Logics with Past},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {148},
  number =              {2},
  pages =               {303-324},
  year =                {1995},
  month =               sep,
}
[MPS95] Oded Maler, Amir Pnueli, and Joseph Sifakis. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). In STACS'95, Lecture Notes in Computer Science 900, pages 229-242. Springer-Verlag, March 1995. 
@inproceedings{stacs1995-MPS,
  author =              {Maler, Oded and Pnueli, Amir and Sifakis, Joseph},
  title =               {On the Synthesis of Discrete Controllers for Timed
                         Systems (An~Extended Abstract)},
  editor =              {Mayr, Ernst W. and Puech, Claude},
  booktitle =           {{P}roceedings of the 12th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'95)},
  acronym =             {{STACS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {900},
  pages =               {229-242},
  year =                {1995},
  month =               mar,
}
[MR95] Rajeev Motwani and Prabhakar Raghavan. Randomized algorithms. Cambridge University Press, 1995. 
@book{MR95-RA,
  author =              {Motwani, Rajeev and Raghavan, Prabhakar},
  title =               {Randomized algorithms},
  publisher =           {Cambridge University Press},
  year =                {1995},
}
[MS95] David E. Muller and Paul E. Schupp. Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra. Theoretical Computer Science 141(1-2):69-107. Elsevier, April 1995. 
@article{tcs141(1-2)-MS,
  author =              {Muller, David E. and Schupp, Paul E.},
  title =               {Simulating alternating tree automata by
                         nondeterministic automata: New results and new
                         proofs of the theorems of {R}abin, {M}c{N}aughton
                         and {S}afra},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {141},
  number =              {1-2},
  pages =               {69-107},
  year =                {1995},
  month =               apr,
}
[NTS95] Noam Nisan and Amnon Ta-Shma. Symmetric LOGSPACE is Closed Under Complement. In STOC'95, pages 140-146. ACM Press, May 1995. 
@inproceedings{stoc1995-NT,
  author =              {Nisan, Noam and Ta-Shma, Amnon},
  title =               {Symmetric {LOGSPACE} is Closed Under Complement},
  booktitle =           {{P}roceedings of the 27th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'95)},
  acronym =             {{STOC}'95},
  publisher =           {ACM Press},
  pages =               {140-146},
  year =                {1995},
  month =               may,
}
[PP95] Dominique Perrin and Jean-Éric Pin. Semigroups and Automata on Infinite Words. In John B. Fountain and Victoria Gould (eds.), NATO Advanced Study Institute: Semigroups, Formal Languages and Groups. Kluwer Academic, 1995. 
@incollection{SFLG1995-PP,
  author =              {Perrin, Dominique and Pin, Jean-{\'E}ric},
  title =               {Semigroups and Automata on Infinite Words},
  editor =              {Fountain, John B. and Gould, Victoria},
  booktitle =           {{NATO} Advanced Study Institute: Semigroups, Formal
                         Languages and Groups},
  publisher =           {Kluwer Academic},
  pages =               {49-72},
  year =                {1995},
}
[RN95] Stuart J. Russell and Peter Norvig. Artificial Intelligence – A modern approach. Prentice Hall, 1995. 
@book{RN95-AIMA,
  author =              {Russell, Stuart J. and Norvig, Peter},
  title =               {Artificial Intelligence~-- A~modern approach},
  publisher =           {Prentice Hall},
  year =                {1995},
}
[RR95] Olivier F. Roux and Vlad Rusu. Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata. In HSCC'94, Lecture Notes in Computer Science 999, pages 405-416. Springer-Verlag, 1995. 
@inproceedings{hscc1994-RR,
  author =              {Roux, Olivier F. and Rusu, Vlad},
  title =               {Deciding time-bounded properties for {ELECTRE}
                         reactive programs with stopwatch automata},
  editor =              {Antsaklis, Panos and Kohn, Wolf and Nerode, Anil and
                         Sastry, Shankar},
  booktitle =           {{H}ybrid {S}ystems~{II} ({HSCC}'94)},
  acronym =             {{HSCC}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {999},
  pages =               {405-416},
  year =                {1995},
}
[SSL+95] Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, and Demosthenis Teneketzis. Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40(9):1555-1575. IEEE Comp. Soc. Press, September 1995. 
@article{tac40(9)-SSLST,
  author =              {Sampath, Meera and Sengupta, Raja and Lafortune,
                         St{\'e}phane and Sinnamohideen, Kasim and
                         Teneketzis, Demosthenis},
  title =               {Diagnosability of discrete-event systems},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Automatic Control},
  volume =              {40},
  number =              {9},
  pages =               {1555-1575},
  year =                {1995},
  month =               sep,
  doi =                 {10.1109/9.412626},
}
[Sti95] Colin Stirling. Local Model Checking Games (Extended Abstract). In CONCUR'95, Lecture Notes in Computer Science 962, pages 1-11. Springer-Verlag, August 1995. 
@inproceedings{concur1995-Sti,
  author =              {Stirling, Colin},
  title =               {Local Model Checking Games (Extended Abstract)},
  editor =              {Lee, Insup and Smolka, Scott A.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'95)},
  acronym =             {{CONCUR}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {962},
  pages =               {1-11},
  year =                {1995},
  month =               aug,
}
[Tho95] Wolfgang Thomas. On the Synthesis of Strategies in Infinite Games. In STACS'95, Lecture Notes in Computer Science 900, pages 1-13. Springer-Verlag, March 1995. 
@inproceedings{stacs1995-Tho,
  author =              {Thomas, Wolfgang},
  title =               {On the Synthesis of Strategies in Infinite Games},
  editor =              {Mayr, Ernst W. and Puech, Claude},
  booktitle =           {{P}roceedings of the 12th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'95)},
  acronym =             {{STACS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {900},
  pages =               {1-13},
  year =                {1995},
  month =               mar,
}
[Var95] Moshe Y. Vardi. Alternating Automata and Program Verification. In Jan van Leeuwen (eds.), Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science 1000, pages 471-485. Springer-Verlag, 1995. 
@incollection{lncs1000-Var,
  author =              {Vardi, Moshe Y.},
  title =               {Alternating Automata and Program Verification},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Computer Science Today: Recent Trends and
                         Developments},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1000},
  pages =               {471-485},
  year =                {1995},
}
[YPD95] Wang Yi, Paul Pettersson, and Mats Daniels. Automatic verification of real-time communicating systems by constraint-solving. In FORTE'94, IFIP Conference Proceedings 6, pages 243-258. Chapman & Hall, 1995. 
@inproceedings{forte1994-YPD,
  author =              {Yi, Wang and Pettersson, Paul and Daniels, Mats},
  title =               {Automatic verification of real-time communicating
                         systems by constraint-solving},
  editor =              {Hogrefe, Dieter and Leue, Stefan},
  booktitle =           {{P}roceedings of the 7th {IFIP} {WG}6.1
                         {I}nternational {C}onference on {F}ormal
                         {D}escription {T}echniques ({FORTE}'94)},
  acronym =             {{FORTE}'94},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {6},
  pages =               {243-258},
  year =                {1995},
  confyear =            {1994},
  confmonth =           {10},
}
List of authors