1996
[ACJ+96] Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jonsson et Yih-Kuen Tsay. General Decidability Theorems for Infinite-State Systems. In LICS'96, pages 313-321. IEEE Comp. Soc. Press, juillet 1996. 
@inproceedings{lics1996-ACJT,
  author =              {Abdulla, Parosh Aziz and {\v{C}}er{\={a}}ns,
                         K{\={a}}rlis and Jonsson, Bengt and Tsay, Yih-Kuen},
  title =               {General Decidability Theorems for Infinite-State
                         Systems},
  booktitle =           {{P}roceedings of the 11th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'96)},
  acronym =             {{LICS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {313-321},
  year =                {1996},
  month =               jul,
}
[AFH96] Rajeev Alur, Tómas Feder et Thomas A. Henzinger. The Benefits of Relaxing Punctuality. Journal of the ACM 43(1):116-146. ACM Press, janvier 1996. 
@article{jacm43(1)-AFH,
  author =              {Alur, Rajeev and Feder, T{\'o}mas and Henzinger,
                         Thomas A.},
  title =               {The Benefits of Relaxing Punctuality},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {43},
  number =              {1},
  pages =               {116-146},
  year =                {1996},
  month =               jan,
}
[AHH96] Rajeev Alur, Thomas A. Henzinger et Pei-Hsin Ho. Automatic Symbolic Verification of Embedded Systems. IEEE Transactions on Software Engineering 22(3):181-201. IEEE Comp. Soc. Press, mars 1996. 
@article{tse22(3)-AHH,
  author =              {Alur, Rajeev and Henzinger, Thomas A. and Ho,
                         Pei-Hsin},
  title =               {Automatic Symbolic Verification of Embedded Systems},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Software Engineering},
  volume =              {22},
  number =              {3},
  pages =               {181-201},
  year =                {1996},
  month =               mar,
}
[AJ96] Parosh Aziz Abdulla et Bengt Jonsson. Verifying Programs with Unreliable Channels. Information and Computation 127(2):91-101. Academic Press, juin 1996. 
@article{icomp127(2)-AJ,
  author =              {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title =               {Verifying Programs with Unreliable Channels},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {127},
  number =              {2},
  pages =               {91-101},
  year =                {1996},
  month =               jun,
  doi =                 {10.1006/inco.1996.0053},
}
[AO96] Eric Allender et Mitsunori Ogihara. Relationships Among PL, #;L, and the Determinant. RAIRO – Theoretical Informatics and Applications 30(1):1-21. EDP Sciences, 1996. 
@article{rairo-tia30(1)-AO,
  author =              {Allender, Eric and Ogihara, Mitsunori},
  title =               {Relationships Among {PL}, {\#L}, and the
                         Determinant},
  publisher =           {EDP Sciences},
  journal =             {RAIRO~-- Theoretical Informatics and Applications},
  volume =              {30},
  number =              {1},
  pages =               {1-21},
  year =                {1996},
}
[AT96] Rajeev Alur et Gadi Taubenfeld. Fast Timing-based Algorithms. Distributed Computing 10:1-10. Springer-Verlag, 1996. 
@article{discomp10(1)-AT,
  author =              {Alur, Rajeev and Taubenfeld, Gadi},
  title =               {Fast Timing-based Algorithms},
  publisher =           {Springer-Verlag},
  journal =             {Distributed Computing},
  volume =              {10},
  pages =               {1-10},
  year =                {1996},
}
[BEM96] Julian C. Bradfield, Javier Esparza et Angelika Mader. An effective tableau system for the linear time mu-calculus. In ICALP'96, Lecture Notes in Computer Science 1099, pages 98-109. Springer-Verlag, juillet 1996. 
@inproceedings{icalp1996-BEM,
  author =              {Bradfield, Julian C. and Esparza, Javier and Mader,
                         Angelika},
  title =               {An effective tableau system for the linear time
                         mu-calculus},
  editor =              {Meyer auf der Heide, Friedhelm and Monien, Burkhard},
  booktitle =           {{P}roceedings of the 23rd {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'96)},
  acronym =             {{ICALP}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1099},
  pages =               {98-109},
  year =                {1996},
  month =               jul,
}
[BGK+96] Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson et Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. In CAV'96, Lecture Notes in Computer Science 1102, pages 244-256. Springer-Verlag, juillet 1996. 
@inproceedings{cav1996-BGKLLPY,
  author =              {Bengtsson, Johan and Griffioen, W. O. David and
                         Kristoffersen, K{\aa}re J. and Larsen, Kim
                         Guldstrand and Larsson, Fredrik and Pettersson, Paul
                         and Yi, Wang},
  title =               {Verification of an Audio Protocol with Bus Collision
                         Using {\scshape {U}ppaal}},
  editor =              {Alur, Rajeev and Henzinger, Thomas A.},
  booktitle =           {{P}roceedings of the 8th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'96)},
  acronym =             {{CAV}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1102},
  pages =               {244-256},
  year =                {1996},
  month =               jul,
}
[BGP96] Béatrice Bérard, Paul Gastin et Antoine Petit. Timed Automata with non Observable Actions: Expressive power and refinement. In STACS'96, Lecture Notes in Computer Science 1046, pages 257-268. Springer-Verlag, février 1996. 
@inproceedings{stacs1996-BGP,
  author =              {B{\'e}rard, B{\'e}atrice and Gastin, Paul and Petit,
                         Antoine},
  title =               {Timed Automata with non Observable Actions:
                         Expressive power and refinement},
  editor =              {Puech, Claude and Reischuk, R{\"u}diger},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'96)},
  acronym =             {{STACS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1046},
  pages =               {257-268},
  year =                {1996},
  month =               feb,
}
[Bod96] Hans L. Bodlaender. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM Journal on Computing 25(6):1305-1317. Society for Industrial and Applied Math., décembre 1996. 
@article{siamcomp25(6)-Bod,
  author =              {Bodlaender, Hans L.},
  title =               {A~linear-time algorithm for finding
                         tree-decompositions of small treewidth},
  publisher =           {Society for Industrial and Applied Math.},
  journal =             {SIAM Journal on Computing},
  volume =              {25},
  number =              {6},
  pages =               {1305-1317},
  year =                {1996},
  month =               dec,
  doi =                 {10.1137/S0097539793251219},
}
[BT96] Dimitri P. Bertsekas et John N. Tsitsiklis. Neuro-Dynamic Programming. Anthropological Field Studies 3. Athena Scientific, 1996. 
@book{NDP-BT,
  author =              {Bertsekas, Dimitri P. and Tsitsiklis, John N.},
  title =               {Neuro-Dynamic Programming},
  publisher =           {Athena Scientific},
  series =              {Anthropological Field Studies},
  volume =              {3},
  year =                {1996},
}
[CFP+96] Gérard Cécé, Alain Finkel et S. Purushothaman Iyer. Unreliable Channels are Easier to Verify Than Perfect Channels. Information and Computation 124(1):20-31. Academic Press, janvier 1996. 
@article{icomp124(1)-CFP,
  author =              {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain and
                         Purushothaman Iyer, S.},
  title =               {Unreliable Channels are Easier to Verify Than
                         Perfect Channels},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {124},
  number =              {1},
  pages =               {20-31},
  year =                {1996},
  month =               jan,
}
[CG96] Boris V. Cherkassky et Andrew V. Goldberg. Negative-Cycle Detection Algorithm. In ESA'96, Lecture Notes in Computer Science 1136, pages 349-363. Springer-Verlag, septembre 1996. 
@inproceedings{esa1996-CG,
  author =              {Cherkassky, Boris V. and Goldberg, Andrew V.},
  title =               {Negative-Cycle Detection Algorithm},
  editor =              {D{\'\i}az, Josep and Serna, Maria J.},
  booktitle =           {{P}roceedings of the 4th {A}nnual {E}uropean
                         {S}ymposium on {A}lgorithms ({ESA}'96)},
  acronym =             {{ESA}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1136},
  pages =               {349-363},
  year =                {1996},
  month =               sep,
}
[DOT+96] Conrado Daws, Alfredo Olivero, Stavros Tripakis et Sergio Yovine. The tool Kronos. In HSCC'95, Lecture Notes in Computer Science 1066, pages 208-219. Springer-Verlag, 1996. 
@inproceedings{hscc1995-DOTY,
  author =              {Daws, Conrado and Olivero, Alfredo and Tripakis,
                         Stavros and Yovine, Sergio},
  title =               {The tool {\scshape {K}ronos}},
  editor =              {Alur, Rajeev and Henzinger, Thomas A. and Sontag,
                         Eduardo D.},
  booktitle =           {{H}ybrid {S}ystems~{III}: {V}erification and
                         {C}ontrol ({HSCC}'95)},
  acronym =             {{HSCC}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1066},
  pages =               {208-219},
  year =                {1996},
  confyear =            {1995},
  confmonth =           {10},
}
[Eme96] E. Allen Emerson. Automated Temporal Reasoning about Reactive Systems. In Banff'94, Lecture Notes in Computer Science 1043, pages 41-101. Springer-Verlag, 1996. 
@inproceedings{banff1994-Eme,
  author =              {Emerson, E. Allen},
  title =               {Automated Temporal Reasoning about Reactive Systems},
  editor =              {Moller, Faron and Birtwistle, Graham M.},
  booktitle =           {{L}ogics for {C}oncurrency, {S}tructure versus
                         {A}utomata: {P}roceedings of the 8th {B}anff
                         {H}igher {O}rder {W}orkshop ({B}anff'94)},
  acronym =             {{B}anff'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1043},
  pages =               {41-101},
  year =                {1996},
  confyear =            {1994},
  confmonth =           {8-9},
}
[Eme96] E. Allen Emerson. Model Checking and the Mu-calculus. In Neil Immerman et Phokion G. Kolaitis (eds.), Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, pages 185-214. American Mathematical Society, 1996. 
@incollection{dimacs31-Eme,
  author =              {Emerson, E. Allen},
  title =               {Model Checking and the Mu-calculus},
  editor =              {Immerman, Neil and Kolaitis, Phokion G.},
  booktitle =           {Descriptive Complexity and Finite Models},
  publisher =           {American Mathematical Society},
  series =              {DIMACS Series in Discrete Mathematics and
                         Theoretical Computer Science},
  volume =              {31},
  pages =               {185-214},
  year =                {1996},
}
[ES96] E. Allen Emerson et A. Prasad Sistla. Symmetry and model checking. Formal Methods in System Design 9(1-2):105-131. Kluwer Academic, août 1996. 
@article{fmsd9(1-2)-ES,
  author =              {Emerson, E. Allen and Sistla, A. Prasad},
  title =               {Symmetry and model checking},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {9},
  number =              {1-2},
  pages =               {105-131},
  year =                {1996},
  month =               aug,
  doi =                 {10.1007/BF00625970},
}
[ET96] E. Allen Emerson et Richard J. Trefler. Generalized Quantitative Temporal Reasoning. Technical Report 96-20, Department of Computer Science, University of Texas at Austin, USA, 1996. 
@techreport{TR-96-20-ET,
  author =              {Emerson, E. Allen and Trefler, Richard J.},
  title =               {Generalized Quantitative Temporal Reasoning},
  number =              {96-20},
  year =                {1996},
  institution =         {Department of Computer Science, University of Texas
                         at Austin, USA},
  type =                {Technical Report},
}
[EW96] Kousha Etessami et Thomas Wilke. An Until Hierarchy for Temporal Logic. In LICS'96, pages 108-117. IEEE Comp. Soc. Press, juillet 1996. 
@inproceedings{lics1996-EW,
  author =              {Etessami, Kousha and Wilke, Thomas},
  title =               {An Until Hierarchy for Temporal Logic},
  booktitle =           {{P}roceedings of the 11th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'96)},
  acronym =             {{LICS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {108-117},
  year =                {1996},
  month =               jul,
}
[FHM+96] Ronald Fagin, Joseph Y. Halpern, Yoram Moses et Moshe Y. Vardi. Common Knowledge Revisited. In TARK'96, pages 283-298. Morgan Kaufmann Publishers, mars 1996. 
@inproceedings{tark1996-FHMV,
  author =              {Fagin, Ronald and Halpern, Joseph Y. and Moses,
                         Yoram and Vardi, Moshe Y.},
  title =               {Common Knowledge Revisited},
  editor =              {Shoham, Yoav},
  booktitle =           {{P}roceedings of the 6th {C}onference on
                         {T}heoretical {A}spects of {R}ationality and
                         {K}nowledge ({TARK}'96)},
  acronym =             {{TARK}'96},
  publisher =           {Morgan Kaufmann Publishers},
  pages =               {283-298},
  year =                {1996},
  month =               mar,
}
[FKG96] Jürgen Frößl, Thomas Kropf et Joachim Gerlach. An Efficient Algorithm for Real-Time Symbolic Model Checking. In ED&TC'96, pages 15-20. IEEE Comp. Soc. Press, mars 1996. 
@inproceedings{edtc1996-FKG,
  author =              {Fr{\"o}{\ss}l, J{\"u}rgen and Kropf, {\relax Th}omas
                         and Gerlach, Joachim},
  title =               {An Efficient Algorithm for Real-Time Symbolic Model
                         Checking},
  booktitle =           {{P}roceedings of the 1996 {E}uropean {D}esign and
                         {T}est {C}onference ({ED\&TC}'96)},
  acronym =             {{ED\&TC}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {15-20},
  year =                {1996},
  month =               mar,
}
[GKP+96] Leszek Gąsieniec, Marek Karpinski, Wojciech Plandowski et Wojciech Rytter. Efficient Algorithms for Lempel-Ziv Encoding (Extended Abstract). In SWAT'96, Lecture Notes in Computer Science 1097, pages 392-403. Springer-Verlag, juillet 1996. 
@inproceedings{swat1996-GKPR,
  author =              {G{\k a}sieniec, Leszek and Karpinski, Marek and
                         Plandowski, Wojciech and Rytter, Wojciech},
  title =               {Efficient Algorithms for {L}empel-{Z}iv Encoding
                         (Extended Abstract)},
  editor =              {Karlsson, Rolf G. and Lingas, Andrzej},
  booktitle =           {{P}roceedings of the 5th {S}candinavian {W}orkshop
                         on {A}lgorithm {T}heory ({SWAT}'96)},
  acronym =             {{SWAT}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1097},
  pages =               {392-403},
  year =                {1996},
  month =               jul,
}
[Gor96] Valentin Goranko. Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5(1):1-24. Kluwer Academic, avril 1996. 
@article{jolli5(1)-Gor,
  author =              {Goranko, Valentin},
  title =               {Hierarchies of Modal and Temporal Logics with
                         Reference Pointers},
  publisher =           {Kluwer Academic},
  journal =             {Journal of Logic, Language and Information},
  volume =              {5},
  number =              {1},
  pages =               {1-24},
  year =                {1996},
  month =               apr,
}
[GPV+96] Rob Gerth, Doron A. Peled, Moshe Y. Vardi et Pierre Wolper. Simple On-the-fly Automatic Verification of Linear Temporal Logic. In PSTV'95, IFIP Conference Proceedings 38, pages 3-18. Chapman & Hall, 1996. 
@inproceedings{pstv1995-GPVW,
  author =              {Gerth, Rob and Peled, Doron A. and Vardi, Moshe Y.
                         and Wolper, Pierre},
  title =               {Simple On-the-fly Automatic Verification of Linear
                         Temporal Logic},
  editor =              {Dembinski, Piotr and Sredniawa, Marek},
  booktitle =           {{P}roceedings of the 15th {I}nternational
                         {S}ymposium on {P}rotocol {S}pecification, {T}esting
                         and {V}erification ({PSTV}'95)},
  acronym =             {{PSTV}'95},
  publisher =           {Chapman \& Hall},
  series =              {IFIP Conference Proceedings},
  volume =              {38},
  pages =               {3-18},
  year =                {1996},
  confyear =            {1995},
  confmonth =           {6},
}
[GRS+96] Dora Giammarresi, Antonio Restivo, Sebastian Seibert et Wolfgang Thomas. Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems. Information and Computation 125(1):32-45. Academic Press, février 1996. 
@article{icomp125(1)-GRST,
  author =              {Giammarresi, Dora and Restivo, Antonio and Seibert,
                         Sebastian and Thomas, Wolfgang},
  title =               {Monadic Second-Order Logic over Rectangular Pictures
                         and Recognizability by Tiling Systems},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {125},
  number =              {1},
  pages =               {32-45},
  year =                {1996},
  month =               feb,
  doi =                 {10.1006/inco.1996.0018},
}
[Hen96] Thomas A. Henzinger. The Theory of Hybrid Automata. In LICS'96, pages 278-292. IEEE Comp. Soc. Press, juillet 1996. 
@inproceedings{lics1996-Hen,
  author =              {Henzinger, Thomas A.},
  title =               {The Theory of Hybrid Automata},
  booktitle =           {{P}roceedings of the 11th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'96)},
  acronym =             {{LICS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {278-292},
  year =                {1996},
  month =               jul,
}
[HJ96] Dang Van Hung et Wang Ji. On the Design of Hybrid Control Systems Using Automata Models. In FSTTCS'96, Lecture Notes in Computer Science 1180, pages 156-176. Springer-Verlag, décembre 1996. 
@inproceedings{fsttcs1996-HJ,
  author =              {Hung, Dang Van and Ji, Wang},
  title =               {On the Design of Hybrid Control Systems Using
                         Automata Models},
  editor =              {Chandru, Vijay and Vinay, V.},
  booktitle =           {{P}roceedings of the 16th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'96)},
  acronym =             {{FSTTCS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1180},
  pages =               {156-176},
  year =                {1996},
  month =               dec,
}
[HKV96] Thomas A. Henzinger, Orna Kupferman et Moshe Y. Vardi. A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. In CONCUR'96, Lecture Notes in Computer Science 1119, pages 514-529. Springer-Verlag, août 1996. 
@inproceedings{concur1996-HKV,
  author =              {Henzinger, Thomas A. and Kupferman, Orna and Vardi,
                         Moshe Y.},
  title =               {A Space-Efficient On-the-fly Algorithm for Real-Time
                         Model Checking},
  editor =              {Montanari, Ugo and Sassone, Vladimiro},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'96)},
  acronym =             {{CONCUR}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1119},
  pages =               {514-529},
  year =                {1996},
  month =               aug,
}
[HS96] Klaus Havelund et Natarajan Shankar. Experiments in Theorem Proving and Model Checking for Protocol Verification. In FME'96, Lecture Notes in Computer Science 1051, pages 662-681. Springer-Verlag, mars 1996. 
@inproceedings{fme1996-HS,
  author =              {Havelund, Klaus and Shankar, Natarajan},
  title =               {Experiments in Theorem Proving and Model Checking
                         for Protocol Verification},
  editor =              {Gaudel, Marie-Claude and Woodcock, Jim},
  booktitle =           {Industrial Benefit and Advances in Formal
                         Methods~--- {P}roceedings of the 3rd {I}nternational
                         {S}ymposium of {F}ormal {M}ethods {E}urope
                         ({FME}'96)},
  acronym =             {{FME}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1051},
  pages =               {662-681},
  year =                {1996},
  month =               mar,
}
[JW96] David Janin et Igor Walukiewicz. On the Expressive Completeness of the Propositional Mu-Calculus With Respect to Monadic Second Order Logic. In CONCUR'96, Lecture Notes in Computer Science 1119, pages 263-277. Springer-Verlag, août 1996. 
@inproceedings{concur1996-JW,
  author =              {Janin, David and Walukiewicz, Igor},
  title =               {On the Expressive Completeness of the Propositional
                         Mu-Calculus With Respect to Monadic Second Order
                         Logic},
  editor =              {Montanari, Ugo and Sassone, Vladimiro},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'96)},
  acronym =             {{CONCUR}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1119},
  pages =               {263-277},
  year =                {1996},
  month =               aug,
}
[KG96] Orna Kupferman et Orna Grumberg. Buy One, Get One Free!!!. Journal of Logic and Computation 6(4):523-539. Oxford University Press, août 1996. 
@article{jlc6(4)-KG,
  author =              {Kupferman, Orna and Grumberg, Orna},
  title =               {Buy One, Get One Free!!!},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {6},
  number =              {4},
  pages =               {523-539},
  year =                {1996},
  month =               aug,
}
[KG96] Orna Kupferman et Orna Grumberg. Branching Time Temporal Logic and Tree Automata. Information and Computation 125(1):62-69. Academic Press, février 1996. 
@article{icomp125(1)-KG,
  author =              {Kupferman, Orna and Grumberg, Orna},
  title =               {Branching Time Temporal Logic and Tree Automata},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {125},
  number =              {1},
  pages =               {62-69},
  year =                {1996},
  month =               feb,
}
[KSV96] Orna Kupferman, Shmuel Safra et Moshe Y. Vardi. Relating Word and Tree Automata. In LICS'96, pages 322-332. IEEE Comp. Soc. Press, juillet 1996. 
@inproceedings{lics1996-KSV,
  author =              {Kupferman, Orna and Safra, Shmuel and Vardi, Moshe
                         Y.},
  title =               {Relating Word and Tree Automata},
  booktitle =           {{P}roceedings of the 11th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'96)},
  acronym =             {{LICS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {322-332},
  year =                {1996},
  month =               jul,
  doi =                 {10.1109/LICS.1996.561360},
}
[Moo96] Cristopher Moore. Recursion Theory on the Reals and Continuous-Time Computation. Theoretical Computer Science 162(1):23-44. Elsevier, août 1996. 
@article{tcs162(1)-Moo,
  author =              {Moore, Cristopher},
  title =               {Recursion Theory on the Reals and Continuous-Time
                         Computation},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {162},
  number =              {1},
  pages =               {23-44},
  year =                {1996},
  month =               aug,
}
[MS96] Dov Monderer et Lloyd S. Shapley. Potential Games. Games and Economic Behavior 14(1):124-143. Mai 1996. 
@article{geb14(1)-MS,
  author =              {Monderer, Dov and Shapley, Lloyd S.},
  title =               {Potential Games},
  journal =             {Games and Economic Behavior},
  volume =              {14},
  number =              {1},
  pages =               {124-143},
  year =                {1996},
  month =               may,
  doi =                 {10.1006/game.1996.0044},
}
[Pin96] Jean-Éric Pin. Logic, Semigroups and Automata on Words. Annals of Mathematics and Artificial Intelligence 16:343-384. Kluwer Academic, 1996. 
@article{amai16()-Pin,
  author =              {Pin, Jean-{\'E}ric},
  title =               {Logic, Semigroups and Automata on Words},
  publisher =           {Kluwer Academic},
  journal =             {Annals of Mathematics and Artificial Intelligence},
  volume =              {16},
  pages =               {343-384},
  year =                {1996},
}
[SSL+96] Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen et Demosthenis Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Computers 35(1):105-124. IEEE Comp. Soc. Press, janvier 1996. 
@article{tocst4(2)-SSLST,
  author =              {Sampath, Meera and Sengupta, Raja and Lafortune,
                         St{\'e}phane and Sinnamohideen, Kasim and
                         Teneketzis, Demosthenis},
  title =               {Failure diagnosis using discrete-event models},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Computers},
  volume =              {35},
  number =              {1},
  pages =               {105-124},
  year =                {1996},
  month =               jan,
  doi =                 {10.1109/87.486338},
}
[TAK+96] Serdar Taşiran, Rajeev Alur, Robert P. Kurshan et Robert K. Brayton. Verifying Abstractions of Timed Systems. In CONCUR'96, Lecture Notes in Computer Science 1119, pages 546-562. Springer-Verlag, août 1996. 
@inproceedings{concur1996-TAKB,
  author =              {Ta{\c s}iran, Serdar and Alur, Rajeev and Kurshan,
                         Robert P. and Brayton, Robert K.},
  title =               {Verifying Abstractions of Timed Systems},
  editor =              {Montanari, Ugo and Sassone, Vladimiro},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'96)},
  acronym =             {{CONCUR}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1119},
  pages =               {546-562},
  year =                {1996},
  month =               aug,
}
[Tho96] Wolfgang Thomas. Languages, Automata and Logics. Technical Report 9607, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität, Kiel, Germany, mai 1996. 
@techreport{TR-9607-Tho,
  author =              {Thomas, Wolfgang},
  title =               {Languages, Automata and Logics},
  number =              {9607},
  year =                {1996},
  month =               may,
  institution =         {Institut f{\"u}r Informatik und Praktische
                         Mathematik, Christian-Albrechts-Universit{\"a}t,
                         Kiel, Germany},
  type =                {Technical Report},
}
[Tre96] Jan Tretmans. Test Generation with Inputs, Outputs, and Quiescence. In TACAS'96, Lecture Notes in Computer Science 1055, pages 127-146. Springer-Verlag, mars 1996. 
@inproceedings{tacas1996-Tre,
  author =              {Tretmans, Jan},
  title =               {Test Generation with Inputs, Outputs, and
                         Quiescence},
  editor =              {Margaria, Tiziana and Steffen, Bernhard},
  booktitle =           {{P}roceedings of the 2nd {I}nternational {W}orkshop
                         on {T}ools and {A}lgorithms for {C}onstruction and
                         {A}nalysis of {S}ystems ({TACAS}'96)},
  acronym =             {{TACAS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1055},
  pages =               {127-146},
  year =                {1996},
  month =               mar,
  doi =                 {10.1007/3-540-61042-1_42},
}
[Tre96] Jan Tretmans. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1):49-79. Elsevier, 1996. 
@article{cnISDNs29(1)-Tre,
  author =              {Tretmans, Jan},
  title =               {Conformance Testing with Labelled Transition
                         Systems: Implementation Relations and Test
                         Generation},
  publisher =           {Elsevier},
  journal =             {Computer Networks and {ISDN} Systems},
  volume =              {29},
  number =              {1},
  pages =               {49-79},
  year =                {1996},
  doi =                 {10.1016/S0169-7552(96)00017-7},
}
[TW96] Denis Thérien et Thomas Wilke. Temporal Logic and Semidirect Products: an Effective Characterization of the Until Hierarchy. In FOCS'96, pages 256-263. IEEE Comp. Soc. Press, octobre 1996. 
@inproceedings{focs1996-TW,
  author =              {Th{\'e}rien, Denis and Wilke, Thomas},
  title =               {Temporal Logic and Semidirect Products: an Effective
                         Characterization of the Until Hierarchy},
  booktitle =           {{P}roceedings of the 37th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'96)},
  acronym =             {{FOCS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {256-263},
  year =                {1996},
  month =               oct,
}
[Var96] Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic. In Banff'94, Lecture Notes in Computer Science 1043, pages 238-266. Springer-Verlag, 1996. 
@inproceedings{banff1994-Var,
  author =              {Vardi, Moshe Y.},
  title =               {An Automata-Theoretic Approach to Linear Temporal
                         Logic},
  editor =              {Moller, Faron and Birtwistle, Graham M.},
  booktitle =           {{L}ogics for {C}oncurrency, {S}tructure versus
                         {A}utomata: {P}roceedings of the 8th {B}anff
                         {H}igher {O}rder {W}orkshop ({B}anff'94)},
  acronym =             {{B}anff'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1043},
  pages =               {238-266},
  year =                {1996},
  confyear =            {1994},
  confmonth =           {8-9},
}
[Wal96] Igor Walukiewicz. Pushdown Processes: Games and Model Checking. In CAV'96, Lecture Notes in Computer Science 1102, pages 234-263. Springer-Verlag, juillet 1996. 
@inproceedings{cav1996-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Pushdown Processes: Games and Model Checking},
  editor =              {Alur, Rajeev and Henzinger, Thomas A.},
  booktitle =           {{P}roceedings of the 8th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'96)},
  acronym =             {{CAV}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1102},
  pages =               {234-263},
  year =                {1996},
  month =               jul,
}
[Wal96] Igor Walukiewicz. Monadic second order logic on tree-like structures. In STACS'96, Lecture Notes in Computer Science 1046, pages 401-413. Springer-Verlag, février 1996. 
@inproceedings{stacs1996-Wal,
  author =              {Walukiewicz, Igor},
  title =               {Monadic second order logic on tree-like structures},
  editor =              {Puech, Claude and Reischuk, R{\"u}diger},
  booktitle =           {{P}roceedings of the 13th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'96)},
  acronym =             {{STACS}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1046},
  pages =               {401-413},
  year =                {1996},
  month =               feb,
  doi =                 {10.1007/3-540-60922-9_33},
}
[ZP96] Uri Zwick et Mike Paterson. The Complexity of Mean Payoff Games on Graphs. Theoretical Computer Science 158(1-2):343-359. Elsevier, mai 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},
}
Liste des auteurs