Z
[Zan12] Fabio Zanasi. Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degrees. Master's thesis, Amsterdam University, the Netherlands, August 2012.
@mastersthesis{master-zanasi,
  author =              {Zanasi, Fabio},
  title =               {Expressiveness of Monadic Second-Order Logics on
                         Infinite Trees of Arbitrary Branching Degrees},
  year =                {2012},
  month =               aug,
  school =              {Amsterdam University, the~Netherlands},
  type =                {Master's thesis},
}
[Zeu15] Thomas Zeume. Small Dynamic Complexity Classes. PhD thesis, Dortmund University, Germany, May 2015.
@phdthesis{phd-zeume,
  author =              {Zeume, Thomas},
  title =               {Small Dynamic Complexity Classes},
  year =                {2015},
  month =               may,
  school =              {Dortmund University, Germany},
  type =                {{PhD} thesis},
}
[Zie98] Wiesław Zielonka. Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees. Theoretical Computer Science 200(1-2):135-183. Elsevier, June 1998.
@article{tcs200(1-2)-Zie,
  author =              {Zielonka, Wies{\l}aw},
  title =               {Infinite Games on Finitely Coloured Graphs with
                         Applications to Automata on Infinite Trees},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {200},
  number =              {1-2},
  pages =               {135-183},
  year =                {1998},
  month =               jun,
}
[ZL77] Jacob Ziv and Abraham Lempel. A Universal Algorithm for Sequential Data Compression. IEEE Transactions on Information Theory 23(3):337-343. IEEE Inf. Theory Soc., May 1977.
@article{tit23(3)-ZL,
  author =              {Ziv, Jacob and Lempel, Abraham},
  title =               {A Universal Algorithm for Sequential Data
                         Compression},
  publisher =           {IEEE Inf. Theory Soc.},
  journal =             {IEEE Transactions on Information Theory},
  volume =              {23},
  number =              {3},
  pages =               {337-343},
  year =                {1977},
  month =               may,
}
[ZL13] Janan Zaytoon and Stéphane Lafortune. Overview of fault diagnosis methods for Discrete Event Systems. Annual Reviews in Control 37(2):308-320. Elsevier, 2013.
@article{aric37(2)-ZL,
  author =              {Zaytoon, Janan and Lafortune, St{\'e}phane},
  title =               {Overview of fault diagnosis methods for Discrete
                         Event Systems},
  publisher =           {Elsevier},
  journal =             {Annual Reviews in Control},
  volume =              {37},
  number =              {2},
  pages =               {308-320},
  year =                {2013},
  doi =                 {10.1016/j.arcontrol.2013.09.009},
}
[ZP96] Uri Zwick and Mike Paterson. The Complexity of Mean Payoff Games on Graphs. Theoretical Computer Science 158(1-2):343-359. Elsevier, May 1996.
@article{tcs158(1-2)-ZP,
  author =              {Zwick, Uri and Paterson, Mike},
  title =               {The Complexity of Mean Payoff Games on Graphs},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {158},
  number =              {1-2},
  pages =               {343-359},
  year =                {1996},
  month =               may,
  doi =                 {10.1016/0304-3975(95)00188-3},
}
[ZSS04] Shipei Zhang, Oleg Sokolsky, and Scott A. Smolka. On the Parallel Complexity of Model Checking in the Modal Mu-Calculus. In LICS'04, pages 154-163. IEEE Comp. Soc. Press, July 2004.
@inproceedings{lics1994-ZSS,
  author =              {Zhang, Shipei and Sokolsky, Oleg and Smolka, Scott
                         A.},
  title =               {On the Parallel Complexity of Model Checking in the
                         Modal Mu-Calculus},
  booktitle =           {{P}roceedings of the 19th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'04)},
  acronym =             {{LICS}'04},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {154-163},
  year =                {2004},
  month =               jul,
}
[Zur05] Richard Zurawski. Embedded Systems Handbook. CRC Press, 2005.
@book{ESH2005-zurawski,
  author =              {Zurawski, Richard},
  title =               {Embedded Systems Handbook},
  publisher =           {CRC Press},
  year =                {2005},
}
[ZYN03] Sarah Zennou, Manuel Yguel, and Peter Niebert. ELSE: A New Symbolic State Generator for Timed Automata. In FORMATS'03, Lecture Notes in Computer Science 2791, pages 273-280. Springer-Verlag, September 2003.
@inproceedings{formats2003-ZYN,
  author =              {Zennou, Sarah and Yguel, Manuel and Niebert, Peter},
  title =               {{ELSE}: A~New Symbolic State Generator for Timed
                         Automata},
  editor =              {Larsen, Kim Guldstrand and Niebert, Peter},
  booktitle =           {{R}evised {P}apers of the 1st {I}nternational
                         {C}onferences on {F}ormal {M}odelling and {A}nalysis
                         of {T}imed {S}ystems ({FORMATS}'03)},
  acronym =             {{FORMATS}'03},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2791},
  pages =               {273-280},
  year =                {2003},
  month =               sep,
}
List of authors