Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ijcon/ZhaoJ22,
  author       = {Liyun Zhao and
                  Jinchen Ji},
  title        = {Weighted containment control for Lagrangian systems with heterogeneous
                  interactions of cooperation and competition},
  journal      = {Int. J. Control},
  volume       = {95},
  number       = {4},
  pages        = {952--962},
  year         = {2022},
  url          = {https://doi.org/10.1080/00207179.2020.1831701},
  doi          = {10.1080/00207179.2020.1831701},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcon/ZhaoJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/webi/WangZLS22,
  author       = {Zhiqiang Wang and
                  Tingting Zheng and
                  Qing Li and
                  Xin Sun},
  title        = {Weighted Multi-granulation Containment Neighborhood Rough Set Model},
  booktitle    = {{IEEE/WIC/ACM} International Joint Conference on Web Intelligence
                  and Intelligent Agent Technology, {WI-IAT} 2022, Niagara Falls, ON,
                  Canada, November 17-20, 2022},
  pages        = {821--828},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/WI-IAT55865.2022.00134},
  doi          = {10.1109/WI-IAT55865.2022.00134},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/webi/WangZLS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/Daviaud20,
  author       = {Laure Daviaud},
  editor       = {Alberto Leporati and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Dana Shapira and
                  Claudio Zandron},
  title        = {Containment and Equivalence of Weighted Automata: Probabilistic and
                  Max-Plus Cases},
  booktitle    = {Language and Automata Theory and Applications - 14th International
                  Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12038},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-40608-0\_2},
  doi          = {10.1007/978-3-030-40608-0\_2},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lata/Daviaud20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocl/AvniK14,
  author       = {Guy Avni and
                  Orna Kupferman},
  title        = {Parameterized Weighted Containment},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {16},
  number       = {1},
  pages        = {6:1--6:25},
  year         = {2014},
  url          = {https://doi.org/10.1145/2665076},
  doi          = {10.1145/2665076},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/AvniK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AvniK13,
  author       = {Guy Avni and
                  Orna Kupferman},
  editor       = {Frank Pfenning},
  title        = {Parameterized Weighted Containment},
  booktitle    = {Foundations of Software Science and Computation Structures - 16th
                  International Conference, {FOSSACS} 2013, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
                  Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7794},
  pages        = {369--384},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37075-5\_24},
  doi          = {10.1007/978-3-642-37075-5\_24},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AvniK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/AvniK12,
  author       = {Guy Avni and
                  Orna Kupferman},
  editor       = {Maciej Koutny and
                  Irek Ulidowski},
  title        = {Making Weighted Containment Feasible: {A} Heuristic Based on Simulation
                  and Abstraction},
  booktitle    = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
                  {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7454},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32940-1\_8},
  doi          = {10.1007/978-3-642-32940-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AvniK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}