Nicolas Markey

@inproceedings{icra2004-QBI,
  author =              {Quottrup, Michael Melholt and Bak, Thomas and
                         Izadi{-}Zamanabadi, Roozbeh},
  title =               {Multi-robot planning: a~timed automata approach},
  booktitle =           {{P}roceedings of the 2004 {IEEE} {I}nternational
                         {C}onference on {R}obotics and {A}utomation
                         ({ICRA}'04)},
  acronym =             {{ICRA}'04},
  publisher =           {IEEE Robotics~\& Automation Soc.},
  pages =               {4417-4422},
  year =                {2004},
  month =               apr,
  doi =                 {10.1109/ROBOT.2004.1302413},
}

@inproceedings{sop1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {Specification and verification of concurrent systems
                         in {CESAR}},
  editor =              {Dezani{-}Ciancaglini, Mariangiola and Montanari,
                         Ugo},
  booktitle =           {{P}roceedings of the 5th {I}nternational {S}ymposium
                         on {P}rogramming ({SOP}'82)},
  acronym =             {{SOP}'82},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {137},
  pages =               {337-351},
  year =                {1982},
  month =               apr,
  doi =                 {10.1007/3-540-11494-7_22},
}

@inproceedings{focs1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {A~Temporal Logic to Deal with Fairness in Transition
                         Systems},
  booktitle =           {{P}roceedings of the 23rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'82)},
  acronym =             {{FOCS}'82},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {217-225},
  year =                {1982},
  month =               nov,
}

@article{tocl20(2)-QS,
  author =              {Quaas, Karin and Shirmohammadi, Mahsa},
  title =               {Synchronizing Data Words for Register Automata},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Computational Logic},
  volume =              {20},
  number =              {2},
  pages =               {11:1-11:27},
  year =                {2019},
  month =               apr,
  doi =                 {10.1145/3309760},
}

@article{fmsd38(3)-quaas,
  author =              {Quaas, Karin},
  title =               {{MSO} logics for weighted timed automata},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {38},
  number =              {3},
  pages =               {193-222},
  year =                {2011},
  month =               jun,
  doi =                 {10.1007/s10703-011-0112-6},
}

@inproceedings{lata2011-quaas,
  author =              {Quaas, Karin},
  title =               {On the Interval-Bound Problem for Weighted Timed
                         Automata},
  editor =              {Dediu, Adrian Horia and Inenaga, Shunsuke and
                         Mart{\'\i}n-Vide, Carlos},
  booktitle =           {{P}roceedings of the 5th {I}nternational
                         {C}onference on {L}anguage and {A}utomata {T}heory
                         and {A}pplications ({LATA}'11)},
  acronym =             {{LATA}'11},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6638},
  pages =               {452-464},
  year =                {2011},
  month =               may,
}

@inproceedings{sigcomm2003-QYZS,
  author =              {Qiu, Lili and Yang, Richard and Zhang, Yin and
                         Shenker, Scott},
  title =               {On selfish routing in internet-like environments},
  editor =              {Feldmann, Anja and Zitterbart, Martina and
                         Crowcroft, Jon and Wetherall, David},
  booktitle =           {{P}roceedings of {ACM} {SIGCOMM}~2003 {C}onference
                         on {A}pplications, {T}echnologies, {A}rchitectures,
                         and {P}rotocols for {C}omputer {C}ommunication
                         ({SIGCOMM}'03)},
  acronym =             {{SIGCOMM}'03},
  publisher =           {ACM Press},
  pages =               {151-162},
  year =                {2003},
  month =               aug,
  doi =                 {10.1145/863955.863974},
}

@article{tn14(4)-QYZS,
  author =              {Qiu, Lili and Yang, Richard and Zhang, Yin and
                         Shenker, Scott},
  title =               {On selfish routing in internet-like environments},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Computers},
  volume =              {14},
  number =              {4},
  pages =               {725-738},
  year =                {2006},
  month =               aug,
  doi =                 {10.1109/TNET.2006.880179},
}