1986
[AK86] Krzysztof Apt et Dexter C. Kozen. Limits for automatic verification of finite-state concurrent systems. Information Processing Letters 22(6):307-309. Elsevier, mai 1986. 
@article{ipl22(6)-AK,
  author =              {Apt, Krzysztof and Kozen, Dexter C.},
  title =               {Limits for automatic verification of finite-state
                         concurrent systems},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {22},
  number =              {6},
  pages =               {307-309},
  year =                {1986},
  month =               may,
  doi =                 {10.1016/0020-0190(86)90071-2},
}
[BKP86] Howard Barringer, Ruurd Kuiper et Amir Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In POPL'86, pages 173-183. ACM Press, janvier 1986. 
@inproceedings{popl1986-BKP,
  author =              {Barringer, Howard and Kuiper, Ruurd and Pnueli,
                         Amir},
  title =               {A Really Abstract Concurrent Model and its Temporal
                         Logic},
  booktitle =           {Conference Record of the 13th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'86)},
  acronym =             {{POPL}'86},
  publisher =           {ACM Press},
  pages =               {173-183},
  year =                {1986},
  month =               jan,
}
[Bry86] Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers 35(8):677-691. IEEE Comp. Soc. Press, août 1986. 
@article{tc35(8)-Bry,
  author =              {Bryant, Randal E.},
  title =               {Graph-Based Algorithms for Boolean Function
                         Manipulation},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Computers},
  volume =              {35},
  number =              {8},
  pages =               {677-691},
  year =                {1986},
  month =               aug,
}
[CES86] Edmund M. Clarke, E. Allen Emerson et A. Prasad Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2):244-263. ACM Press, avril 1986. 
@article{toplas8(2)-CES,
  author =              {Clarke, Edmund M. and Emerson, E. Allen and Sistla,
                         A. Prasad},
  title =               {Automatic Verification of Finite-State Concurrent
                         Systems Using Temporal Logic Specifications},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Programming Languages and
                         Systems},
  volume =              {8},
  number =              {2},
  pages =               {244-263},
  year =                {1986},
  month =               apr,
}
[Cro86] Maxime Crochemore. Transducers and Repetitions. Theoretical Computer Science 45(1):63-86. Elsevier, 1986. 
@article{tcs45(1)-Cro,
  author =              {Crochemore, Maxime},
  title =               {Transducers and Repetitions},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {45},
  number =              {1},
  pages =               {63-86},
  year =                {1986},
}
[DM86] Partha Dasgupta et Eric Maskin. The Existence of Equilibrium in Discontinuous Economic Games, 1: Theory. The Review of Economic Studies 53(1):1-26. Oxford University Press, janvier 1986. 
@article{res53(1)-DM1,
  author =              {Dasgupta, Partha and Maskin, Eric},
  title =               {The Existence of Equilibrium in Discontinuous
                         Economic Games, 1:~{T}heory},
  publisher =           {Oxford University Press},
  journal =             {The Review of Economic Studies},
  volume =              {53},
  number =              {1},
  pages =               {1-26},
  year =                {1986},
  month =               jan,
}
[DM86] Partha Dasgupta et Eric Maskin. The Existence of Equilibrium in Discontinuous Economic Games, 2: Applications. The Review of Economic Studies 53(1):27-41. Oxford University Press, janvier 1986. 
@article{res53(1)-DM2,
  author =              {Dasgupta, Partha and Maskin, Eric},
  title =               {The Existence of Equilibrium in Discontinuous
                         Economic Games, 2:~{A}pplications},
  publisher =           {Oxford University Press},
  journal =             {The Review of Economic Studies},
  volume =              {53},
  number =              {1},
  pages =               {27-41},
  year =                {1986},
  month =               jan,
}
[EH86] E. Allen Emerson et Joseph Y. Halpern. "Sometimes" and "Not Never" Revisited: On Branching versus Linear Time Temporal Logic. Journal of the ACM 33(1):151-178. ACM Press, janvier 1986. 
@article{jacm33(1)-EH,
  author =              {Emerson, E. Allen and Halpern, Joseph Y.},
  title =               {{"}{S}ometimes{"} and {"}Not Never{"} Revisited:
                         On~Branching versus Linear Time Temporal Logic},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {33},
  number =              {1},
  pages =               {151-178},
  year =                {1986},
  month =               jan,
}
[EL86] E. Allen Emerson et Chin-Laung Lei. Efficient Model Checking in Fragments of the Propositional Mu-Calculus. In LICS'86, pages 267-278. IEEE Comp. Soc. Press, juin 1986. 
@inproceedings{lics1986-EL,
  author =              {Emerson, E. Allen and Lei, Chin-Laung},
  title =               {Efficient Model Checking in Fragments of the
                         Propositional Mu-Calculus},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {267-278},
  year =                {1986},
  month =               jun,
}
[Lar86] Kim Guldstrand Larsen. Context-dependent bisimulation between processes. PhD thesis, School of Informatics, University of Edinburgh, UK, 1986. 
@phdthesis{phd-larsen,
  author =              {Larsen, Kim Guldstrand},
  title =               {Context-dependent bisimulation between processes},
  year =                {1986},
  school =              {School of Informatics, University of Edinburgh, UK},
}
[MSS86] David E. Muller, Ahmed Saoudi et Paul E. Schupp. Alternating Automata, the Weak Monadic Theory of the Tree, and its Complexity. In ICALP'86, Lecture Notes in Computer Science 226, pages 275-283. Springer-Verlag, juillet 1986. 
@inproceedings{icalp1986-MSS,
  author =              {Muller, David E. and Saoudi, Ahmed and Schupp, Paul
                         E.},
  title =               {Alternating Automata, the Weak Monadic Theory of the
                         Tree, and its Complexity},
  editor =              {Kott, Laurent},
  booktitle =           {{P}roceedings of the 13th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'86)},
  acronym =             {{ICALP}'86},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {226},
  pages =               {275-283},
  year =                {1986},
  month =               jul,
}
[dN86] Rocco de Nicola. Extensional Equivalences for Transitions Systems. Acta Informatica 24(2):211-237. Springer-Verlag, 1986. 
@article{acta24(2)-Den,
  author =              {de Nicola, Rocco},
  title =               {Extensional Equivalences for Transitions Systems},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {24},
  number =              {2},
  pages =               {211-237},
  year =                {1986},
}
[RP86] Roni Rosner et Amir Pnueli. A Choppy Logic. In LICS'86, pages 306-313. IEEE Comp. Soc. Press, juin 1986. 
@inproceedings{lics1986-RP,
  author =              {Rosner, Roni and Pnueli, Amir},
  title =               {A Choppy Logic},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {306-313},
  year =                {1986},
  month =               jun,
}
[RS86] Neil Robertson et Paul D. Seymour. Graph minors II: Algorithmic aspects of tree-width. Journal of Algorithms 7(3):309-322. Elsevier, septembre 1986. 
@article{ja7(3)-RS,
  author =              {Robertson, Neil and Seymour, Paul D.},
  title =               {Graph minors~{II}: Algorithmic aspects of
                         tree-width},
  publisher =           {Elsevier},
  journal =             {Journal of Algorithms},
  volume =              {7},
  number =              {3},
  pages =               {309-322},
  year =                {1986},
  month =               sep,
  doi =                 {10.1016/0196-6774(86)90023-4},
}
[RY86] Louis E. Rosier et Hsu-Chun Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. Journal of Computer and System Sciences 32(1):105-135. Academic Press, février 1986. 
@article{jcss32(1)-RY,
  author =              {Rosier, Louis E. and Yen, Hsu-Chun},
  title =               {A~Multiparameter Analysis of the Boundedness Problem
                         for Vector Addition Systems},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {32},
  number =              {1},
  pages =               {105-135},
  year =                {1986},
  month =               feb,
  doi =                 {10.1016/0022-0000(86)90006-1},
}
[VW86] Moshe Y. Vardi et Pierre Wolper. An Automata-Theoretic Approach to Automatic Program Verification. In LICS'86, pages 332-344. IEEE Comp. Soc. Press, juin 1986. 
@inproceedings{lics1986-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {An Automata-Theoretic Approach to Automatic Program
                         Verification},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {332-344},
  year =                {1986},
  month =               jun,
}
[VW86] Moshe Y. Vardi et Pierre Wolper. Automata Theoretic Techniques for Modal Logics of Programs. Journal of Computer and System Sciences 32(2):183-221. Academic Press, avril 1986. 
@article{jcss32(2)-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {Automata Theoretic Techniques for Modal Logics of
                         Programs},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {32},
  number =              {2},
  pages =               {183-221},
  year =                {1986},
  month =               apr,
}
Liste des auteurs